Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10047
- 1634
- 29
- 12
- Erscheinungsjahr
-
- 1
- 122
- 564
- 1206
- 1216
- 560
- 415
- 349
- 373
- 359
- 411
- 320
- 431
- 297
- 444
- 406
- 513
- 250
- 516
- 239
- 255
- 261
- 225
- 257
- 223
- 222
- 180
- 161
- 120
- 107
- 95
- 84
- 80
- 71
- 63
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 4
- 3
- 4
- 3
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 7
- 4
- 4
- 4
- 3
- 8
- 5
- 5
- 3
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 6
- 4
- 4
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 11
- 5
- 10
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 23
- 5
- 6
- 7
- 5
- 3
- 3
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 7
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 22
- 3
- 6
- 4
- 4
- 3
- 4
- 7
- 3
- 3
- 7
- 4
- 3
- 10
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 6
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 21
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 3
- 3
- 16
- 3
- 4
- 16
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 10
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 10
- 19
- 4
- 9
- 16
- 4
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 11
- 10
- 5
- 3
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 3
- 5
- 12
- 5
- 3
- 4
- 13
- 10
- 4
- 4
- 10
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 20
- 4
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 8
- 4
- 33
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 5
- 3
- 6
- 8
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 16
- 3
- 8
- 4
- 4
- 12
- 3
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 8
- 3
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 3
- 4
- 4
- 4
- 4
- 4
- 9
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 4
- 9
- 3
- 5
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 5
- 8
- 6
- 3
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 15
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 13
- 6
- 7
- 10
- 7
- 4
- 8
- 10
- 6
- 7
- 4
- 9
- 5
- 7
- 22
- 6
- 4
- 18
- 4
- 5
- 4
- 5
- 6
- 5
- 5
- 11
- 4
- 4
- 5
- 4
- 4
- 5
- 5
- 6
- 5
- 9
- 4
- 8
- 29
- 25
- 4
- 4
- 8
- 5
- 9
- 8
- 12
- 5
- 19
- 6
- 4
- 16
- 4
- 16
- 4
- 9
- 7
- 5
- 4
- 4
- 7
- 10
- 6
- 7
- 4
- 4
- 7
- 27
- 9
- 5
- 9
- 7
- 4
- 8
- 4
- 4
- 7
- 4
- 9
- 7
- 11
- 8
- 4
- 41
- 9
- 10
- 7
- 12
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 8
- 4
- 4
- 5
- 7
- 9
- 5
- 6
- 5
- 20
- 4
- 5
- 4
- 9
- 4
- 10
- 6
- 6
- 8
- 8
- 6
- 4
- 6
- 4
- 5
- 6
- 8
- 8
- 11
- 4
- 6
- 4
- 4
- 5
- 10
- 10
- 5
- 6
- 8
- 6
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 4
- 9
- 5
- 9
- 4
- 7
- 4
- 4
- 19
- 10
- 4
- 4
- 4
- 5
- 11
- 5
- 7
- 8
- 6
- 5
- 8
- 4
- 10
- 4
- 7
- 4
- 4
- 12
- 4
- 4
- 4
- 4
- 4
- 8
- 7
- 8
- 16
- 7
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 8
- 13
- 7
- 8
- 12
- 9
- 7
- 66
- 4
- 4
- 14
- 4
- 4
- 7
- 5
- 10
- 7
- 5
- 7
- 6
- 4
- 12
- 13
- 18
- 6
- 16
- 4
- 6
- 11
- 6
- 4
- 4
- 24
- 6
- 10
- 7
- 5
- 4
- 10
- 10
- 12
- 37
- 4
- 5
- 15
- 5
- 4
- 4
- 6
- 6
- 9
- 4
- 7
- 10
- 15
- 7
- 4
- 7
- 6
- 4
- 6
- 4
- 4
- 23
- 27
- 5
- 4
- 4
- 4
- 20
- 11
- 6
- 6
- 4
- 5
- 8
- 5
- 5
- 8
- 7
- 5
- 13
- 7
- 12
- 11
- 31
- 10
- 6
- 4
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 5
- 5
- 9
- 4
- 4
- 4
- 6
- 8
- 7
- 5
- 12
- 6
- 10
- 4
- 7
- 4
- 7
- 7
- 6
- 9
- 4
- 4
- 7
- 9
- 4
- 5
- 5
- 4
- 21
- 21
- 4
- 4
- 12
- 5
- 7
- 5
- 8
- 7
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 4
- 10
- 5
- 4
- 7
- 5
- 5
- 15
- 4
- 8
- 7
- 4
- 4
- 11
- 10
- 6
- 9
- 4
- 21
- 15
- 5
- 6
- 4
- 10
- 10
- 4
- 5
- 8
- 7
- 4
- 5
- 7
- 10
- 4
- 4
- 5
- 7
- 4
- 4
- 8
- 8
- 4
- 7
- 4
- 8
- 5
- 4
- 4
- 7
- 7
- 23
- 5
- 9
- 5
- 4
- 4
- 7
- 15
- 6
- 4
- 4
- 4
- 4
- 24
- 6
- 4
- 8
- 4
- 7
- 4
- 4
- 5
- 4
- 7
- 7
- 4
- 12
- 10
- 4
- 4
- 5
- 5
- 8
- 4
- 4
- 10
- 11
- 5
- 7
- 5
- 4
- 4
- 4
- 9
- 16
- 6
- 4
- 4
- 4
- 47
- 56
- 12
- 4
- 9
- 12
- 12
- 22
- 9
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 7
- 5
- 11
- 7
- 48
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 4
- 13
- 35
- 4
- 6
- 5
- 4
- 8
- 10
- 4
- 11
- 10
- 10
- 4
- 6
- 14
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 6
- 4
- 4
- 15
- 10
- 4
- 4
- 5
- 7
- 4
- 13
- 13
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 9
- 7
- 12
- 4
- 7
- 4
- 5
- 5
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 16
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 12
- 12
- 4
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 8
- 13
- 4
- 4
- 12
- 5
- 5
- 6
- 9
- 4
- 6
- 22
- 4
- 7
- 10
- 4
- 10
- 9
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 5
- 4
- 1
- 3
- 1
- 52
- 6
- 494
- 1
- 53
- 18
- 3
- 8
- 4
- 281
- 1
- 22
- 1
- 1
- 3
- 4
- 3
- 73
- 91
- 220
- 1
- 527
- 1328
- 15
- 1
- 2
- 55
- 102
- 3
- 1
- 3
- 1
- 60
- 2
- 1
- 53
- 28
- 1
- 25
- 1
- 4
- 3
- 12
- 5
- 31
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 25
- 1
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 105
- 53
- 4
- 3
- 6
- 17
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 11
- 2
- 1
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 18
- 2
- 1
- 2
- 8
- 1
- 1
- 2
- 2
- 2
- 1
- 15
- 1
- 6
- 30
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6454
- 30
- 10
- 1
- 1
- 1
- 11
- 4
- 1
- 27
- 34
- 1
- 125
- 87
- 3
- 2
- 22
- 1
- 285
- 28
- 120
- 46
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 5
- 2
- 88
- 3
- 9
- 1
- 24
- 10
- 1
- 1
- 2
- 2
- Preis
-
- 423
- 2017
- 5570
- 3712
- Sprachen
-
- 10769
- 964
- 2
- Verfügbarkeit
-
- 11374
- 348
- Eigenschaften
-
- 7
- 5
- Katalog
-
- 11722
- 1825
-
Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78799-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abd Manaf / Zeki / Zamani Informatics Engineering and Information Science
International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25326-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nivat Foundations of Software Science and Computation Structures
First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64300-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hogrefe / Wiles Testing of Communicating Systems
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40123-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Hinchey ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Itsykson / Scedrov / Zakharov Tools and Methods of Program Analysis
4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-71733-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arbab / Sirjani Fundamentals of Software Engineering
Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29319-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Basili / Rombach / Schneider Empirical Software Engineering Issues. Critical Assessment and Future Directions
International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71300-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Overhage / Szyperski / Reussner Software Architectures, Components, and Applications
Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77617-8Medium: 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 -
Boer / Bonsangue / Graf Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20303-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert / Hähnle Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79123-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jones ECOOP 2014 -- Object-Oriented Programming
28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44201-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46680-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Chio Applications of Evolutionary Computation
EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20519-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baumeister / Weber Agile Processes in Software Engineering and Extreme Programming
14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38313-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Roy / Köppen / Ovaska Soft Computing and Industry
Recent ApplicationsErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1101-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sachdeva Certified Kubernetes Administrator Study Companion
Preparing for the Linux Foundation's CKA Exam1. Auflage 2025Verlag: ApressISBN: 979-8-8688-1512-6Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palsberg / Su Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03236-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parashar / Aggarwal Distributed Computing and Internet Technology
5th International Conference, ICDCIT 2008 New Delhi, India, December 10 - 12, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89736-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montanari / Rolim / Welzl Automata, Languages and Programming
27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67715-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Woodcock / Zhu Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced LecturesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39720-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schek / Saltor / Ramos Advances in Database Technology - EDBT '98
6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64264-0Medium: 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