Applying Math with Python:...
Sam Morley
Buy new from $44.21
eBook from $25.99
|
Introduction to the Theory of...
Gilles Dowek,
Jean-Jacques L Vy
Buy new from $31.82
eBook from $10.50
|
Enterprise Architecture with ...
Jean-Philippe Gouigoux
Buy new from $56.23
eBook from $41.99
|
FPGAs 101: Everything You...
Dr. Gina Smith
Buy new from $43.72
eBook from $48.95
|
FPGA Eda: Design Principles...
Kaihui Tu,
Xifan Tang
Buy new from $49.66
eBook from $18.00
|
Making Things Smart: Easy...
Gordon F Williams
Buy new from $30.42
eBook from $29.99
|
Type Systems for Distributed...
Ornela Dardha
Buy new from $77.44
eBook from $29.70
|
Handbook of Formal Languages:...
Grzegorz Rozenberg (Editor),
Arto Salomaa (Editor)
Buy new from $59.11
eBook from $16.50
|
Treatise on Intuitionistic...
Johan Georg Granstr÷m
Buy new from $110.08
eBook from $44.70
|
A List of Successes That Can...
Sam Lindley (Editor),
Conor McBride (Editor)
Buy new from $50.56
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $60.65
eBook from $16.50
|
Rewriting Logic and Its...
Vlad Rusu (Editor)
Buy new from $46.03
eBook from $16.50
|
Hands-On Microservices with C...
Matt R. Cole
Buy new from $52.80
eBook from $39.99
|
Principles of Programming...
Gilles Dowek
Buy new from $38.50
eBook from $10.50
|
Deductive Software...
Wolfgang Ahrendt (Editor),
Bernhard Beckert (Editor)
Buy new from $106.01
eBook from $35.70
|
Mathematical Logic through...
Yannai A. Gonczarowski,
Noam Nisan
Buy new from $35.86
eBook from $34.00
|
Logic-Based Program Synthesis...
Fred Mesnard (Editor),
Peter J Stuckey (Editor)
Buy new from $45.07
eBook from $16.50
|
Formal Languages and...
Stefano Crespi Reghizzi
Buy new from $55.48
eBook from $24.00
|
Foundations of Software...
Frank Pfenning (Editor)
Buy new from $50.01
eBook from $16.50
|
Integrated Formal Methods:...
Erika ?brahßm (Editor),
Marieke Huisman (Editor)
Buy new from $73.29
eBook from $27.00
|
Logical Foundations of...
Sergei Artemov (Editor),
Anil Nerode (Editor)
Buy new from $48.91
eBook from $16.50
|
From Lambda Calculus to...
Alessandra Di Pierro (Editor),
Pasquale Malacaria (Editor)
Buy new from $46.72
eBook from $16.50
|
VHDL 101: Everything You Need...
William Kafig
Buy new from $39.98
eBook from $44.95
|
Formal Methods for Software...
Marco Bernardo (Editor),
Paola Inverardi (Editor)
Buy new from $46.30
eBook from $16.50
|
