Ergebnisse filtern
- Fachgebiet
- Medium
-
- 453
- Erscheinungsjahr
-
- 11
- 11
- 13
- 3
- 5
- 6
- 4
- 5
- 5
- 7
- 4
- 2
- 5
- 1
- 3
- 43
- 29
- 33
- 6
- 6
- 4
- 12
- 9
- 18
- 24
- 30
- 24
- 8
- 25
- 10
- 6
- 6
- 5
- 5
- 5
- 6
- 7
- 7
- 8
- 4
- 7
- 7
- 1
- 3
- 3
- 4
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 451
- 2
- Preis
-
- 4
- 29
- 371
- 49
- Sprachen
-
- 453
- 2
- Verfügbarkeit
-
- 452
- 1
- Katalog
-
- 453
- 9
-
Christodoulakis Ada: The Choice for '92
Ada-Europe International Conference Athens, Greece, May 13-17, 19911. Auflage 1991Verlag: SpringerISBN: 978-3-540-54092-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dwyer Model Checking Software
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42124-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Tahar Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-981-99-7583-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-31139-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bosch / Gabelaia / Lang Logic, Language, and Computation
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00664-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Armando / Baumgartner / Dowek Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clack / Hammond / Davie Implementation of Functional Languages
9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64849-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Strohmeier Reliable Software Technologies - Ada Europe 96
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61317-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing
5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57502-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lierler / Taha Practical Aspects of Declarative Languages
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-51675-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Narendran / Rusinowitch Rewriting Techniques and Applications
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66201-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Branquart / Louis / Wodon An Analytical Description of CHILL, the CCITT High Level Language
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11196-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings2002Verlag: SpringerISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baader Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Torra Scala: From a Functional Programming Perspective
An Introduction to the Programming Language1. Auflage 2016Verlag: Springer-Verlag GmbHISBN: 978-3-319-46480-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Meseguer / Rosu Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79979-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fraser / Gargantini Tests and Proofs
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13976-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dietz Languages and Compilers for Parallel Computing
36th International Workshop, LCPC 2023, Lexington, KY, USA, October 11-13, 2023, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02435-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen / Levi Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groote / Huisman Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Porkoláb / Zsók Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42832-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aichernig / Furia Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41134-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asplund Reliable Software Technologies - Ada-Europe '98
1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64536-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort