1- 20 of 95 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang
QUICK ADD
Programming Languages and…
by Bor-Yuh Evan Chang
#10695 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: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Author: Atsushi Igarashi
QUICK ADD
Programming Languages and…
by Atsushi Igarashi
#10017 in Series
Paperback $54.99
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
QUICK ADD
Static Analysis: First…
by Baudouin LeCharlier
#864 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: New Trends in Formal Languages: Control, Cooperation, and Combinatorics / Edition 1, Author: Gheorghe Paun
QUICK ADD
New Trends in Formal Languages…
by Gheorghe Paun, Arto Salomaa
#1218 in Series
Paperback $54.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: 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: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Edition 1, Author: Patrick Cousot
QUICK ADD
Static Analysis: 8th…
by Patrick Cousot
#2126 in Series
Paperback $54.99
Title: Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers, Author: José-Luis Sierra-Rodríguez
QUICK ADD
Languages, Applications and…
by José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões
#563 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: 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: 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: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, Author: Yuliya Lierler
QUICK ADD
Practical Aspects of…
by Yuliya Lierler, Walid Taha
#10137 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: 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: 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: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / Edition 1, Author: Wei-Ngan Chin
QUICK ADD
Programming Languages and…
by Wei-Ngan Chin
#3302 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

Pagination Links