Premium Members Get 10% Off and Earn Rewards Find Out More
1- 20 of 185 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Database Programming Languages: 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 / Edition 1, Author: Sophie Cluet
QUICK ADD
Database Programming Languages…
by Sophie Cluet, Rick Hull
#1369 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: Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers, Author: James Brodman
QUICK ADD
Languages and Compilers for…
by James Brodman, Peng Tu
#8967 in Series
Paperback $54.99
Title: Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, Author: Jesper Larsson Trïff
QUICK ADD
Euro-Par 2015: Parallel…
by Jesper Larsson Trïff, Sascha Hunold, Francesco Versaci
#9233 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: Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings / Edition 1, Author: Herbert Kuchen
QUICK ADD
Programming Languages:…
by Herbert Kuchen, S.Doaitse Swierstra
#1140 in Series
Paperback $54.99
Title: Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers / Edition 1, Author: Rudolf Eigenmann
QUICK ADD
Languages and Compilers for…
by Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff
#3602 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / Edition 1, Author: João Leite
QUICK ADD
Declarative Agent Languages…
by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
#3476 in Series
Paperback $54.99
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / Edition 1, Author: Hanspeter Mïssenbïck
QUICK ADD
Modular Programming Languages:…
by Hanspeter Mïssenbïck
#1204 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 Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
QUICK ADD
Programming Language…
by Pierre Deransart (Editor), Jan Maluszynski (Editor)
#456 in Series
Paperback $54.99
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'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: Chris Hankin
QUICK ADD
Programming Languages and…
by Chris Hankin
#1381 in Series
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, Luís Miguel Pinho, Eduardo Quiñones
#9695 in Series
Paperback $54.99
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
#3904 in Series
Paperback $54.99
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
QUICK ADD
Programming Language…
by Jan Maluszynski, Martin Wirsing
#528 in Series
Paperback $54.99
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
QUICK ADD
Static Analysis: 11th…
by Roberto Giacobazzi
#3148 in Series
Paperback $54.99
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
QUICK ADD
Principles of Modeling: Essays…
by Marten Lohstroh, Patricia Derler, Marjan Sirjani
#10760 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 / Edition 1, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni, Ulle Endriss
#4327 in Series
Paperback $54.99
Title: Fundamentals of Programming Languages, Author: E. Horowitz
QUICK ADD
Fundamentals of Programming…
by E. Horowitz
Paperback $54.99

Pagination Links