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
-
van Leeuwen / Italiano / van der Hoek SOFSEM 2007: Theory and Practice of Computer Science
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-69506-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Almási / Cascaval / Wu Languages and Compilers for Parallel Computing
19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers2007Verlag: SpringerISBN: 978-3-540-72520-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems
19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73065-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Caires / Vasconcelos CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74406-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Murphy / Vitek Coordination Models and Languages
9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-72793-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ebbinghaus / Flum Finite Model Theory
2. Auflage 1999. 2. printing 2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-28787-2Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden5. aktualisierte Auflage 2021Verlag: Hanser FachbuchverlagISBN: 978-3-446-46942-6Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage29,99 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Stevenson Programming Language Fundamentals by Example
1. Auflage 2006Verlag: CRC PressISBN: 978-0-8493-7016-8Medium: Buch128,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Matsumoto / Kim Advances in Cryptology - ASIACRYPT '96
International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61872-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hendricks / Jørgensen / Pedersen Knowledge Contributors
2003. Auflage 2003Verlag: Springer Nature SingaporeISBN: 978-1-4020-1748-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lam / Tang / Wei Boolean Circuit Rewiring
Bridging Logical and Physical Designs1. Auflage 2016Verlag: WileyISBN: 978-1-118-75011-7Medium: Buch153,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage153,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Struth / Moller Modelling Computing Systems
Mathematics for Computer Science2013Verlag: SpringerISBN: 978-1-84800-321-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Agha Actors
A Model of Concurrent Computation in Distributed SystemsErscheinungsjahr 1986Verlag: MIT PressISBN: 978-0-262-51141-4Medium: Buch38,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage38,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yanofsky / Mannucci Quantum Computing for Computer Scientists
Erscheinungsjahr 2008Verlag: Cambridge University Pr.ISBN: 978-0-521-87996-5Medium: Buch89,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage89,00 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Scott Programming Language Pragmatics
4. Auflage 2015Verlag: Elsevier Science & TechnologyISBN: 978-0-12-410409-9Medium: Buch90,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Makinson Sets, Logic and Maths for Computing
2. Auflage 2012Verlag: Springer London LtdISBN: 978-1-4471-2499-3Medium: Buch34,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage34,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Abrial Modeling in Event-B
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-89556-9Medium: Buch144,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage144,10 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Melham Higher Order Logic and Hardware Verification
Erscheinungsjahr 2012Verlag: Cambridge University PressISBN: 978-0-521-41718-1Medium: Buch129,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage129,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tianruo Yang Parallel Numerical Computation with Applications
1999. Auflage 1999Verlag: Springer Nature SingaporeISBN: 978-0-7923-8588-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hajek Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Lecture Notes in Logic 61. Auflage 2001Verlag: Taylor & Francis IncISBN: 978-1-56881-153-6Medium: Buch57,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage57,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pippenger Theories of Computability
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-15343-0Medium: Buch60,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage60,40 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cooper / Goncharov Computability and Models
Perspectives East and West2003. Auflage 2003Verlag: Springer Nature SingaporeISBN: 978-0-306-47400-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pitts Nominal Sets
Erscheinungsjahr 2013Verlag: Cambridge University PressISBN: 978-1-107-01778-8Medium: Buch67,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage67,30 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hu Mathematical Theory of Switching Circuits and Automata
Nachdruck 2020Verlag: De GruyterISBN: 978-0-520-31089-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)42,99 € (inkl. MwSt.)
sofort verfügbar42,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort