741- 760 of 1643 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Symbolic Rewriting Techniques, Author: Manuel Bronstein
QUICK ADD
Symbolic Rewriting Techniques
by Manuel Bronstein (Editor), Johannes Grabmeier (Editor), Volker Weispfenning (Editor)
#15 in Series
Paperback $54.99
Title: Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings, Author: Oded Maler
QUICK ADD
Hybrid and Real-Time Systems:…
by Oded Maler (Editor)
#1201 in Series
Paperback $54.99
Title: Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems, Author: Heinrich Rust
QUICK ADD
Operational Semantics for…
by Heinrich Rust
#3456 in Series
Paperback $54.99
Title: Game-Theoretic Learning and Distributed Optimization in Memoryless Multi-Agent Systems, Author: Tatiana Tatarenko
QUICK ADD
Game-Theoretic Learning and…
by Tatiana Tatarenko
Hardcover $54.99
Title: Computer Aided Proofs in Analysis, Author: Kenneth R. Meyer
QUICK ADD
Computer Aided Proofs in…
by Kenneth R. Meyer (Editor), Dieter S. Schmidt (Editor)
#28 in Series
Paperback $54.99
Title: Visualization and Mathematics: Experiments, Simulations and Environments, Author: H.-C. Hege
QUICK ADD
Visualization and Mathematics:…
by H.-C. Hege (Editor), K. Polthier (Editor)
Paperback $54.99
Title: Programmers and Managers: The Routinization of Computer Programming in the United States, Author: P. Kraft
QUICK ADD
Programmers and Managers: The…
by P. Kraft
Explore Series
Paperback $54.99
Title: Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Software…
by Marco Bernardo (Editor), Paola Inverardi (Editor)
#2804 in Series
Paperback $54.99
Title: Transactions on Rough Sets III, Author: James F. Peters
QUICK ADD
Transactions on Rough Sets III
by James F. Peters (Editor), Andrzej Skowron (Editor)
#3400 in Series
Paperback $54.99
Title: Autonomous Dynamic Reconfiguration in Multi-Agent Systems: Improving the Quality and Efficiency of Collaborative Problem Solving, Author: Markus Hannebauer
QUICK ADD
Autonomous Dynamic…
by Markus Hannebauer
#2427 in Series
Paperback $54.99
Title: Fundamentals of Computation Theory: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings, Author: Zoltan Esik
QUICK ADD
Fundamentals of Computation…
by Zoltan Esik (Editor)
#710 in Series
Paperback $54.99
Title: Handbook of Logic and Proof Techniques for Computer Science, Author: Steven G. Krantz
QUICK ADD
Handbook of Logic and Proof…
by Steven G. Krantz
Hardcover $54.99
Title: ATL Internals: Working with ATL 8, Author: Chris Sells
QUICK ADD
ATL Internals: Working with…
by Chris Sells, Kirk Fertitta, Christopher Tavares, Brent Rector
Explore Series
eBook $54.99
Title: Process Control Systems: Principles of design, operation and interfacing, Author: F. Jovic
QUICK ADD
Process Control Systems:…
by F. Jovic
Paperback $54.99
Title: Numerical Techniques for Chemical and Biological Engineers Using MATLAB®: A Simple Bifurcation Approach, Author: Said S.E.H. Elnashaie
QUICK ADD
Numerical Techniques for…
by Said S.E.H. Elnashaie, Frank Uhlig
Hardcover $54.99
Title: API Management: An Architect's Guide to Developing and Managing APIs for Your Organization, Author: Brajesh De
QUICK ADD
API Management: An Architect's…
by Brajesh De
Paperback $54.99
Title: Digital Picture Analysis, Author: A. Rosenfeld
QUICK ADD
Digital Picture Analysis
by A. Rosenfeld (Editor), S.J. Dwyer (Contribution by), R.M. Haralick (Contribution by), C.A. Harlow (Contribution by), G. Lodwick (Contribution by)
#11 in Series
Paperback $54.99
Title: Big Data Analytics Using Splunk: Deriving Operational Intelligence from Social Media, Machine Data, Existing Data Warehouses, and Other Real-Time Streaming Sources, Author: Peter Zadrozny
QUICK ADD
Big Data Analytics Using…
by Peter Zadrozny, Raghu Kodali
eBook $54.99
Title: Fundamentals of Computation Theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings, Author: Lothar Budach
QUICK ADD
Fundamentals of Computation…
by Lothar Budach (Editor)
#529 in Series
Paperback $54.99
Title: Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings, Author: Mathai Joseph
QUICK ADD
Formal Techniques in Real-Time…
by Mathai Joseph (Editor)
#1926 in Series
Paperback $54.99

Pagination Links