Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8672
- 1009
- 31
- 13
- Erscheinungsjahr
-
- 1
- 42
- 663
- 632
- 484
- 443
- 423
- 428
- 535
- 313
- 458
- 297
- 429
- 380
- 491
- 244
- 502
- 249
- 253
- 259
- 216
- 259
- 220
- 222
- 181
- 157
- 122
- 110
- 95
- 78
- 81
- 71
- 59
- 67
- 39
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 9
- 3
- 4
- 4
- 10
- 4
- 3
- 6
- 5
- 4
- 8
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 5
- 4
- 4
- 7
- 6
- 10
- 6
- 3
- 9
- 20
- 3
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 4
- 6
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 18
- 3
- 4
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 9
- 4
- 9
- 3
- 3
- 5
- 17
- 3
- 4
- 4
- 11
- 3
- 3
- 3
- 4
- 6
- 3
- 13
- 3
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 8
- 3
- 4
- 9
- 4
- 3
- 10
- 17
- 4
- 5
- 17
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 11
- 7
- 6
- 4
- 12
- 4
- 3
- 4
- 13
- 7
- 4
- 4
- 4
- 3
- 3
- 7
- 4
- 3
- 3
- 17
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 4
- 4
- 5
- 32
- 4
- 3
- 8
- 3
- 5
- 4
- 3
- 7
- 6
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 6
- 8
- 6
- 10
- 3
- 3
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 4
- 9
- 5
- 3
- 3
- 8
- 8
- 3
- 3
- 12
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 5
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 7
- 3
- 3
- 3
- 9
- 4
- 3
- 3
- 5
- 5
- 4
- 4
- 4
- 3
- 4
- 8
- 6
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 14
- 4
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 13
- 4
- 6
- 9
- 6
- 3
- 8
- 10
- 6
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 4
- 7
- 4
- 3
- 12
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 3
- 5
- 8
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 27
- 19
- 3
- 4
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 6
- 3
- 10
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 3
- 4
- 3
- 16
- 6
- 5
- 5
- 3
- 4
- 18
- 3
- 4
- 5
- 3
- 4
- 4
- 20
- 5
- 11
- 3
- 4
- 4
- 6
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 13
- 3
- 6
- 7
- 4
- 3
- 6
- 24
- 6
- 6
- 3
- 11
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 5
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 11
- 3
- 7
- 3
- 36
- 3
- 4
- 9
- 5
- 3
- 3
- 8
- 3
- 11
- 3
- 3
- 4
- 3
- 6
- 10
- 4
- 4
- 12
- 5
- 5
- 4
- 3
- 3
- 4
- 5
- 7
- 12
- 6
- 5
- 16
- 4
- 4
- 4
- 8
- 4
- 3
- 10
- 6
- 6
- 8
- 8
- 4
- 3
- 3
- 6
- 3
- 3
- 6
- 6
- 4
- 8
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 9
- 8
- 5
- 3
- 7
- 10
- 3
- 3
- 4
- 3
- 8
- 6
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 7
- 5
- 4
- 18
- 4
- 4
- 4
- 11
- 5
- 4
- 3
- 5
- 5
- 5
- 6
- 3
- 4
- 4
- 4
- 9
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 3
- 8
- 7
- 8
- 12
- 5
- 10
- 3
- 8
- 6
- 10
- 4
- 8
- 6
- 7
- 4
- 10
- 3
- 3
- 3
- 4
- 11
- 5
- 57
- 3
- 4
- 14
- 4
- 7
- 3
- 5
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 3
- 7
- 7
- 14
- 6
- 14
- 4
- 6
- 3
- 3
- 4
- 24
- 6
- 7
- 4
- 3
- 7
- 3
- 12
- 32
- 4
- 3
- 3
- 4
- 4
- 4
- 7
- 9
- 5
- 4
- 15
- 7
- 4
- 5
- 6
- 4
- 3
- 5
- 5
- 3
- 19
- 26
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 18
- 11
- 6
- 4
- 8
- 3
- 7
- 3
- 7
- 3
- 4
- 14
- 3
- 7
- 12
- 8
- 25
- 3
- 8
- 6
- 3
- 4
- 7
- 5
- 4
- 4
- 5
- 4
- 3
- 6
- 7
- 4
- 12
- 3
- 4
- 6
- 8
- 5
- 5
- 11
- 6
- 4
- 7
- 4
- 6
- 6
- 4
- 9
- 4
- 4
- 7
- 5
- 3
- 3
- 3
- 4
- 18
- 10
- 4
- 4
- 3
- 5
- 6
- 3
- 7
- 6
- 3
- 9
- 3
- 5
- 5
- 5
- 10
- 10
- 4
- 8
- 5
- 5
- 13
- 3
- 7
- 4
- 3
- 11
- 7
- 3
- 9
- 16
- 11
- 5
- 3
- 4
- 9
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 3
- 5
- 7
- 3
- 7
- 8
- 4
- 4
- 3
- 7
- 22
- 6
- 9
- 5
- 4
- 4
- 7
- 3
- 3
- 16
- 5
- 4
- 4
- 4
- 22
- 5
- 3
- 3
- 8
- 4
- 5
- 4
- 5
- 4
- 3
- 7
- 6
- 10
- 9
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 8
- 9
- 5
- 7
- 5
- 4
- 4
- 3
- 3
- 15
- 6
- 4
- 3
- 22
- 31
- 12
- 7
- 9
- 12
- 23
- 6
- 6
- 9
- 17
- 3
- 6
- 3
- 4
- 3
- 5
- 7
- 8
- 7
- 37
- 5
- 4
- 5
- 3
- 4
- 3
- 4
- 4
- 4
- 9
- 20
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 8
- 31
- 4
- 7
- 7
- 4
- 8
- 10
- 4
- 8
- 3
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 6
- 11
- 5
- 8
- 3
- 6
- 10
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 14
- 8
- 9
- 13
- 4
- 7
- 3
- 9
- 7
- 7
- 7
- 4
- 5
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 5
- 13
- 14
- 5
- 9
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 7
- 4
- 9
- 7
- 8
- 18
- 6
- 7
- 4
- 12
- 5
- 7
- 4
- 4
- 11
- 4
- 7
- 4
- 7
- 4
- 4
- 6
- 7
- 9
- 5
- Verlag
-
- 2
- 8
- 5
- 1
- 33
- 11
- 383
- 5
- 1
- 18
- 1
- 6
- 4
- 4
- 106
- 2
- 1
- 1
- 12
- 3
- 3
- 3
- 42
- 1
- 1
- 81
- 58
- 4
- 370
- 727
- 15
- 1
- 7
- 1
- 16
- 95
- 3
- 3
- 5
- 46
- 30
- 5
- 1
- 25
- 1
- 1
- 3
- 3
- 13
- 5
- 43
- 4
- 1
- 1
- 3
- 27
- 1
- 4
- 1
- 27
- 1
- 1
- 1
- 5
- 28
- 2
- 1
- 3
- 3
- 25
- 7
- 3
- 2
- 1
- 2
- 26
- 5
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 8
- 1
- 4
- 24
- 17
- 22
- 1
- 1
- 1
- 2
- 2
- 15
- 2
- 2069
- 1467
- 12
- 1396
- 5
- 2
- 1
- 125
- 399
- 109
- 1
- 85
- 355
- 22
- 1
- 30
- 1
- 1
- 1
- 236
- 39
- 206
- 259
- 1
- 1
- 3
- 24
- 2
- 1
- 5
- 1
- 86
- 1
- 2
- 1
- 161
- 2
- 11
- 1
- 1
- 21
- 33
- 1
- 1
- 2
- 2
- Preis
-
- 256
- 1427
- 4870
- 3172
- Sprachen
-
- 8873
- 859
- 2
- Verfügbarkeit
-
- 9556
- 169
- Eigenschaften
-
- 5
- Katalog
-
- 9725
- 1582
-
Bennaceur / Meinke / Hähnle Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Capozucca / Meyer / Ebersold Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23¿25, 2023, Invited Papers2023Verlag: Springer International PublishingISBN: 978-3-031-48638-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zohar / Barbosa Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49341-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part II1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-50520-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arcaini / Fredericks / Yue Search-Based Software Engineering
15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48795-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Flatt / Leps / Langner Model-Driven Development of Akoma Ntoso Application Profiles
A Conceptual Framework for Model-Based Generation of XML Subschemas1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-14131-7Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jawawi / Kazmi / Bajwa Engineering Software for Modern Challenges
First International Conference, ESMoC 2021, Johor, Malaysia, October 20¿21, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-19967-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chai / Schlingloff Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17107-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Benz / Shi / Gopinath NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4¿6, 2024, Proceedings2024Verlag: Springer International PublishingISBN: 978-3-031-60697-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bauer / Großmann / Wendland Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tremblay / VanderMeer / Yoon Advancing the Impact of Design Science: Moving from Theory to Practice
9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-06700-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Roscoe / Cornélio Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seshia / Gurfinkel Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reppy / Gavanelli Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28227-5Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Filipe / Maciaszek Evaluation of Novel Approaches to Software Engineering
10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-30242-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kühn / De Nicola Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41590-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mitchell / Thue / Fernández-Vara Interactive Storytelling
7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12336-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schneider / Fricker Requirements Engineering: Foundation for Software Quality
21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-16100-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stamelos / Schaefer Software Reuse for Dynamic Systems in the Cloud and Beyond
14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-14129-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Huisman / Ábrahám Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rovatsos / Julian / Vouros Multi-Agent Systems and Agreement Technologies
13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33508-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Silhavy / Senkerik / Prokopova Software Engineering Perspectives and Application in Intelligent Systems
Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 21. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33620-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leon-Garcia / Krutilova / Lenort Smart City 360°
First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33680-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bruaset / Tveito Conversations About Challenges in Computing
2013Verlag: SpringerISBN: 978-3-319-00208-8Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (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