21- 40 of 258 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Paperback $99.00
Title: QED at Large: A Survey of Engineering of Formally Verified Software, Author: Talia Ringer
QUICK ADD
QED at Large: A Survey of…
by Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
#13 in Series
Paperback $99.00
Title: Extensions of First-Order Logic, Author: Maria Manzano
QUICK ADD
Extensions of First-Order…
by Maria Manzano
#19 in Series
Paperback $91.00
Title: Biostatistics with R: An Introduction to Statistics Through Biological Data, Author: Babak Shahbaba
QUICK ADD
Biostatistics with R: An…
by Babak Shahbaba
Explore Series
Paperback $89.99
Title: Java 23 for Absolute Beginners: Learn the Fundamentals of Java Programming, Author: Iuliana Cosmina
QUICK ADD
Java 23 for Absolute Beginners…
by Iuliana Cosmina
Paperback $89.99
Title: Programming Language Pragmatics, Author: Michael L. Scott
QUICK ADD
Programming Language…
by Michael L. Scott
Paperback $89.95
Title: The Pi-Calculus: A Theory of Mobile Processes, Author: Davide Sangiorgi
QUICK ADD
The Pi-Calculus: A Theory of…
by Davide Sangiorgi, David Walker
Paperback $85.00
Title: The Description Logic Handbook: Theory, Implementation and Applications, Author: Franz Baader
QUICK ADD
The Description Logic Handbook…
by Franz Baader (Editor), Diego Calvanese (Editor), Deborah L. McGuinness (Editor), Daniele Nardi (Editor), Peter F. Patel-Schneider (Editor)
Paperback $85.00
Title: Methods in Medical Informatics: Fundamentals of Healthcare Programming in Perl, Python, and Ruby, Author: Jules J. Berman
QUICK ADD
Methods in Medical Informatics…
by Jules J. Berman
Explore Series
Paperback $84.99
Title: Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, Author: Hakjoo Oh
QUICK ADD
Programming Languages and…
by Hakjoo Oh (Editor)
#13008 in Series
Paperback $84.99
Title: Exploring C++20: The Programmer's Introduction to C++, Author: Ray Lischner
QUICK ADD
Exploring C++20: The…
by Ray Lischner
Paperback $84.99
Title: Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings, Author: Michael Hanus
QUICK ADD
Practical Aspects of…
by Michael Hanus (Editor), Daniela Inclezan (Editor)
#13880 in Series
Paperback $84.99
Title: Learn R: As a Language, Author: Pedro J. Aphalo
QUICK ADD
Learn R: As a Language
by Pedro J. Aphalo
Explore Series
Paperback $84.99
Title: Theories of Programming Languages, Author: John C. Reynolds
QUICK ADD
Theories of Programming…
by John C. Reynolds
Paperback $83.00
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
QUICK ADD
Introduction to Concurrency in…
by Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen
Paperback $82.99
Title: Programming Rust: Fast, Safe Systems Development, Author: Jim Blandy
QUICK ADD
Programming Rust: Fast, Safe…
by Jim Blandy, Jason Orendorff, Leonora F. S. Tindall
Paperback $79.99
Title: Go Cookbook: Expert Solutions for Commonly Needed Go Tasks, Author: Sau Sheong Chang
QUICK ADD
Go Cookbook: Expert Solutions…
by Sau Sheong Chang
Paperback $79.99
Title: Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, Author: Jan Friso Groote
QUICK ADD
Formal Methods for Industrial…
by Jan Friso Groote (Editor), Marieke Huisman (Editor)
#13487 in Series
Paperback $79.99
Title: Practical Numerical C Programming: Finance, Engineering, and Physics Applications, Author: Philip Joyce
QUICK ADD
Practical Numerical C…
by Philip Joyce
Paperback $79.99
Title: Parallel C++: Efficient and Scalable High-Performance Parallel Programming Using HPX, Author: Patrick Diehl
QUICK ADD
Parallel C++: Efficient and…
by Patrick Diehl, Steven R. Brandt, Hartmut Kaiser
Paperback $79.99

Pagination Links