Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1243
- Erscheinungsjahr
-
- 2
- 9
- 1
- 5
- 1
- 2
- 2
- 1
- 6
- 3
- 2
- 22
- 45
- 103
- 71
- 61
- 52
- 65
- 41
- 79
- 64
- 52
- 58
- 59
- 60
- 63
- 55
- 45
- 35
- 50
- 24
- 30
- 21
- 16
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 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
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 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
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 7
- 3
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 4
- 20
- 10
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 11
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- Verlag
-
- 38
- 1155
- 15
- 2
- 7
- 26
- Preis
-
- 8
- 1020
- 215
- Sprachen
-
- 1243
- 4
- Verfügbarkeit
-
- 1242
- 1
- Katalog
-
- 1243
- 52
-
Engeler Logic of Programs
Workshop, ETH Zürich, May-July 19791981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11160-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wiedijk / Geuvers Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-14031-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger Computation Theory and Logic
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18170-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Okada / Pierce / Yonezawa Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00708-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sahin / Winfield / Spears Swarm Robotics
Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bin / Ur / Ziv Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70888-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dastani / Winikoff / El Fallah Seghrouchni Programming Multi-Agent Systems
Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79042-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Aluru / Prasanna / Parashar High Performance Computing - HiPC 2007
14th International Conference, Goa, India, December 18-21, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77219-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Inverardi / Fiadeiro Fundamental Approaches to Software Engineering
11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78742-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Royer A Connotational Theory of Program Structure
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thayse / Snyers From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Springer The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brookes / Winskel / Roscoe Seminar on Concurrency
Carnegie-Mellon University Pittsburgh, PA, July 9-11, 19841985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15670-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kano / Akiyama Discrete and Computational Geometry
Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20776-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Das / Sinha / Sen Distributed Computing -- IWDC 2004
6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24076-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martín-Vide / Mauri / Salomaa Membrane Computing
International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20895-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20223-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veidenbaum / Aiso / Joe High Performance Computing
5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20359-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Keller / Brunner Self-Managing Distributed Systems
14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20314-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Black ECOOP 2005 - Object-Oriented Programming
19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27992-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Makedon / Spirakis / Mehlhorn VLSI Algorithms and Architectures
Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16766-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cabeza / Hermenegildo Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24362-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wehrle / Steinmetz Peer-to-Peer Systems and Applications
2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29192-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fraigniaud Distributed Computing
19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29163-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort