21- 40 of 424 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: Transitions and Trees: An Introduction to Structural Operational Semantics, Author: Hans Hüttel
QUICK ADD
Transitions and Trees: An…
by Hans Hüttel
Paperback $91.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: 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: 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: 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: 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: 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: Genetic Programming: 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings, Author: Gisele Pappa
QUICK ADD
Genetic Programming: 26th…
by Gisele Pappa (Editor), Mario Giacobini (Editor), Zdenek Vasicek (Editor)
#13986 in Series
Paperback $84.99
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: 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: Mathematical Theory of Domains, Author: V. Stoltenberg-Hansen
QUICK ADD
Mathematical Theory of Domains
by V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor
#22 in Series
Paperback $83.00
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: Advanced R Statistical Programming and Data Models: Analysis, Machine Learning, and Visualization, Author: Matt Wiley
QUICK ADD
Advanced R Statistical…
by Matt Wiley, Joshua F. Wiley
Paperback $79.99

Pagination Links