441- 460 of 8643 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers, Author: Vladimir Itsykson
QUICK ADD
Tools and Methods of Program…
by Vladimir Itsykson (Editor), Andre Scedrov (Editor), Victor Zakharov (Editor)
#779 in Series
Paperback $54.99
Title: Tools and Environments for Parallel and Distributed Systems, Author: Amr Zaky
QUICK ADD
Tools and Environments for…
by Amr Zaky (Editor), Ted Lewis (Editor)
#2 in Series
Paperback $169.99
Title: Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedin, Author: W. Rance Cleaveland
QUICK ADD
Tools and Algorithms for the…
by W. Rance Cleaveland (Editor)
#1579 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma (Editor)
#1217 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings., Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#1055 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma (Editor), W. Rance Cleaveland (Editor), Kim G. Larsen (Editor), Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#1019 in Series
Paperback $54.99
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, Author: Hubert Garavel
QUICK ADD
Tools and Algorithms for the…
by Hubert Garavel (Editor), John Hatcliff (Editor)
#2619 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings, Author: Joost-Pieter Katoen
QUICK ADD
Tools and Algorithms for the…
by Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)
#2280 in Series
Paperback $54.99
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, Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria (Editor), Wang Yi (Editor)
#2031 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 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, Author: Susanne Graf
QUICK ADD
Tools and Algorithms for the…
by Susanne Graf (Editor), Michael Schwartzbach (Editor)
#1785 in Series
Paperback $109.99
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, Author: Bernhard Steffen
QUICK ADD
Tools and Algorithms for the…
by Bernhard Steffen (Editor)
#1384 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, P, Author: Armin Biere
QUICK ADD
Tools and Algorithms for the…
by Armin Biere (Editor), David Parker (Editor)
#12079 in Series
Paperback $44.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proce, Author: Cormac Flanagan
QUICK ADD
Tools and Algorithms for the…
by Cormac Flanagan (Editor), Barbara König (Editor)
#7214 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings, Author: Javier Esparza
QUICK ADD
Tools and Algorithms for the…
by Javier Esparza (Editor), Rupak Majumdar (Editor)
#6015 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings, Author: Stefan Kowalewski
QUICK ADD
Tools and Algorithms for the…
by Stefan Kowalewski (Editor), Anna Philippou (Editor)
#5505 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed, Author: C.R. Ramakrishnan
QUICK ADD
Tools and Algorithms for the…
by C.R. Ramakrishnan (Editor), Jakob Rehof (Editor)
#4963 in Series
Paperback $54.99
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, Author: Orna Grumberg
QUICK ADD
Tools and Algorithms for the…
by Orna Grumberg (Editor), Michael Huth (Editor)
#4424 in Series
Paperback $109.99
Title: 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, Author: Holger Hermanns
QUICK ADD
Tools and Algorithms for the…
by Holger Hermanns (Editor), Jens Palsberg (Editor)
#3920 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, Author: Nicolas Halbwachs
QUICK ADD
Tools and Algorithms for the…
by Nicolas Halbwachs (Editor), Lenore Zuck (Editor)
#3440 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee, Author: Kurt Jensen
QUICK ADD
Tools and Algorithms for the…
by Kurt Jensen (Editor), Andreas Podelski (Editor)
#2988 in Series
Paperback $109.99

Pagination Links