Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3363
- 1255
- 5
- 4
- Erscheinungsjahr
-
- 1
- 26
- 277
- 338
- 329
- 279
- 306
- 340
- 486
- 229
- 195
- 137
- 141
- 75
- 67
- 42
- 179
- 112
- 111
- 76
- 66
- 51
- 61
- 74
- 67
- 61
- 61
- 46
- 29
- 56
- 37
- 20
- 25
- 15
- 18
- 17
- 18
- 17
- 20
- 15
- 13
- 13
- 15
- 6
- 8
- 9
- 9
- 5
- 3
- 4
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 21
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 3
- 7
- 2
- 2
- 28
- 16
- 2
- 3
- 8
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 7
- 4
- 2
- 4
- 3
- 2
- 4
- 3
- 4
- 11
- 47
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 15
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 6
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 8
- 5
- 2
- 5
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 9
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 3
- 6
- 10
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 9
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 4
- 5
- 3
- 3
- 11
- 3
- 3
- 3
- 6
- 4
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 9
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 5
- 6
- 4
- 7
- 3
- 3
- 3
- 7
- 6
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 7
- 3
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 7
- 4
- 5
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 5
- 10
- 3
- 4
- 9
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 5
- 7
- 3
- 4
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 6
- 3
- 5
- 3
- 4
- Verlag
-
- 3
- 1
- 873
- 11
- 7
- 1
- 14
- 1
- 1
- 10
- 1
- 2
- 61
- 66
- 62
- 2
- 3
- 94
- 1197
- 1
- 1
- 3
- 1
- 14
- 53
- 2
- 16
- 16
- 2
- 3
- 1
- 3
- 3
- 2
- 2
- 38
- 2
- 2
- 13
- 13
- 9
- 2
- 2
- 5
- 2
- 7
- 1
- 8
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 6
- 17
- 93
- 4
- 9
- 1
- 2
- 2
- 2
- 2
- 436
- 376
- 204
- 3
- 32
- 30
- 14
- 19
- 62
- 5
- 3
- 13
- 1
- 1
- 1
- 1
- 55
- 19
- 167
- 86
- 2
- 8
- 1
- 9
- 1
- 2
- 1
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 86
- 4
- 8
- 2
- 1
- 23
- 9
- 1
- 1
- 2
- Preis
-
- 326
- 1768
- 1829
- 704
- Sprachen
-
- 3979
- 647
- 5
- Verfügbarkeit
-
- 4511
- 116
- Eigenschaften
-
- 4
- Katalog
-
- 4627
- 151
-
Huisman / Groote Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14¿15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
1993Verlag: Birkhäuser BostonISBN: 978-0-8176-3654-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tan / Hardy / Steeb SymbolicC++:An Introduction to Computer Algebra using Object-Oriented Programming
An Introduction to Computer Algebra using Object-Oriented Programming2. extended and revidierte Auflage 2000Verlag: SpringerISBN: 978-1-85233-260-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Caires Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-17183-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guttman / Pavlovic / Landwehr Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19051-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mawlood-Yunis Android for Java Programmers
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-87458-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tahar / Li Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21¿24, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SingaporeISBN: 978-981-99-7583-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Platzer / Rossi / Rozier Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9¿13, 2024, Proceedings, Part I2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-71161-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garrigue Programming Languages and Systems
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12735-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tamaddoni-Nezhad / Muggleton Inductive Logic Programming
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28¿30, 2022, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55629-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nordio / Meyer Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28405-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhou / Fruhman / Kjellerstrand Constraint Solving and Planning with Picat
1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25881-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Taha / Lierler Practical Aspects of Declarative Languages
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-51675-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bassiliades / Gottlob / Roman Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21541-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wijs / Bošnacki / Bošnacki Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32581-1Medium: Buch53,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Furia / Aichernig Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41134-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Torra Scala: From a Functional Programming Perspective
An Introduction to the Programming Language1. Auflage 2016Verlag: Springer-Verlag GmbHISBN: 978-3-319-46480-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
An / Bazzan / van der Torre PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 ¿ November 3, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-69130-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Iyer Simulating Nonlinear Circuits with Python Power Electronics
An Open-Source Simulator, Based on Python¿1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-73983-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Xu Learning Java with Games
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-72885-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hau Real-World Svelte
Supercharge your apps with Svelte 4 by mastering advanced web development concepts1. Auflage 2023Verlag: De GruyterISBN: 978-1-80461-541-6Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection28,79 € (inkl. MwSt.)
sofort verfügbar28,79 € (inkl. MwSt.)
sofort verfügbar -
bin Uzayr Scala
The Ultimate Guide1. Auflage 2023Verlag: Taylor & Francis LtdISBN: 978-1-032-41424-9Medium: Buch63,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage63,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boca / Siddiqi / Bowen Formal Methods: State of the Art and New Directions
2010Verlag: SpringerISBN: 978-1-4471-5745-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sutherland Verilog ¿ 2001
A Guide to the New Features of the Verilog® Hardware Description Language2002Verlag: Springer USISBN: 978-0-7923-7568-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bergeron / Nightingale / Cerny Verification Methodology Manual for SystemVerilog
2006Verlag: Springer USISBN: 978-0-387-25538-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (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