Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1358
- Erscheinungsjahr
-
- 2
- 9
- 1
- 1
- 3
- 4
- 2
- 3
- 3
- 7
- 1
- 2
- 23
- 52
- 131
- 121
- 69
- 50
- 69
- 42
- 80
- 66
- 59
- 58
- 58
- 58
- 61
- 52
- 46
- 37
- 54
- 27
- 31
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 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
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 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
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 4
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 3
- 2
- 4
- 5
- 6
- 2
- 3
- 2
- 2
- 4
- 18
- 2
- 11
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 8
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 12
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- Verlag
-
- 1347
- 1
- 2
- 8
- Preis
-
- 10
- 1108
- 240
- Sprachen
-
- 1358
- 3
- Verfügbarkeit
-
- 1356
- 2
- Katalog
-
- 1358
- 54
-
Schäfer / Botella Software Engineering - ESEC '95
5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60406-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karlsson / Lingas Algorithm Theory - SWAT '96
5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Doshita / Furukawa / Jantke Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Preneel Fast Software Encryption
Second International Workshop, Leuven, Belgium, December 14-16, 1994. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60590-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Lladós Graphics Recognition. Ten Years Review and Future Perspectives
6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34711-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Mauw / Stolen Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74859-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Groote CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54430-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ur / Bin / Wolfsthal Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32604-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final ReportErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60589-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tokuyama Algorithms and Computation
18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77118-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Almási / Cascaval / Wu Languages and Compilers for Parallel Computing
19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72520-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bakker / Roever / Rozenberg Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52559-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arnborg / Ivansson Algorithm Theory - SWAT'98
6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64682-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Wooldridge Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00430-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seipel / Hanus / Geske Applications of Declarative Programming and Knowledge Management
15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25560-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rosca / Erdogmus / Principe Independent Component Analysis and Blind Signal Separation
6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32630-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Poli / Banzhaf / Langdon Genetic Programming
European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67339-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Murphy / Vitek Coordination Models and Languages
9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72793-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dershowitz Rewriting Techniques and Applications
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51081-9Medium: 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