41- 60 of 268 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, Author: Atsushi Ohori
QUICK ADD
Programming Languages and…
by Atsushi Ohori (Editor)
#2895 in Series
Paperback $54.99
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings, Author: Baudouin LeCharlier
QUICK ADD
Static Analysis: First…
by Baudouin LeCharlier (Editor)
#864 in Series
Paperback $54.99
Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
QUICK ADD
Isomorphisms of Types: from…
by Roberto DiCosmo
Explore 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 (Editor)
#11893 in Series
Paperback $54.99
Title: Introducing Delphi ORM: Object Relational Mapping Using TMS Aurelius, Author: John Kouraklis
QUICK ADD
Introducing Delphi ORM: Object…
by John Kouraklis
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
QUICK ADD
Reliable Software Technologies…
by Marko Bertogna (Editor), Luís Miguel Pinho (Editor), Eduardo Quiñones (Editor)
#9695 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni (Editor), Ulle Endriss (Editor)
#4327 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods for Industrial…
by Maurice H. ter Beek (Editor), Dejan Nickovic (Editor)
#12327 in Series
Paperback $54.99
Title: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, Author: Naoki Kobayashi
QUICK ADD
Programming Languages and…
by Naoki Kobayashi (Editor)
#4279 in Series
Paperback $54.99
Title: Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, Author: Pierre-François Dutot
QUICK ADD
Euro-Par 2016: Parallel…
by Pierre-François Dutot (Editor), Denis Trystram (Editor)
#9833 in Series
Paperback $54.99
Title: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, Author: Mooly Sagiv
QUICK ADD
Programming Languages and…
by Mooly Sagiv (Editor)
#3444 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni (Editor), Tran Cao Son (Editor), M. Birna van Riemsdijk (Editor), Michael Winikoff (Editor)
#4897 in Series
Paperback $54.99
Title: Programming Languages and Systems: 12th European Symposium on Programming, ESOP 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: Pierpaolo Degano
QUICK ADD
Programming Languages and…
by Pierpaolo Degano (Editor)
#2618 in Series
Paperback $54.99
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings, Author: Jens Palsberg
QUICK ADD
Static Analysis: 7th…
by Jens Palsberg (Editor)
#1824 in Series
Paperback $54.99
Title: Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings, Author: Sophia Drossopoulou
QUICK ADD
Programming Languages and…
by Sophia Drossopoulou (Editor)
#4960 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers, Author: Santosh Pande
QUICK ADD
Languages and Compilers for…
by Santosh Pande (Editor), Vivek Sarkar (Editor)
#11998 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 (Editor), Cristina Seceleanu (Editor), Ana Cavalcanti (Editor)
#10471 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Formal Methods for Industrial…
by Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)
#11687 in Series
Paperback $54.99
Title: Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings, Author: Pierre Cointe
QUICK ADD
Meta-Level Architectures and…
by Pierre Cointe (Editor)
#1616 in Series
Paperback $54.99
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings, Author: Patrick Cousot
QUICK ADD
Static Analysis: Third…
by Patrick Cousot (Editor), Moreno Falaschi (Editor), Gilberto File (Editor), Antoine Rauzy (Editor)
#724 in Series
Paperback $54.99

Pagination Links