Ergebnisse filtern
-
- 141
-
- 63
- 62
- 1
- 7
- 2
- 1
- 4
- 1
-
- 2
- 126
- 13
-
- 141
-
- 140
- 1
-
- 141
- 4
-
Back / Wright Refinement Calculus
A Systematic Introduction1. Auflage 1998Verlag: SpringerISBN: 978-0-387-98417-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morazán Programming-Based Formal Languages and Automata Theory
Design, Implement, Validate, and ProveErscheinungsjahr 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43975-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voorhees Guide to Efficient Software Design
An MVC Approach to Concepts, Structures, and Models1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-28500-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voorhees Guide to Efficient Software Design
An MVC Approach to Concepts, Structures, and Models1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-28503-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Heath / Rosenberg Understanding Computation
Pillars, Paradigms, Principles1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-10057-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Borzunov / Kurgalin Concise Guide to Quantum Computing
Algorithms, Exercises, and Implementations1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-65054-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Skiena The Algorithm Design Manual
Third Auflage 2020Verlag: Springer Nature Switzerland AGISBN: 978-3-030-54255-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Wijs Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: SpringerISBN: 978-3-031-30169-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ægidius Mogensen Programming Language Design and Implementation
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-11808-1Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Parsons Foundational Java
Key Elements and Practical Programming2. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54517-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Apt / Olderog / de Boer Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-84882-744-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Li / Liu / Drew Fundamentals of Multimedia
Softcover Nachdruck of the original 2. Auflage 2014Verlag: Springer International PublishingISBN: 978-3-319-34678-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hou Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87881-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lu / Antoniou Practical Optimization
Algorithms and Engineering Applications2. Auflage 2021Verlag: Springer USISBN: 978-1-0716-0841-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jain / Swearingen / Ross Introduction to Biometrics
2. Auflage 2025Verlag: Springer International PublishingISBN: 978-3-031-61674-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Berthold / Klawonn / Borgelt Guide to Intelligent Data Analysis
How to Intelligently Make Sense of Real Data2010Verlag: SpringerISBN: 978-1-4471-2572-3Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhang Fundamentals of Image Data Mining
Analysis, Features, Classification and Retrieval2. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-69253-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Erciyes Guide to Graph Algorithms
Sequential, Parallel and Distributed1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-73234-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morazán Programming-Based Formal Languages and Automata Theory
Design, Implement, Validate, and Prove1. Auflage 2024Verlag: Springer International PublishingISBN: 978-3-031-43972-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nerode / Shore Logic for Applications
2. Auflage 1997Verlag: SpringerISBN: 978-1-4612-6855-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Borzunov / Kurgalin Concise Guide to Quantum Computing
Algorithms, Exercises, and Implementations1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-65051-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morazán Animated Program Design
Intermediate Program Design Using Video Game Development1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-04316-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Apt / Olderog / de Boer Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-4471-2513-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Periyasamy / Alagar Specification of Software Systems
2. Auflage 2011Verlag: SpringerISBN: 978-1-4471-2644-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schneider On Concurrent Programming
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-7303-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
