Wishlist

Barnes and Noble

Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Real-Time Systems: Design and Applications

From Barnes and Noble

Barnes and Noble

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lï¿½beck, Germany, February 27 - March 1, 1997 Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Computer Aided Systems Theory - EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

From Barnes and Noble

Barnes and Noble

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1

From Barnes and Noble

Barnes and Noble

Real-Time and Distributed Real-Time Systems: Theory and Applications / Edition 1

From Barnes and Noble

Barnes and Noble

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

From Barnes and Noble

Barnes and Noble

STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings

From Barnes and Noble

Barnes and Noble

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceeding / Edition 1

From Barnes and Noble

Barnes and Noble

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1

From Barnes and Noble

Barnes and Noble

Concurrent and Real-time Systems: The CSP Approach / Edition 1

From Barnes and Noble

Home

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Edition 1

You May Also Like

Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings / Edition 1

Real-Time Systems: Design and Applications

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lï¿½beck, Germany, February 27 - March 1, 1997 Proceedings / Edition 1

Computer Aided Systems Theory - EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings / Edition 1

Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / Edition 1

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / Edition 1

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / Edition 1

Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1

Real-Time and Distributed Real-Time Systems: Theory and Applications / Edition 1

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings / Edition 1

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceeding / Edition 1

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / Edition 1

Concurrent and Real-time Systems: The CSP Approach / Edition 1