Suchergebnisse für ""Edmund M. Clarke""

Model Checking
82,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Edmund M. Clarke Jr. (Carnegie Mellon University)
Orna Grumberg (Technion)
Daniel Kroening (Oxford University)
Model Checking
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
second edition
4. Dezember 2018
MIT Press Ltd
Computer-Aided Verification
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Edmund M. Clarke / Robert P. Kurshan (eds.)
Computer-Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
1991.
2. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54477-7
Model Checking
Edmund M. Clarke
Orna Grumberg
Doron A. Peled
Model Checking
  (Aktuell noch keine Bewertungen)
Buch mit Leinen-Einband
Pr.
2000
MIT Press

Ähnliche Artikel

Programming for the Puzzled
31,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Srini Devadas (Professor of Electrical Engineering and Computer Sci
Programming for the Puzzled
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Learn to Program While Solving Puzzles
3. November 2017
MIT Press / The MIT Press
Using MPI
71,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
William Gropp (University of Illinois Urban Thomas M. Siebel Chair
Ewing Lusk (Argonne National Argonne Distinguished Fellow Emeritus
Anthony Skjellum (Auburn University)
Using MPI
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Portable Parallel Programming with the Message-Passing Interface
third edition
7. November 2014
MIT Press Ltd
Privacy Is Hard and Seven Other Myths
18,99 €
Sofort lieferbar
Jaap-Henk Hoepman
Privacy Is Hard and Seven Other Myths
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Achieving Privacy through Careful Design
3. Oktober 2023
MIT Press Ltd
Cloud Computing, revised and updated edition
12,99 €
Sofort lieferbar
Nayan B. Ruparelia
Cloud Computing, revised and updated edition
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1. August 2023
MIT Press Ltd
Privacy Is Hard and Seven Other Myths
28,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Jaap-Henk Hoepman
Privacy Is Hard and Seven Other Myths
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Achieving Privacy through Careful Design
5. Oktober 2021
MIT Press Ltd
Turing's Vision
20,99 €
Sofort lieferbar
Chris Bernhardt
Turing's Vision
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Birth of Computer Science
21. April 2017
MIT Press / The MIT Press
Moral Codes
32,99 €
Sofort lieferbar
Versandkostenfrei*
Alan F. Blackwell
Moral Codes
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Designing Alternatives to AI
6. August 2024
MIT Press Ltd
Living with Robots
22,99 €
Versandfertig in 2-4 Wochen
Ruth Aylett
Patricia Vargas
Living with Robots
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
What Every Anxious Human Needs to Know
2. Mai 2023
MIT Press Ltd
Ideas That Created the Future
66,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Harry Lewis
Ideas That Created the Future
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Classic Papers of Computer Science
2. Februar 2021
MIT Press Ltd
Living with Robots
29,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
Ruth Aylett
Patricia A. Vargas
Living with Robots
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
What Every Anxious Human Needs to Know
21. September 2021
MIT Press / The MIT Press


Ähnlichkeitssuche: Fact®Finder von OMIKRON