The following text field will produce suggestions that follow it as you type.

Home

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

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

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

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

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

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

Barnes and Noble
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceed

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

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

Barnes and Noble
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures / Edition 1

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures / Edition 1

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

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

Barnes and Noble
Computer Supported Cooperative Work in Design II: 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / Edition 1

Computer Supported Cooperative Work in Design II: 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / Edition 1

Barnes and Noble
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / Edition 1

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / Edition 1

Barnes and Noble
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Barnes and Noble
STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings

STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings

Barnes and Noble
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Barnes and Noble
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings / Edition 1

Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings / Edition 1

Barnes and Noble
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Barnes and Noble
Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / Edition 1

Computational Learning Theory: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / Edition 1

Barnes and Noble
Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / Edition 1

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / Edition 1

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

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

Barnes and Noble
Powered by Adeptmind