Ergebnisse filtern
-
- 16
-
- 15
- 1
-
- 9
- 7
-
- 16
-
- 16
-
- 16
Logik, formale Sprachen, Automaten
-
Ayala-Rincón / de Moura Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs1. Auflage 2017Verlag: SpringerISBN: 978-3-319-51651-6Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moller / Struth Modelling Computing Systems
Mathematics for Computer Science1. Auflage 2013Verlag: SpringerISBN: 978-1-84800-321-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ölveczky Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude1. Auflage 2017Verlag: SpringerISBN: 978-1-4471-6686-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Erciyes Discrete Mathematics and Graph Theory
A Concise Study Companion and Guide1. Auflage 2021Verlag: SpringerISBN: 978-3-030-61114-9Medium: Buch38,51 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek Proofs and Algorithms
An Introduction to Logic and Computability2011. Auflage 2011Verlag: SpringerISBN: 978-0-85729-120-2Medium: Buch37,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zygelman A First Introduction to Quantum Computing and Information
2. Auflage 2025Verlag: SpringerISBN: 978-3-031-66424-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella / Fourman / Peng Introduction to Computation
Haskell, Logic and Automata1. Auflage 2021Verlag: SpringerISBN: 978-3-030-76907-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Automata Theory and Formal Languages
Fundamental Notions, Theorems, and Techniques1. Auflage 2022Verlag: SpringerISBN: 978-3-031-11964-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
O'Regan Concise Guide to Formal Methods
Theory, Fundamentals and Industry Applications1. Auflage 2017Verlag: SpringerISBN: 978-3-319-64020-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Makinson Sets, Logic and Maths for Computing
Third Auflage 2020Verlag: SpringerISBN: 978-3-030-42217-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Riis Nielson / Nielson Semantics with Applications: An Appetizer
2007. Auflage 2007Verlag: SpringerISBN: 978-1-84628-691-9Medium: Buch37,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jalote A Concise Introduction to Software Engineering
2008Verlag: SpringerISBN: 978-1-84800-301-9Medium: Buch32,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbrielli / Martini Programming Languages: Principles and Paradigms
2. Auflage 2023Verlag: SpringerISBN: 978-3-031-34143-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parkes A Concise Introduction to Languages and Machines
1. Auflage. 2008Verlag: SpringerISBN: 978-1-84800-120-6Medium: Buch32,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbrielli / Martini Programming Languages: Principles and Paradigms
1. Auflage. 2010Verlag: SpringerISBN: 978-1-84882-913-8Medium: Buch37,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort