1- 20 of 111 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: 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, Author: Mads Dam
QUICK ADD
Analysis and Verification of…
by Mads Dam (Editor)
#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 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: Domain-Specific Modeling: Enabling Full Code Generation / Edition 1, Author: Steven Kelly
QUICK ADD
Domain-Specific Modeling:…
by Steven Kelly, Juha-Pekka Tolvanen
Explore Series
Paperback $136.95
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

Pagination Links