Ergebnisse filtern
-
- 78
- 2
-
- 1
- 1
- 2
- 1
- 71
- 1
- 2
- 1
-
- 1
- 2
- 56
- 21
-
- 80
-
- 80
-
- 80
- 5
-
Ciancarini / Wolf Coordination Languages and Models
Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65836-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Houstis / Papatheodorou / Polychronopoulos Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18991-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luk / Cheung / Glesner Field Programmable Logic and Applications
7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63465-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grunske / Reussner / Plasil Component-Based Software Engineering
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Automated Deduction - CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mueller High-Level Parallel Programming Models and Supportive Environments
6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41944-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaudron / Szyperski / Reussner Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87890-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11318-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Brézillon Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Reusch Computational Intelligence. Theory and Applications
International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42732-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cousot Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24297-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petriu / Rouquette / Haugen Model Driven Engineering Languages and Systems
13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16128-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Laender / Castano / Dayal Conceptual Modeling - ER 2009
28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04839-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Spaccapietra / Yu Conceptual Modeling - ER 2008
27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87876-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Horacek / Metais / Munoz Natural Language Processing and Information Systems
14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12549-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yevtushenko / Cavalli / Yenigün Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67548-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78162-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort