Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy new from $93.93
eBook from $26.70
|
Serverless Architectures with...
Mohit Gupta
Buy new from $28.33
eBook from $24.99
|
Formal Methods: Foundations...
Tiago Massoni (Editor),
Mohammad Reza Mousavi (Editor)
Buy new from $61.05
eBook from $19.50
|
Theoretical Aspects of...
Bernd Fischer (Editor),
Tarmo Uustalu (Editor)
Buy new from $84.53
eBook from $27.00
|
Rewriting Logic and Its...
Vlad Rusu (Editor)
Buy new from $51.65
eBook from $16.50
|
Concurrent Patterns and Best...
Atul S. Khot
Buy new from $37.78
eBook from $33.99
|
Hands-On Reactive Programming...
Rahul Sharma
Buy new from $37.78
eBook from $33.99
|
Java EE 8 Design Patterns and...
Rhuan Rocha,
João Purificação
Buy new from $42.08
eBook from $37.99
|
Hands-On Microservices with C...
Matt R. Cole
Buy new from $42.08
eBook from $39.99
|
Model Checking Software: 25th...
María del Mar Gallardo (Editor),
Pedro Merino (Editor)
Buy new from $51.65
eBook from $16.50
|
Abstract State Machines,...
Michael Butler (Editor),
Alexander Raschke (Editor)
Buy new from $51.65
eBook from $16.50
|
Logic And Language Models For...
Dana Richards,
Henry Hamburger
Buy new from $79.90
eBook from $46.00
|
Topics in Theoretical...
Mohammad Reza Mousavi (Editor),
Ji í Sgall (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods and Software...
Zhenhua Duan (Editor),
Luke Ong (Editor)
Buy new from $51.65
eBook from $16.50
|
Making Things Smart: Easy...
Gordon F Williams
Buy new from $21.42
eBook from $29.99
|
Static Analysis: 24th...
Francesco Ranzato (Editor)
Buy new from $51.65
eBook from $16.50
|
Critical Systems: Formal...
Laure Petrucci (Editor),
Cristina Seceleanu (Editor)
Buy new from $51.65
eBook from $16.50
|
Interactive Theorem Proving:...
Mauricio Ayala-Rincón (Editor),
César a Muñoz (Editor)
Buy new from $51.65
eBook from $16.50
|
Intelligent Computer...
Herman Geuvers (Editor),
Matthew England (Editor)
Buy new from $51.65
eBook from $16.50
|
High Performance Computing:...
Julian M Kunkel (Editor),
Rio Yokota (Editor)
Buy new from $51.65
eBook from $16.50
|
Deep Learning with Python: A...
Nikhil Ketkar
Buy new from $42.43
eBook from $24.00
|
Picturing Quantum Processes:...
Bob Coecke,
Aleks Kissinger
Buy new from $106.77
eBook from $93.60
|
Separation Logic for High...
Felix Winterstein
Buy new from $103.32
eBook from $38.70
|
Programming Languages and...
Hongseok Yang (Editor)
Buy new from $103.32
eBook from $29.70
|
