81- 95 of 95 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Numeric Computation and Statistical Data Analysis on the Java Platform, Author: Sergei V. Chekanov
QUICK ADD
Numeric Computation and…
by Sergei V. Chekanov
Explore Series
Paperback $119.99
Title: Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings / Edition 1, Author: Jïrg Gutknecht
QUICK ADD
Programming Languages and…
by Jïrg Gutknecht
#782 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: 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: 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: Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, Author: Xinyu Feng
QUICK ADD
Programming Languages and…
by Xinyu Feng, Sungwoo Park
#9458 in Series
Paperback $54.99
Title: Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / Edition 1, Author: David Schmidt
QUICK ADD
Programming Languages and…
by David Schmidt
#2986 in Series
Paperback $139.99
Title: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings / Edition 1, Author: Mooly Sagiv
QUICK ADD
Programming Languages and…
by Mooly Sagiv
#3444 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: Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Author: Anthony Widjaja Lin
QUICK ADD
Programming Languages and…
by Anthony Widjaja Lin
#11893 in Series
Paperback $54.99
Title: Theories of Programming Languages, Author: John C. Reynolds
QUICK ADD
Theories of Programming…
by John C. Reynolds
Paperback $77.99
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Languages:…
by Manuel Hermenegildo, S.Doaitse Swierstra
#982 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: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger
QUICK ADD
Languages and Compilers for…
by Lawrence Rauchwerger
#11403 in Series
Paperback $54.99

Pagination Links