1- 20 of 40 results
Grid View Grid
List View List
Grid View Grid
List View List
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 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: Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, Author: Furio Honsell
QUICK ADD
Foundations of Software…
by Furio Honsell (Editor), Marino Miculan (Editor)
#2030 in Series
Paperback $54.99
Title: Dynamical Systems, Control, Coding, Computer Vision: New Trends, Interfaces, and Interplay, Author: Giorgio Picci
QUICK ADD
Dynamical Systems, Control,…
by Giorgio Picci (Editor), D.S. Gilliam (Editor)
#25 in Series
Paperback $54.99
Title: Systems Science: Addressing Global Issues, Author: Frank A. Stowell
QUICK ADD
Systems Science: Addressing…
by Frank A. Stowell, Daune West, James G. Howell
Paperback $54.99
Title: Synergy Matters: Working with Systems in the 21st Century, Author: Adrian M. Castell
QUICK ADD
Synergy Matters: Working with…
by Adrian M. Castell (Editor), Amanda J. Gregory (Editor), Giles A. Hindle (Editor), Mathew E. James (Editor), Gillian Ragsdell (Editor)
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: 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: System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, Author: Reinhard Gotzhein
QUICK ADD
System Analysis and Modeling:…
by Reinhard Gotzhein (Editor), Rick Reed (Editor)
#4320 in Series
Paperback $54.99
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
QUICK ADD
Static Analysis: 6th…
by Agostino Cortesi (Editor), Gilberto File (Editor)
#1694 in Series
Paperback $54.99
Title: User-Oriented Methodology and Techniques of Decision Analysis and Support: Proceedings of the International IIASA Workshop Held in Serock, Poland, September 9-13, 1991, Author: Jaap Wessels
QUICK ADD
User-Oriented Methodology and…
by Jaap Wessels (Editor), Andrzej P. Wierzbicki (Editor)
#397 in Series
Paperback $54.99
Title: Topics in Operator Theory Systems and Networks: Workshop on Applications of Linear Operator Theory to Systems and Networks, Rehovot (Israel), June 13-16, 1983, Author: Dym
QUICK ADD
Topics in Operator Theory…
by Dym, Gohberg
#12 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: Systems Thinking in Europe, Author: R.B. Blackham
QUICK ADD
Systems Thinking in Europe
by R.B. Blackham (Editor), Robert L. Flood (Editor), Michael C. Jackson (Editor), G.J. Mansell (Editor), S.V.E. Probert (Editor)
Paperback $54.99
Title: Analysis of Controlled Dynamical Systems: Proceedings of a Conference held in Lyon, France, July 1990, Author: B. Bonnard
QUICK ADD
Analysis of Controlled…
by B. Bonnard (Editor), B. Bride (Editor), J.P. Gauthier (Editor), I. Kupka (Editor)
#8 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: Automating Systems Development, Author: David R. Benyon
QUICK ADD
Automating Systems Development
by David R. Benyon (Editor), Steve Skidmore (Editor)
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: 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: Earth System Analysis: Integrating Science for Sustainability, Author: Hans-Joachim Schellnhuber
QUICK ADD
Earth System Analysis:…
by Hans-Joachim Schellnhuber (Editor), Volker Wenzel (Editor)
Paperback $54.99

Pagination Links