Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9448
- 1054
- 31
- 13
- Erscheinungsjahr
-
- 2
- 56
- 599
- 786
- 633
- 487
- 430
- 439
- 425
- 534
- 317
- 454
- 304
- 446
- 398
- 505
- 246
- 511
- 232
- 252
- 260
- 222
- 262
- 225
- 224
- 184
- 162
- 123
- 109
- 97
- 80
- 81
- 72
- 60
- 68
- 39
- 56
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 5
- 4
- 4
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 5
- 3
- 9
- 5
- 4
- 3
- 3
- 4
- 4
- 3
- 8
- 3
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 7
- 5
- 6
- 10
- 3
- 7
- 3
- 3
- 3
- 5
- 9
- 23
- 3
- 12
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 11
- 3
- 3
- 3
- 4
- 6
- 3
- 15
- 3
- 4
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 9
- 4
- 3
- 10
- 18
- 4
- 7
- 17
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 20
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 6
- 4
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 6
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 18
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 5
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 6
- 3
- 5
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 12
- 3
- 9
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 9
- 6
- 3
- 3
- 8
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 3
- 7
- 7
- 3
- 3
- 3
- 5
- 9
- 4
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 8
- 6
- 4
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 13
- 3
- 5
- 7
- 3
- 10
- 6
- 3
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 7
- 11
- 4
- 3
- 16
- 3
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 5
- 4
- 3
- 3
- 18
- 3
- 3
- 4
- 6
- 5
- 5
- 4
- 18
- 3
- 3
- 6
- 5
- 4
- 4
- 3
- 19
- 6
- 11
- 3
- 7
- 3
- 6
- 4
- 4
- 3
- 4
- 4
- 4
- 5
- 3
- 7
- 13
- 4
- 6
- 6
- 4
- 6
- 26
- 6
- 6
- 10
- 4
- 3
- 3
- 3
- 4
- 3
- 6
- 4
- 3
- 3
- 7
- 4
- 3
- 9
- 6
- 8
- 9
- 4
- 3
- 39
- 4
- 10
- 3
- 3
- 7
- 3
- 12
- 3
- 5
- 3
- 4
- 5
- 10
- 4
- 5
- 13
- 4
- 5
- 5
- 4
- 3
- 4
- 5
- 7
- 14
- 5
- 3
- 6
- 5
- 18
- 4
- 4
- 3
- 4
- 8
- 4
- 3
- 3
- 10
- 6
- 6
- 8
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 6
- 8
- 8
- 7
- 4
- 6
- 4
- 5
- 4
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 9
- 5
- 9
- 9
- 9
- 5
- 5
- 4
- 7
- 5
- 4
- 4
- 19
- 5
- 4
- 4
- 4
- 11
- 5
- 4
- 5
- 5
- 5
- 6
- 6
- 4
- 4
- 9
- 4
- 7
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 10
- 4
- 8
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 4
- 11
- 9
- 4
- 7
- 61
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 18
- 5
- 6
- 6
- 12
- 12
- 17
- 6
- 16
- 4
- 6
- 11
- 4
- 24
- 6
- 5
- 7
- 5
- 10
- 12
- 32
- 4
- 4
- 4
- 4
- 4
- 7
- 9
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 5
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 5
- 7
- 7
- 4
- 14
- 7
- 12
- 11
- 28
- 9
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 14
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 4
- 7
- 4
- 6
- 7
- 6
- 4
- 9
- 4
- 4
- 6
- 7
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 7
- 6
- 6
- 9
- 5
- 8
- 8
- 5
- 10
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 7
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 20
- 13
- 5
- 4
- 9
- 5
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 4
- 5
- 7
- 4
- 8
- 5
- 4
- 9
- 8
- 4
- 4
- 7
- 5
- 23
- 16
- 9
- 5
- 4
- 4
- 7
- 16
- 5
- 4
- 4
- 4
- 22
- 5
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 5
- 5
- 5
- 4
- 8
- 10
- 5
- 7
- 5
- 4
- 4
- 16
- 6
- 6
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 4
- 9
- 9
- 17
- 6
- 4
- 4
- 5
- 8
- 12
- 7
- 42
- 5
- 4
- 5
- 5
- 7
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 34
- 4
- 7
- 5
- 8
- 9
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 5
- 4
- 6
- 11
- 6
- 8
- 6
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 5
- 10
- 13
- 4
- 7
- 9
- 8
- 6
- 12
- 7
- 4
- 5
- 6
- 11
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 9
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 8
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 9
- 5
- Verlag
-
- 2
- 3
- 8
- 4
- 1
- 3
- 1
- 51
- 6
- 439
- 2
- 4
- 18
- 3
- 2
- 6
- 4
- 280
- 2
- 1
- 10
- 4
- 1
- 3
- 3
- 3
- 41
- 1
- 84
- 214
- 4
- 476
- 751
- 15
- 1
- 4
- 1
- 50
- 93
- 1
- 3
- 2
- 4
- 52
- 34
- 1
- 5
- 25
- 1
- 4
- 3
- 39
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 2
- 25
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 1
- 8
- 12
- 2
- 3
- 3
- 24
- 2
- 6
- 1
- 15
- 2
- 1
- 13
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 3
- 3
- 10
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 15
- 1
- 5
- 27
- 22
- 36
- 1
- 1
- 1
- 2
- 2
- 15
- 1
- 5417
- 172
- 5
- 375
- 2
- 2
- 1
- 64
- 104
- 1
- 78
- 1
- 84
- 164
- 12
- 23
- 1
- 1
- 1
- 291
- 34
- 110
- 1
- 1
- 1
- 24
- 6
- 1
- 1
- 5
- 1
- 86
- 1
- 4
- 2
- 1
- 201
- 2
- 12
- 1
- 2
- 23
- 39
- 1
- 1
- 2
- 2
- Preis
-
- 270
- 1567
- 5237
- 3472
- Sprachen
-
- 9611
- 946
- 2
- Verfügbarkeit
-
- 10419
- 127
- Eigenschaften
-
- 7
- 4
- Katalog
-
- 10546
- 1716
-
Counsell / Núñez Software Engineering and Formal Methods
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05031-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Basin / Rusinowitch Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22345-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pechoucek / Petta / Varga Multi-Agent Systems and Applications IV
4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29046-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Keidar Distributed Computing
23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04354-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gleizes / Gomez-Sanz Agent-Oriented Software Engineering X
10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19207-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grabowski / Nielsen Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers2005Verlag: SpringerISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marmsoler / Sun Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71260-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gervasi / Gavrilova / Kumar Computational Science and Its Applications - ICCSA 2005
International Conference, Singapore, May 9-12, 2005, Proceedings, Part IIErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25861-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bollig Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order LogicSoftcover Nachdruck of hardcover 1. Auflage 2006Verlag: SpringerISBN: 978-3-642-06947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Zhang Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-981-97-5674-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klein / Ralya / Harbour A Practitioner's Handbook for Real-Time Analysis
Guide to Rate Monotonic Analysis for Real-Time Systems1993Verlag: Springer USISBN: 978-1-4613-6209-8Medium: Buch588,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage588,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morazán Animated Problem Solving
An Introduction to Program Design Using Video Game Development1. Auflage 2022Verlag: SpringerISBN: 978-3-030-85093-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dal Lago / Peña Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12465-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use
9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42735-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02449-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calvo The Craft of Windows 95(TM) Interface Design
Click Here to BeginSoftcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-0-387-94814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Henderson-Sellers / Bulthuis Object-Oriented Metamethods
1. Auflage 2012Verlag: SpringerISBN: 978-1-4612-7263-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tregar Writing Perl Modules for Cpan
Softcover Nachdruck of the Original 1. Auflage 2002Verlag: ApressISBN: 978-1-59059-018-8Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stojmenovic / Thulasiram / Yang Parallel and Distributed Processing and Applications
5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74741-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lluch Lafuente / Proença Coordination Models and Languages
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39518-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganter / Stumme / Wille Formal Concept Analysis
Foundations and Applications1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27891-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
MacDonald User Interfaces in VB .Net
Windows Forms and Custom ControlsSoftcover Nachdruck of the Original 1. Auflage 2002Verlag: ApressISBN: 978-1-59059-044-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antoniou / Ermolayev / Kobets Information and Communication Technologies in Education, Research, and Industrial Applications
18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-48324-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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