1- 20 of 106 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: 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: 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: 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: 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
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
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: Extensions of First-Order Logic, Author: Maria Manzano
QUICK ADD
Extensions of First-Order…
by Maria Manzano
#19 in Series
Paperback $91.00

Pagination Links