1- 20 of 120 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
QUICK ADD
Practical Aspects of…
by Ekaterina Komendantskaya, Yanhong Annie Liu
#12007 in Series
Paperback $54.99
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
QUICK ADD
The Python Workbook: A Brief…
by Ben Stephenson
Explore Series
Hardcover $54.99
Title: Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / Edition 1, Author: Marcelo Arenas
QUICK ADD
Database Programming Languages…
by Marcelo Arenas, Michael I. Schwartzbach
#4797 in Series
Paperback $54.99
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Language…
by Manuel Hermenegildo, Jaan Penjam
#844 in Series
Paperback $54.99
Title: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
QUICK ADD
Euro-Par 2017: Parallel…
by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro
#10417 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: 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: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
QUICK ADD
Reasoning About Program…
by Jean-Francois Collard
Hardcover $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: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
QUICK ADD
Static Analysis: Third…
by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
#724 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, Denis Trystram
#9833 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: 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: New Trends in Formal Languages: Control, Cooperation, and Combinatorics / Edition 1, Author: Gheorghe Paun
QUICK ADD
New Trends in Formal Languages…
by Gheorghe Paun, Arto Salomaa
#1218 in Series
Paperback $54.99
Title: Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / Edition 1, Author: Kwangkeun Yi
QUICK ADD
Programming Languages and…
by Kwangkeun Yi
#3780 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: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
QUICK ADD
Static Analysis: Second…
by Alan Mycroft
#983 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: 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

Pagination Links