21- 40 of 551 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification, Author: Zohar Manna
QUICK ADD
The Temporal Logic of Reactive…
by Zohar Manna, Amir Pnueli
Hardcover $119.99
Title: Handbook of Learning and Approximate Dynamic Programming, Author: Jennie Si
QUICK ADD
Handbook of Learning and…
by Jennie Si (Editor), Andrew G. Barto (Editor), Warren B. Powell (Editor), Don Wunsch (Editor)
#2 in Series
Hardcover $203.95
Title: Compact Data Structures: A Practical Approach, Author: Gonzalo Navarro
QUICK ADD
Compact Data Structures: A…
by Gonzalo Navarro
Hardcover $100.00
Title: Machine Vision Algorithms in Java: Techniques and Implementation, Author: Paul F. Whelan
QUICK ADD
Machine Vision Algorithms in…
by Paul F. Whelan, Derek Molloy
Hardcover $169.99
Title: Approximation Algorithms, Author: Vijay V. Vazirani
QUICK ADD
Approximation Algorithms
by Vijay V. Vazirani
Hardcover $99.99
Title: Answer Set Programming, Author: Vladimir Lifschitz
QUICK ADD
Answer Set Programming
by Vladimir Lifschitz
Hardcover $64.99
Title: Evolutionary Optimization in Dynamic Environments, Author: Jürgen Branke
QUICK ADD
Evolutionary Optimization in…
by Jürgen Branke
#3 in Series
Hardcover $219.99
Title: Multiple-Base Number System: Theory and Applications, Author: Vassil Dimitrov
QUICK ADD
Multiple-Base Number System:…
by Vassil Dimitrov, Graham Jullien, Roberto Muscedere
#2 in Series
Hardcover $290.00
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, Author: Yves Bertot
QUICK ADD
Interactive Theorem Proving…
by Yves Bertot, G. Huet (Foreword by), Pierre Castéran, C. Paulin-Mohring (Foreword by)
Explore Series
Hardcover $119.99
Title: Constraint Processing, Author: Rina Dechter
QUICK ADD
Constraint Processing
by Rina Dechter
Explore Series
Hardcover $106.00
Title: Beyond the Worst-Case Analysis of Algorithms, Author: Tim Roughgarden
QUICK ADD
Beyond the Worst-Case Analysis…
by Tim Roughgarden (Editor)
Hardcover $76.00
Title: Practical .NET for Financial Markets, Author: Vivek Shetty
QUICK ADD
Practical .NET for Financial…
by Vivek Shetty, Manish Jayaswal
Explore Series
Hardcover $89.99
Title: Simulation Algorithms for Computational Systems Biology, Author: Luca Marchetti
QUICK ADD
Simulation Algorithms for…
by Luca Marchetti, Corrado Priami, Vo Hong Thanh
Explore Series
Hardcover $69.99
Title: A Discipline of Multiprogramming: Programming Theory for Distributed Applications, Author: Jayadev Misra
QUICK ADD
A Discipline of…
by Jayadev Misra
Explore Series
Hardcover $54.99
Title: Objects and Systems: Principled Design with Implementations in C++ and Java, Author: Bernard P. Zeigler
QUICK ADD
Objects and Systems:…
by Bernard P. Zeigler
Explore Series
Hardcover $54.99
Title: New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, Volume 147 Frontiers in Artificial Intelligence and Applications, Author: Mohamed Mejri
QUICK ADD
New Trends in Software…
by Mohamed Mejri (Editor), M. Mejri (Editor), Mohamed Mejri
Explore Series
Hardcover $175.00
Title: Fundamentals of Complex Networks: Models, Structures and Dynamics, Author: Guanrong Chen
QUICK ADD
Fundamentals of Complex…
by Guanrong Chen, Xiaofan Wang, Xiang Li
Hardcover $139.95
Title: Introduction to Assembly Language Programming: For Pentium and RISC Processors, Author: Sivarama P. Dandamudi
QUICK ADD
Introduction to Assembly…
by Sivarama P. Dandamudi
Explore Series
Hardcover $99.99
Title: Mathematical Computing: An Introduction to Programming Using Maple®, Author: David Betounes
QUICK ADD
Mathematical Computing: An…
by David Betounes, Mylan Redfern
Hardcover $54.99
Title: Assembler: Grundlagen der PC-Programmierung, Author: Ernst-Wolfgang Dieterich
QUICK ADD
Assembler: Grundlagen der…
by Ernst-Wolfgang Dieterich
Hardcover $72.99

Pagination Links