21- 40 of 187 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Program Proofs, Author: K. Rustan M. Leino
QUICK ADD
Program Proofs
by K. Rustan M. Leino, Kaleb Leino (Illustrator)
Paperback $70.00
Title: Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back, Author: Carlos Martin-Vide
QUICK ADD
Grammars and Automata for…
by Carlos Martin-Vide (Editor), Victor Mitrana (Editor)
Explore Series
Paperback $55.99
Title: Practical MATLAB Modeling with Simulink: Programming and Simulating Ordinary and Partial Differential Equations, Author: Sulaymon L. Eshkabilov
QUICK ADD
Practical MATLAB Modeling with…
by Sulaymon L. Eshkabilov
Paperback $69.99
Title: Haskell in Depth, Author: Vitaly Bragilevsky
QUICK ADD
Haskell in Depth
by Vitaly Bragilevsky
Paperback $59.99
Title: Beginning Ada Programming: From Novice to Professional, Author: Andrew T. Shvets
QUICK ADD
Beginning Ada Programming:…
by Andrew T. Shvets
Paperback $54.99
Title: Biostatistics with R: An Introduction to Statistics Through Biological Data / Edition 1, Author: Babak Shahbaba
QUICK ADD
Biostatistics with R: An…
by Babak Shahbaba
Explore Series
Paperback $89.99
Title: C++20 Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library, Author: Mikael Olsson
QUICK ADD
C++20 Quick Syntax Reference:…
by Mikael Olsson
Paperback $59.99
Title: Advanced Topics in Types and Programming Languages, Author: Benjamin C. Pierce
QUICK ADD
Advanced Topics in Types and…
by Benjamin C. Pierce (Editor)
Paperback $85.00
Title: Julia Quick Syntax Reference: A Pocket Guide for Data Science Programming, Author: Antonello Lobianco
QUICK ADD
Julia Quick Syntax Reference:…
by Antonello Lobianco
Paperback $54.99
Title: Functional and Concurrent Programming: Core Concepts and Features, Author: Michel Charpentier
QUICK ADD
Functional and Concurrent…
by Michel Charpentier
Paperback $79.79
Title: Introducing Qt 6: Learn to Build Fun Apps & Games for Mobile & Desktop in C++, Author: Ben Coepp
QUICK ADD
Introducing Qt 6: Learn to…
by Ben Coepp
Paperback $64.99
Title: Agile Artificial Intelligence in Pharo: Implementing Neural Networks, Genetic Algorithms, and Neuroevolution, Author: Alexandre Bergel
QUICK ADD
Agile Artificial Intelligence…
by Alexandre Bergel
Paperback $64.99
Title: Learning IoT with Python and Raspberry Pi, Author: E.I. Horvath
QUICK ADD
Learning IoT with Python and…
by E.I. Horvath, E.A. Horvath
Paperback $124.95
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
QUICK ADD
Accelerator Programming Using…
by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
#11381 in Series
Paperback $54.99
Title: Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings, Author: Giorgio Levi
QUICK ADD
Static Analysis: 5th…
by Giorgio Levi (Editor)
#1503 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Edition 1, Author: Joao Leite
QUICK ADD
Declarative Agent Languages…
by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
#2990 in Series
Paperback $54.99
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Chris Hankin
QUICK ADD
Programming Languages and…
by Chris Hankin
#1381 in Series
Paperback $54.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: Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings / Edition 1, Author: Rocco De Nicola
QUICK ADD
Programming Languages and…
by Rocco De Nicola
#4421 in Series
Paperback $109.99
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
QUICK ADD
Languages, Compilers, and…
by Jack Davidson (Editor), Sang Lyul Min (Editor)
#1985 in Series
Paperback $54.99

Pagination Links