Suchergebnisse für ""Lawrence C. Paulson""

Logic and Computation
65,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Lawrence C. Paulson
Logic and Computation
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Interactive Proof with Cambridge Lcf
9. Juni 2003
Cambridge University Press
Isabelle
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Lawrence C. Paulson
Isabelle
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Generic Theorem Prover
1994.
28. Juli 1994
Springer, Berlin
ML for the Working Programmer
75,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Lawrence C. Paulson
Larry C. Paulson
ML for the Working Programmer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Revised
30. November 2009
Cambridge University Press
Isabelle/HOL
43,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Tobias Nipkow
Lawrence C. Paulson
Markus Wenzel
Isabelle/HOL
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
2002
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7

Ähnliche Artikel

RHCSA & RHCE Red Hat Enterprise Linux 7
51,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Asghar Ghori
RHCSA & RHCE Red Hat Enterprise Linux 7
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Training and Exam Preparation Guide (EX200 and EX300), Third Edition
3. Auflage
27. März 2015
Endeavor Technologies Inc.
RHCSA Red Hat Enterprise Linux 8
36,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Asghar Ghori
RHCSA Red Hat Enterprise Linux 8
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Training and Exam Preparation Guide (EX200), First Edition
10. Januar 2020
Endeavor Technologies Inc.
AWS Certified Security - Specialty Exam Guide
48,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Stuart Scott
AWS Certified Security - Specialty Exam Guide
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Build your cloud security knowledge and expertise as an AWS Certified Security Specialist (SCS-C01)
7. September 2020
Packt Publishing
Designing and Implementing Microsoft DevOps Solutions AZ-400 Exam Guide - Second Edition
49,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Subhajit Chatterjee
Swapneel Deshpande
Henry Been
Designing and Implementing Microsoft DevOps Solutions AZ-400 Exam Guide - Second Edition
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Prepare for the certification exam and successfully apply Azure DevOps strategies with practical labs
Second
23. September 2022
Packt Publishing
Digital Halftoning
34,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Robert Ulichney
Digital Halftoning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
27. Juni 1987
MIT Press
Unity Certified Programmer
57,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Philip Walker
Unity Certified Programmer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Exam Guide: Expert tips and techniques to pass the Unity certification exam at the first attempt
30. Juni 2020
Packt Publishing
CompTIA Linux+ (Plus) Certification The Ultimate Study Guide to Ace the Exam
31,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jake T Mills
CompTIA Linux+ (Plus) Certification The Ultimate Study Guide to Ace the Exam
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2. Februar 2024
Jake T Mills
OSCP Offensive Security Certified Professional Practice Tests With Answers To Pass the OSCP Ethical Hacking Certification Exam
33,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jake T Mills
OSCP Offensive Security Certified Professional Practice Tests With Answers To Pass the OSCP Ethical Hacking Certification Exam
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18. November 2023
Jake T Mills
CompTIA Linux+ Certification Guide
47,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Philip Inshanally
CompTIA Linux+ Certification Guide
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
28. September 2018
Packt Publishing
Becoming KCNA Certified
44,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Dmitry Galkin
Becoming KCNA Certified
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Build a strong foundation in cloud native and Kubernetes and pass the KCNA exam with ease
10. Februar 2023
Packt Publishing


Ähnlichkeitssuche: Fact®Finder von OMIKRON