1- 20 of 120 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Edition 1, Author: Joao Leite
QUICK ADD
Declarative Agent Languages…
by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
#2990 in Series
Paperback $54.99
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Chris Hankin
QUICK ADD
Programming Languages and…
by Chris Hankin
#1381 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: Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers, Author: Mary Hall
QUICK ADD
Languages and Compilers for…
by Mary Hall, Hari Sundar
#11882 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: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Edition 1, Author: Pascal van Hentenryck
QUICK ADD
Static Analysis: 4th…
by Pascal van Hentenryck
#1302 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: 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: Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / Edition 1, Author: Eduard Ayguadé
QUICK ADD
Languages and Compilers for…
by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan
#4339 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: Synchronous Programming of Reactive Systems / Edition 1, Author: Nicolas Halbwachs
QUICK ADD
Synchronous Programming of…
by Nicolas Halbwachs
#215 in Series
Hardcover $54.99
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
QUICK ADD
Static Analysis: 7th…
by Jens Palsberg
#1824 in Series
Paperback $54.99
Title: Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers / Edition 1, Author: Sandhya Dwarkadas
QUICK ADD
Languages, Compilers, and…
by Sandhya Dwarkadas
#1915 in Series
Paperback $54.99
Title: Scala: From a Functional Programming Perspective: An Introduction to the Programming Language, Author: Vicenï Torra
QUICK ADD
Scala: From a Functional…
by Vicenï Torra
#9980 in Series
Paperback $54.99
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Formal Methods for Industrial…
by Kim Guldstrand Larsen, Tim Willemse
#11687 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 - 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
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: 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

Pagination Links