Ergebnisse filtern
-
- 147
- 100
-
- 7
- 226
- 14
-
- 247
-
- 246
- 1
-
- 247
- 4
-
Yan Computational Methods for Deep Learning
Theoretic, Practice and Applications1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-61083-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
-
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
-
Back / Wright Refinement Calculus
A Systematic Introduction1. Auflage 1998Verlag: SpringerISBN: 978-0-387-98417-9Medium: Buch106,99 € (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
-
Nerode / Shore Logic for Applications
2. Auflage 1997Verlag: Springer USISBN: 978-1-4612-0649-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Voorhees Guide to Efficient Software Design
An MVC Approach to Concepts, Structures, and ModelsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-28501-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Rosenberg / Heath Understanding Computation
Pillars, Paradigms, PrinciplesErscheinungsjahr 2022Verlag: Springer International PublishingISBN: 978-3-031-10055-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Heath / Rosenberg Understanding Computation
Pillars, Paradigms, Principles1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-10054-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Wijs Concise Guide to Software Verification
From Model Checking to Annotation CheckingErscheinungsjahr 2023Verlag: Springer International PublishingISBN: 978-3-031-30167-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
-
Wijs / Huisman Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: Springer International PublishingISBN: 978-3-031-30166-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kurgalin / Borzunov Concise Guide to Quantum Computing
Algorithms, Exercises, and ImplementationsErscheinungsjahr 2021Verlag: Springer International PublishingISBN: 978-3-030-65052-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
Socher-Ambrosius / Johann Deduction Systems
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-7479-7Medium: Buch53,49 € (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
-
Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-84882-745-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark71,39 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Schneider On Concurrent Programming
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-1830-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Homer / Selman Computability and Complexity Theory
2. Auflage 2011Verlag: Springer USISBN: 978-1-4614-0682-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar
-
Berthold / Borgelt / Höppner Guide to Intelligent Data Analysis
How to Intelligently Make Sense of Real Data1. Auflage 2010Verlag: SpringerISBN: 978-1-84882-260-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
