Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9632
- 1630
- 29
- 12
- Erscheinungsjahr
-
- 8
- 249
- 1148
- 1228
- 567
- 418
- 352
- 390
- 369
- 425
- 322
- 434
- 297
- 442
- 408
- 514
- 250
- 517
- 238
- 253
- 261
- 223
- 256
- 222
- 222
- 181
- 161
- 119
- 107
- 98
- 84
- 81
- 71
- 63
- 68
- 38
- 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
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 4
- 5
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 8
- 5
- 10
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 15
- 5
- 6
- 7
- 4
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 6
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 22
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 11
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 16
- 3
- 4
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 9
- 4
- 3
- 3
- 10
- 18
- 4
- 7
- 16
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 5
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 3
- 19
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 8
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 3
- 6
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 14
- 3
- 8
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 3
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 5
- 8
- 6
- 3
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 13
- 5
- 7
- 3
- 10
- 4
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 3
- 5
- 7
- 14
- 4
- 3
- 17
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 10
- 5
- 9
- 4
- 13
- 4
- 5
- 18
- 6
- 5
- 4
- 17
- 5
- 4
- 16
- 5
- 11
- 7
- 6
- 4
- 4
- 7
- 10
- 6
- 6
- 4
- 4
- 5
- 25
- 7
- 5
- 9
- 4
- 8
- 4
- 7
- 4
- 9
- 7
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 14
- 4
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 6
- 4
- 4
- 5
- 7
- 12
- 5
- 6
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 6
- 4
- 5
- 6
- 8
- 8
- 8
- 4
- 6
- 4
- 5
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 4
- 9
- 5
- 5
- 4
- 7
- 4
- 6
- 19
- 5
- 4
- 4
- 5
- 11
- 5
- 4
- 7
- 5
- 6
- 6
- 5
- 4
- 9
- 4
- 6
- 4
- 4
- 7
- 4
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 6
- 11
- 5
- 8
- 12
- 9
- 7
- 63
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 4
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 6
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 5
- 4
- 4
- 6
- 6
- 9
- 4
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 4
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 28
- 10
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 5
- 9
- 4
- 4
- 6
- 8
- 7
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 9
- 4
- 4
- 6
- 7
- 4
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 5
- 8
- 6
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 4
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 4
- 6
- 7
- 4
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 18
- 13
- 5
- 4
- 10
- 5
- 4
- 5
- 8
- 7
- 4
- 5
- 6
- 10
- 4
- 7
- 4
- 8
- 5
- 4
- 7
- 8
- 4
- 4
- 7
- 5
- 23
- 6
- 9
- 5
- 4
- 4
- 7
- 15
- 5
- 4
- 4
- 4
- 24
- 6
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 4
- 5
- 5
- 4
- 4
- 10
- 12
- 5
- 7
- 5
- 4
- 4
- 4
- 6
- 16
- 6
- 4
- 4
- 4
- 36
- 45
- 12
- 4
- 9
- 12
- 22
- 10
- 8
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 5
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 5
- 8
- 32
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 10
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 13
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 8
- 7
- 12
- 4
- 7
- 4
- 4
- 5
- 6
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 16
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 6
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 5
- 4
- 1
- 3
- 1
- 51
- 7
- 463
- 3
- 1
- 18
- 3
- 8
- 3
- 285
- 2
- 22
- 2
- 1
- 3
- 3
- 3
- 73
- 1
- 93
- 218
- 4
- 500
- 1318
- 15
- 1
- 1
- 1
- 56
- 102
- 1
- 3
- 1
- 1
- 34
- 4
- 2
- 56
- 30
- 1
- 1
- 25
- 1
- 4
- 3
- 14
- 5
- 38
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 25
- 1
- 1
- 4
- 1
- 1
- 31
- 1
- 1
- 1
- 16
- 50
- 5
- 3
- 2
- 16
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 11
- 4
- 1
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 22
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 3
- 2
- 1
- 15
- 1
- 4
- 28
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6141
- 45
- 27
- 1
- 1
- 1
- 4
- 9
- 4
- 1
- 41
- 1
- 127
- 104
- 5
- 22
- 1
- 293
- 37
- 130
- 6
- 1
- 24
- 6
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 164
- 3
- 10
- 1
- 24
- 22
- 1
- 1
- 2
- 2
- Preis
-
- 428
- 1970
- 5339
- 3566
- Sprachen
-
- 10361
- 953
- 2
- Verfügbarkeit
-
- 11155
- 148
- Eigenschaften
-
- 8
- 4
- Katalog
-
- 11303
- 1763
-
Kamsties / Horkoff / Dalpiaz Requirements Engineering: Foundation for Software Quality
24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77242-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vitek Objects, Models, Components, Patterns
48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13952-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kumar / Zindani / Davim Mastering SolidWorks
Practical Examples1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38903-1Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Eleftherakis / Hinchey / Holcombe Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33825-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cimiano / Pinto Knowledge Engineering: Practice and Patterns
17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16437-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Reed / Bilgic / Gotzhein SDL 2009: Design for Motes and Mobiles
14th International SDL Forum Bochum, Germany, September 22-24, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Johannesson / Lee / Liddle Conceptual Modeling
34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25263-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Namjoshi / Zeller / Ziv Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19236-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Daydé / Palma / Couthino High Performance Computing for Computational Science - VECPAR 2006
7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71350-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Koutny / Bergenthum / Ciardo Transactions on Petri Nets and Other Models of Concurrency XVII
1. Auflage 2024Verlag: SpringerISBN: 978-3-662-68190-9Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Park / Chao / Arabnia Advanced Multimedia and Ubiquitous Engineering
Future Information Technology2015Verlag: SpringerISBN: 978-3-662-47486-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Seidl / Tillmann Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09098-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gagniuc Coding Examples from Simple to Complex
Applications in Python(TM)Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-53814-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kodratoff Machine Learning - EWSL-91
European Working Session on Learning, Porto, Portugal, March 6-8, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53816-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Schlingloff / Chai Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17107-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lu / Cai / Liu Proceedings of the 2012 International Conference on Information Technology and Software Engineering
Information Technology & Computing IntelligenceSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-662-51185-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gheyi / Naumann Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sirisuk / Morgan / El-Ghazawi Reconfigurable Computing: Architectures, Tools and Applications
6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12132-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Valtchev / Jäschke Formal Concept Analysis
9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20513-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lu / Cai / Liu Proceedings of the 2012 International Conference on Information Technology and Software Engineering
Information TechnologySoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-662-51184-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gurfinkel / Seshia Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Westfechtel Models and Tools for Managing Development Processes
1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66756-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Arceri / Cortesi / Ferrara Challenges of Software Verification
2023Verlag: SpringerISBN: 978-981-19-9603-0Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (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
