Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4879
- 31
- 9
- Erscheinungsjahr
-
- 12
- 31
- 65
- 62
- 51
- 70
- 118
- 134
- 98
- 135
- 91
- 142
- 105
- 145
- 106
- 248
- 93
- 173
- 338
- 310
- 323
- 244
- 246
- 226
- 198
- 146
- 120
- 112
- 104
- 90
- 94
- 85
- 62
- 58
- 65
- 39
- 48
- 28
- 18
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 7
- 4
- 2
- 3
- 15
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 5
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 3
- 6
- 6
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 3
- 14
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 3
- 5
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 3
- 5
- 7
- 8
- 6
- 4
- 10
- 3
- 5
- 8
- 8
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 5
- 31
- 11
- 3
- 3
- 4
- 3
- 3
- 19
- 5
- 3
- 2
- 9
- 8
- 6
- 4
- 3
- 3
- 16
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 24
- 4
- 6
- 3
- 5
- 3
- 7
- 3
- 6
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 3
- 4
- 4
- 6
- 10
- 6
- 6
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 6
- 9
- 5
- 5
- 3
- 4
- 4
- 6
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 6
- 14
- 7
- 4
- 8
- 5
- 5
- 3
- 5
- 3
- 5
- 7
- 3
- 5
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 6
- 5
- 3
- 5
- 5
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 3
- 5
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 3
- 5
- 6
- 5
- 5
- 5
- 3
- 5
- 10
- 3
- 4
- 4
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 7
- 6
- 3
- 5
- 5
- 3
- 3
- 4
- 3
- 3
- 11
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 10
- 9
- 9
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 7
- 4
- 3
- 6
- 5
- 9
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 5
- 4
- 12
- 3
- 11
- 5
- 3
- 4
- 3
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 8
- 4
- 4
- 3
- 3
- 5
- 4
- 6
- 3
- 7
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 3
- 7
- 3
- 15
- 7
- 7
- 3
- 3
- 3
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 5
- 6
- 4
- 8
- 3
- 3
- 11
- 4
- 8
- 4
- 3
- 5
- 3
- 5
- 7
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 12
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 19
- 5
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 7
- 4
- 7
- 3
- 6
- 9
- 4
- 3
- 6
- 11
- 3
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 9
- 3
- 8
- 3
- 9
- 3
- 3
- 3
- 5
- 6
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 52
- 11
- 3
- 3
- 5
- 5
- 7
- 3
- 20
- 4
- 6
- 5
- 5
- 7
- 4
- 7
- 4
- 3
- 4
- 9
- 15
- 7
- 4
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 4
- 10
- 3
- 8
- 6
- 6
- 3
- 3
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 25
- 6
- 5
- 6
- 3
- 16
- 8
- 5
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 6
- 4
- 3
- 6
- 9
- 5
- 4
- 5
- 8
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 6
- 2
- 3
- 3
- 9
- 5
- 11
- 5
- 9
- 1
- 1
- 2
- 25
- 4
- 1
- 3
- 7
- 48
- 6
- 3
- 2
- 3
- 8
- 7
- 1
- 2
- 2
- 6
- 3
- 1
- 1
- 9
- 1
- 2
- 1
- 25
- 1
- 15
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 9
- 1
- 1
- 3854
- 103
- 1
- 168
- 1
- 3
- 3
- 31
- 13
- 1
- 99
- 77
- 164
- 4
- 33
- 3
- 2
- 1
- 4
- 9
- 3
- 36
- 2
- 30
- 1
- 1
- 3
- Preis
-
- 15
- 207
- 3014
- 1683
- Sprachen
-
- 4771
- 144
- 9
- 3
- 1
- Verfügbarkeit
-
- 4902
- 17
- Katalog
-
- 4919
- 218
-
Gwizdalla / Gwizdalla / Manzoni Cellular Automata
14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-69479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sehr / Banerjee / Gelernter Languages and Compilers for Parallel Computing
9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63091-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leitold / Markatos Communications and Multimedia Security
10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47820-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Calinescu / Rumpe Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22968-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hartenstein / Servit Field-Programmable Logic: Architectures, Synthesis and Applications
4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58419-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kozen Theory of Computation
1. Auflage. 2006Verlag: SpringerISBN: 978-1-84628-297-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Moniz Pereira / Przymusinski Logic Programming and Knowledge Representation
Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64958-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dassow Logik für Informatiker
2005Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-00518-6Medium: Buch34,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage34,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Centrone / Schuster / Negri Mathesis Universalis, Computability and Proof
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-20449-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bravetti / Kloul / Zavattaro Formal Techniques for Computer Systems and Business Processes
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28701-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20854-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weber / Küchlin Einführung in die Informatik
Objektorientiert mit Java3., überarbeitete Auflage 2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20958-4Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banzhaf / Brameier Linear Genetic Programming
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: Springer USISBN: 978-1-4419-4048-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting LogicErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mills Theoretical Introduction to Programming
2006. Auflage 2005Verlag: SpringerISBN: 978-1-84628-021-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rolim / Ferreira Parallel Algorithms for Irregular Problems: State of the Art
1995Verlag: Springer USISBN: 978-0-7923-3623-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Saglietti / Oster Computer Safety, Reliability, and Security
26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-75100-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jumarie Maximum Entropy, Information Without Probability and Complex Fractals
Classical and Quantum Approach1. Auflage 2000Verlag: SpringerISBN: 978-0-7923-6330-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lea / Zavattaro Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68264-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baldoni / Endriss Declarative Agent Languages and Technologies IV
4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68959-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Afrati / Kolaitis Database Theory - ICDT '97
6th International Conference, Delphi, Greece, January 8-10, 1997. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62222-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Degano / de Nicola / Meseguer Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdayErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68676-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Spriggs GSN - The Goal Structuring Notation
A Structured Approach to Presenting Arguments2012Verlag: SpringerISBN: 978-1-4471-2311-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Torra / Narukawa Modeling Decisions for Artificial Intelligence
19th International Conference, MDAI 2022, Sant Cugat, Spain, August 30 - September 2, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13447-0Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (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