Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2206
- Erscheinungsjahr
-
- 26
- 123
- 149
- 138
- 107
- 40
- 21
- 22
- 29
- 38
- 24
- 31
- 47
- 41
- 48
- 41
- 28
- 74
- 58
- 73
- 82
- 72
- 73
- 116
- 105
- 95
- 77
- 56
- 51
- 38
- 29
- 34
- 33
- 27
- 32
- 19
- 33
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 11
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 10
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 8
- 6
- 2
- 2
- 3
- 4
- 6
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 4
- 3
- 5
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 3
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 2
- 5
- 12
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 17
- 25
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 23
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 8
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 7
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 7
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 8
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 12
- 2
- 2
- 4
- 8
- 2
- 2
- 6
- 2
- 4
- 2
- 3
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 6
- 2
- 4
- 6
- 2
- 3
- 5
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 5
- 5
- 2
- 10
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 4
- 8
- 2
- 3
- 2
- 10
- 25
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 6
- 4
- 18
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 5
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 4
- 22
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 3
- 3
- 5
- 3
- 5
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 2
- 2
- 10
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 11
- 6
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 13
- 16
- 3
- 9
- 3
- 3
- 6
- 6
- 3
- 36
- 3
- 3
- 6
- 4
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 5
- 6
- 11
- 21
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 11
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 11
- 8
- 6
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 4
- 4
- 7
- 3
- 3
- 7
- 5
- 4
- 6
- 4
- 5
- 6
- 4
- 4
- 16
- 10
- 3
- 3
- 4
- 4
- Verlag
-
- 1
- 2190
- 1
- 7
- 2
- 5
- Preis
-
- 4
- 106
- 1756
- 340
- Sprachen
-
- 2206
- Verfügbarkeit
-
- 2162
- 44
- Katalog
-
- 2206
- 133
-
Cerone Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43677-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Benedetto / Sangiovanni-Vincentelli Hybrid Systems: Computation and Control
4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41866-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Stephan Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th BirthdayErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eusgeld / Freiling / Reussner Dependability Metrics
GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced LecturesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68946-1Medium: Buch46,01 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage46,01 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eigenmann / Voss OpenMP Shared Memory Parallel Programming
International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42346-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maziero / Silva / Andrade Dependable Computing
Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29572-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rovan SOFSEM '98: Theory and Practice of Informatics
25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65260-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ma / Wang Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation
MICCAI Challenge, FLARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-96201-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Stephan / Traverso Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Delgado / Stamoulis / Mullery Telecommunications and IT Convergence. Towards Service E-volution
7th International Conference on Intelligence in Services and Networks, IS&N 2000, Athens, Greece, February 23-25, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67152-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pavelka / Tel / Bartosek SOFSEM'99: Theory and Practice of Informatics
26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66694-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grosky / Plasil SOFSEM 2002: Theory and Practice of Informatics
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00145-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riano Knowledge Management for Health Care Procedures
ECAI 2008 Workshop K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03261-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75220-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 2: Tutorials1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54868-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50940-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Takada / Marutschke / Alvarez Collaboration Technologies and Social Computing
29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42140-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clarke / Campolargo / Karatzas Bringing Telecommunication Services to the People - IS&N '95
Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 20, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bauer / Großmann / Seehusen Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66587-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hlavac / Jeffery / Wiedermann SOFSEM 2000: Theory and Practice of Informatics
27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41348-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Velde / Perram Agents Breaking Away
7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60852-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Dürr / Li Frontiers of Algorithmics
19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-968311-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vazão / Freire / Chong Information Networking. Towards Ubiquitous Networking and Services
International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89523-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bugliesi / Preneel / Sassone Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35904-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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