1- 20 of 95 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Static Analysis: 10th…
by Radhia Cousot
#2694 in Series
Paperback $54.99
Title: Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / Edition 1, Author: G. Ramalingam
QUICK ADD
Programming Languages and…
by G. Ramalingam
#5356 in Series
Paperback $54.99
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Edition 1, Author: Patrick Cousot
QUICK ADD
Static Analysis: 8th…
by Patrick Cousot
#2126 in Series
Paperback $54.99
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
QUICK ADD
The Denotational Description…
by M.J.C. Gordon
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / Edition 1, Author: José Nelson Amaral
QUICK ADD
Languages and Compilers for…
by José Nelson Amaral
#5335 in Series
Paperback $54.99
Title: Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�ping, Sweden, April, 22 - 24, 1996. Proceedings / Edition 1, Author: Hanne R. Nielson
QUICK ADD
Programming Languages and…
by Hanne R. Nielson
#1058 in Series
Paperback $54.99
Title: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / Edition 1, Author: Peter Sestoft
QUICK ADD
Programming Languages and…
by Peter Sestoft
#3924 in Series
Paperback $54.99
Title: Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Edition 1, Author: Atsushi Ohori
QUICK ADD
Programming Languages and…
by Atsushi Ohori
#2895 in Series
Paperback $54.99
Title: Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Peter Thiemann
QUICK ADD
Programming Languages and…
by Peter Thiemann
#9632 in Series
Paperback $54.99
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
QUICK ADD
Critical Systems: Formal…
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
#10471 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Automated Technology for…
by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
#9364 in Series
Paperback $54.99
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
QUICK ADD
Programming Languages and…
by Sukyoung Ryu
#11275 in Series
Paperback $54.99
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Static Analysis: Third…
by Radhia Cousot, David A. Schmidt
#1145 in Series
Paperback $54.99
Title: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, Author: Yuliya Lierler
QUICK ADD
Practical Aspects of…
by Yuliya Lierler, Walid Taha
#10137 in Series
Paperback $54.99
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / Edition 1, Author: Lïszlï Bïszïrmïnyi
QUICK ADD
Modular Programming Languages:…
by Lïszlï Bïszïrmïnyi, Peter Schojer
#2789 in Series
Paperback $54.99
Title: Database Programming Languages: 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers / Edition 1, Author: Gavin Bierman
QUICK ADD
Database Programming Languages…
by Gavin Bierman, Christoph Koch
#3774 in Series
Paperback $54.99
Title: Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Author: Anthony Widjaja Lin
QUICK ADD
Programming Languages and…
by Anthony Widjaja Lin
#11893 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers, Author: Xipeng Shen
QUICK ADD
Languages and Compilers for…
by Xipeng Shen, Frank Mueller, James Tuck
#9519 in Series
Paperback $54.99
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
QUICK ADD
Static Analysis: First…
by Baudouin LeCharlier
#864 in Series
Paperback $54.99
Title: Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Author: Josï Jïlio Alferes
QUICK ADD
Practical Aspects of…
by Josï Jïlio Alferes, Moa Johansson
#11372 in Series
Paperback $54.99

Pagination Links