Title: Ubiquitous Mobile Information and Collaboration Systems: Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / Edition 1, Author: Luciano Baresi
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
Title: Tried and True Object Development: Industry-Proven Approaches with UML, Author: Ari Jaaksi
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
Title: Transactions on Modularity and Composition I, Author: Shigeru Chiba
Title: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
Title: Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies / Edition 1, Author: Springer Berlin Heidelberg
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
Title: Transactions on Aspect-Oriented Software Development V: Focus: Aspects, Dependencies and Interactions / Edition 1, Author: Springer Berlin Heidelberg
Title: Transactions on Aspect-Oriented Software Development IV: Focus: Early Aspects and Aspects of Software Evolution / Edition 1, Author: Awais Rashid
Title: Transactions on Aspect-Oriented Software Development II: Focus: AOP Systems, Software and Middleware / Edition 1, Author: Awais Rashid
Title: Tools for Working with Guidelines: Annual Meeting of the Special Interest Group / Edition 1, Author: Jean Vanderdonckt
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. / Edition 1, Author: Tiziana Margaria
Title: 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, Author: Ed Brinksma
Title: Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Edition 1, Author: Hubert Garavel
Title: 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 Proceedings / Edition 1, Author: Tiziana Margaria
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'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: Bernhard Steffen
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding / Edition 1, Author: Orna Grumberg

Pagination Links