1- 20 of 134 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: 21st Century RPG: /Free, ILE, and MVC, Author: David Shirey
QUICK ADD
21st Century RPG: /Free, ILE,…
by David Shirey
Paperback $69.95
Title: A Practical Approach to Compiler Construction, Author: Des Watson
QUICK ADD
A Practical Approach to…
by Des Watson
Explore Series
Paperback $49.99
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
QUICK ADD
Accelerator Programming Using…
by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
#11381 in Series
Paperback $54.99
Title: An Introduction to Fortran 90 for Scientific Computing / Edition 1, Author: James M. Ortega
QUICK ADD
An Introduction to Fortran 90…
by James M. Ortega
Hardcover $225.00
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / Edition 1, Author: Mads Dam
QUICK ADD
Analysis and Verification of…
by Mads Dam
#1192 in Series
Paperback $54.99
Title: Answer Set Programming, Author: Vladimir Lifschitz
QUICK ADD
Answer Set Programming
by Vladimir Lifschitz
Hardcover $64.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: Basic Simple Type Theory, Author: J. Roger Hindley
QUICK ADD
Basic Simple Type Theory
by J. Roger Hindley
#42 in Series
Hardcover $134.00
Title: Biostatistics for Epidemiology and Public Health Using R / Edition 1, Author: Bertram K.C. Chan PhD
QUICK ADD
Biostatistics for Epidemiology…
by Bertram K.C. Chan PhD
Paperback $105.00
Title: Biostatistics with R: An Introduction to Statistics Through Biological Data / Edition 1, Author: Babak Shahbaba
QUICK ADD
Biostatistics with R: An…
by Babak Shahbaba
Explore Series
Paperback $89.99
Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges
QUICK ADD
Build Your Own .NET Language…
by Edward G. Nilges
Explore Series
Paperback $59.99
Title: Call-By-Push-Value: A Functional/Imperative Synthesis / Edition 1, Author: P.B. Levy
QUICK ADD
Call-By-Push-Value: A…
by P.B. Levy
#2 in Series
Hardcover $199.99
Title: Concepts in Programming Languages / Edition 1, Author: John C. Mitchell
QUICK ADD
Concepts in Programming…
by John C. Mitchell
Hardcover $116.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Paperback $99.00
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: 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: 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: Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / Edition 1, Author: Georg Lausen
QUICK ADD
Database Programming Languages…
by Georg Lausen, Dan Suciu
#2921 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: 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

Pagination Links