1- 20 of 146 results
Grid View Grid
List View List
Grid View Grid
List View List
Get it today with Buy Online, Pick up in Store Find My Store
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: 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 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: 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: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
QUICK ADD
Static Analysis: Second…
by Alan Mycroft
#983 in Series
Paperback $54.99
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
QUICK ADD
Programming Languages and…
by Sukyoung Ryu
#11275 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: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / Edition 1, Author: Hanspeter Mïssenbïck
QUICK ADD
Modular Programming Languages:…
by Hanspeter Mïssenbïck
#1204 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: 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: 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: 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, 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: 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
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
QUICK ADD
Practical Aspects of…
by Ekaterina Komendantskaya, Yanhong Annie Liu
#12007 in Series
Paperback $54.99
Title: Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / Edition 1, Author: Marcelo Arenas
QUICK ADD
Database Programming Languages…
by Marcelo Arenas, Michael I. Schwartzbach
#4797 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: 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: 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: Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / Edition 1, Author: Lïszlï Bïszïrmïnyi
QUICK ADD
Modular Programming Languages:…
by Lïszlï Bïszïrmïnyi, Peter Schojer
#2789 in Series
Paperback $54.99

Pagination Links