Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4447
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 25
- 67
- 54
- 50
- 70
- 117
- 134
- 99
- 135
- 91
- 142
- 104
- 120
- 53
- 243
- 80
- 167
- 282
- 199
- 272
- 230
- 235
- 211
- 188
- 139
- 112
- 109
- 101
- 86
- 91
- 81
- 58
- 58
- 63
- 38
- 47
- 27
- 17
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 6
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 25
- 9
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 18
- 5
- 3
- 2
- 9
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 5
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 17
- 3
- 3
- 5
- 3
- 3
- 6
- 8
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 4
- 4
- 5
- 5
- 5
- 6
- 3
- 9
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 7
- 4
- 4
- 3
- 3
- 5
- 7
- 4
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 5
- 5
- 10
- 6
- 3
- 6
- 5
- 3
- 5
- 3
- 5
- 7
- 5
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 4
- 5
- 5
- 5
- 5
- 4
- 5
- 4
- 3
- 8
- 5
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 10
- 5
- 8
- 4
- 4
- 4
- 8
- 4
- 3
- 9
- 8
- 3
- 9
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 6
- 5
- 8
- 3
- 3
- 3
- 4
- 4
- 5
- 21
- 5
- 5
- 3
- 12
- 10
- 5
- 4
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 7
- 3
- 5
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 6
- 3
- 6
- 15
- 7
- 7
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 5
- 5
- 4
- 8
- 3
- 3
- 11
- 4
- 7
- 4
- 3
- 5
- 3
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 4
- 4
- 12
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 17
- 5
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 7
- 3
- 5
- 5
- 9
- 4
- 6
- 10
- 3
- 9
- 3
- 5
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 9
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 7
- 7
- 5
- 3
- 4
- 3
- 3
- 8
- 3
- 5
- 3
- 6
- 4
- 49
- 11
- 3
- 4
- 4
- 5
- 7
- 3
- 3
- 19
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 6
- 3
- 5
- 3
- 6
- 7
- 5
- 4
- 6
- 3
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 15
- 4
- 4
- 3
- 4
- 4
- 4
- 21
- 7
- 4
- 3
- 9
- 4
- 6
- 5
- 3
- 11
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 24
- 4
- 5
- 3
- 10
- 5
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 4
- 8
- 5
- 4
- 5
- 6
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 4
- 3
- 3
- 9
- 5
- 4
- 11
- 1
- 1
- 2
- 22
- 4
- 1
- 1
- 10
- 40
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 1
- 2
- 3
- 10
- 2
- 1
- 2
- 9
- 1
- 8
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 2
- 652
- 2167
- 1
- 658
- 1
- 6
- 3
- 223
- 54
- 127
- 223
- 8
- 40
- 3
- 2
- 1
- 2
- 7
- 4
- 5
- 1
- 35
- 2
- 27
- 1
- 1
- 2
- Preis
-
- 14
- 207
- 2744
- 1517
- Sprachen
-
- 4341
- 136
- 13
- Verfügbarkeit
-
- 4461
- 21
- Eigenschaften
-
- 1
- Katalog
-
- 4482
- 200
-
Ölveczky / Braga Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28933-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seiffertt Digital Logic for Computing
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-56837-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jureta The Design of Requirements Modelling Languages
How to Make Formalisms for Problem Solving in Requirements EngineeringSoftcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-36973-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ölveczky / Artho Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-53945-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sikos Description Logics in Multimedia Reasoning
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-54065-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bertogna / Quiñones / Pinho Reliable Software Technologies ¿ Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39082-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Farzan / Chaudhuri Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41527-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salomaa / Han Implementation and Application of Automata
21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40945-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maler / Piazza / Halász Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27655-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lucanu Rewriting Logic and Its Applications
11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44801-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-51640-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pinna Extended Cognition and the Dynamics of Algorithmic Skills
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-51840-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Antonucci / Papini / Cholvy Symbolic and Quantitative Approaches to Reasoning with Uncertainty
14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10¿14, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61580-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gagniuc Coding Examples from Simple to Complex
Applications in Python¿2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-53811-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Urban / Ramanayake Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43512-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Puzynina / Lecroq Combinatorics on Words
13th International Conference, WORDS 2021, Rouen, France, September 13¿17, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-85087-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Soukup / Meduna Modern Language Models and Computation
Theory with ApplicationsSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-87473-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Höfig / Zeller Model-Based Safety and Assessment
7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14¿16, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58919-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jones Understanding Programming Languages
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59256-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ali Abam / S. Barbosa Topics in Theoretical Computer Science
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1¿2, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-57851-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palamidessi / Ábrahám Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-662-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hameurlain / Decker / Küng Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Special Issue on Consistency and Inconsistency in Data-Centric Applications1. Auflage 2017Verlag: SpringerISBN: 978-3-662-55946-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Moss / Martinez / de Queiroz Logic, Language, Information, and Computation
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-662-57668-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sempere / Heinz Topics in Grammatical Inference
Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-662-56920-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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