281- 300 of 6114 results
Grid View Grid
List View List
Grid View Grid
List View List
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
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria, Bernhard Steffen
#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 / Edition 1, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
#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 / Edition 1, Author: Hubert Garavel
QUICK ADD
Tools and Algorithms for the…
by Hubert Garavel, John Hatcliff
#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 / Edition 1, Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria, Wang Yi
#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 / Edition 1, Author: Bernhard Steffen
QUICK ADD
Tools and Algorithms for the…
by Bernhard Steffen
#1384 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 / Edition 1, Author: Orna Grumberg
QUICK ADD
Tools and Algorithms for the…
by Orna Grumberg, Michael Huth
#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 / Edition 1, Author: Nicolas Halbwachs
QUICK ADD
Tools and Algorithms for the…
by Nicolas Halbwachs, Lenore Zuck
#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 / Edition 1, Author: Kurt Jensen
QUICK ADD
Tools and Algorithms for the…
by Kurt Jensen, Andreas Podelski
#2988 in Series
Paperback $109.99
Title: Toad Pocket Reference for Oracle: Toad Tips and Tricks, Author: Jeff Smith
QUICK ADD
Toad Pocket Reference for…
by Jeff Smith, Patrick McGrath, Bert Scalzo
Explore Series
Paperback $9.95
Title: To Hire or Not To Hire?, Author: Konstantin Borisov
QUICK ADD
To Hire or Not To Hire?
by Konstantin Borisov
eBook FREE
Title: tmux Taster / Edition 1, Author: Mark McDonnell
QUICK ADD
tmux Taster / Edition 1
by Mark McDonnell
Paperback $27.99
Title: tmux Taster, Author: Mark McDonnell
QUICK ADD
tmux Taster
by Mark McDonnell
eBook $24.99
Title: Think Like a Software Engineering Manager, Author: Akanksha Gupta
QUICK ADD
Think Like a Software…
by Akanksha Gupta
Paperback $49.99
Title: Think Like a Software Engineering Manager, Author: Akanksha Gupta
QUICK ADD
Think Like a Software…
by Akanksha Gupta
eBook $36.99
Title: Think Julia: How to Think Like a Computer Scientist, Author: Ben Lauwens
QUICK ADD
Think Julia: How to Think Like…
by Ben Lauwens, Allen Downey
Paperback $55.99
Title: Think Julia: How to Think Like a Computer Scientist, Author: Ben Lauwens
QUICK ADD
Think Julia: How to Think Like…
by Ben Lauwens, Allen B. Downey
eBook $47.99

Pagination Links