50% Off The Criterion Collection Shop Now
1- 20 of 31 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Edition 1, Author: Jerzy Tiuryn
QUICK ADD
Foundation of Software Science…
by Jerzy Tiuryn
#1784 in Series
Paperback $54.99
Title: Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'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: Maurice Nivat
QUICK ADD
Foundations of Software…
by Maurice Nivat
#1378 in Series
Paperback $54.99
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
QUICK ADD
Over-Constrained Systems /…
by Michael Jampel, Eugene Freuder, Michael Maher
#1106 in Series
Paperback $54.99
Title: Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / Edition 1, Author: Igor Walukiewicz
QUICK ADD
Foundations of Software…
by Igor Walukiewicz
#2987 in Series
Paperback $54.99
Title: Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings / Edition 1, Author: Luca Aceto
QUICK ADD
Foundations of Software…
by Luca Aceto, Anna Ingólfsdóttir
#3921 in Series
Paperback $54.99
Title: Statistical Network Analysis: Models, Issues, and New Directions: ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / Edition 1, Author: Edoardo M. Airoldi
QUICK ADD
Statistical Network Analysis:…
by Edoardo M. Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing
#4503 in Series
Paperback $54.99
Title: Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / Edition 1, Author: Helmut Seidl
QUICK ADD
Foundations of Software…
by Helmut Seidl
#4423 in Series
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
#6617 in Series
Paperback $54.99
Title: System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / Edition 1, Author: Daniel Amyot
QUICK ADD
System Analysis and Modeling:…
by Daniel Amyot, Alan W. Williams
#3319 in Series
Paperback $54.99
Title: Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceeding / Edition 1, Author: Wolfgang Thomas
QUICK ADD
Foundations of Software…
by Wolfgang Thomas
#1578 in Series
Paperback $54.99
Title: State Space and Unobserved Component Models: Theory and Applications, Author: Andrew Harvey
QUICK ADD
State Space and Unobserved…
by Andrew Harvey, Siem Jan Koopman, Neil Shephard
Paperback $62.99
Title: State Space and Unobserved Component Models: Theory and Applications, Author: Andrew Harvey
QUICK ADD
State Space and Unobserved…
by Andrew Harvey, Siem Jan Koopman, Neil Shephard
Hardcover $102.00
Title: Networks: From Biology to Theory / Edition 1, Author: Jianfeng Feng
QUICK ADD
Networks: From Biology to…
by Jianfeng Feng, Jürgen Jost, Minping Qian
Paperback $109.99
Title: Systems Analysis and Simulation I: Theory and Foundations / Edition 1, Author: Achim Sydow
QUICK ADD
Systems Analysis and…
by Achim Sydow, Spyros G. Tzafestas, Robert Vichnevetsky
#1 in Series
Paperback $109.99
Title: Dynamics of Complex Interacting Systems / Edition 1, Author: E. Goles
QUICK ADD
Dynamics of Complex…
by E. Goles, Servet Martínez
#2 in Series
Hardcover $109.99
Title: Robust Control of Linear Systems and Nonlinear Control: Proceedings of the International Symposium MTNS-89, Volume II / Edition 1, Author: M. A. Kaashoek
QUICK ADD
Robust Control of Linear…
by M. A. Kaashoek, J. H. van Schuppen, A. C. M. Ran
#4 in Series
Hardcover $109.99
Title: Systems Analysis and Simulation II: Applications Proceedings of the International Symposium held in Berlin, September 12-16, 1988 / Edition 1, Author: Achim Sydow
QUICK ADD
Systems Analysis and…
by Achim Sydow, Spyros G. Tzafestas, Robert Vichnevetsky
#2 in Series
Paperback $109.99
Title: Networks: From Biology to Theory / Edition 1, Author: Jianfeng Feng
QUICK ADD
Networks: From Biology to…
by Jianfeng Feng, Jürgen Jost, Minping Qian
Hardcover $109.99
Title: Complex Systems / Edition 1, Author: E. Goles
QUICK ADD
Complex Systems / Edition 1
by E. Goles, Servet Martínez
#6 in Series
Hardcover $109.99

Pagination Links