41- 60 of 283 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics, Author: Gheorghe Paun
QUICK ADD
New Trends in Formal Languages…
by Gheorghe Paun (Editor), Arto Salomaa (Editor)
#1218 in Series
Paperback $54.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, Author: Mooly Sagiv
QUICK ADD
Programming Languages and…
by Mooly Sagiv (Editor)
#3444 in Series
Paperback $54.99
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Link�ping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
QUICK ADD
Programming Language…
by Pierre Deransart (Editor), Jan Maluszynski (Editor)
#456 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, Author: Eduard Ayguadé
QUICK ADD
Languages and Compilers for…
by Eduard Ayguadé (Editor), Gerald Baumgartner (Editor), J. Ramanujam (Editor), P. Sadayappan (Editor)
#4339 in Series
Paperback $54.99
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings, Author: Jens Palsberg
QUICK ADD
Static Analysis: 7th…
by Jens Palsberg (Editor)
#1824 in Series
Paperback $54.99
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, Author: Pascal van Hentenryck
QUICK ADD
Static Analysis: 4th…
by Pascal van Hentenryck (Editor)
#1302 in Series
Paperback $54.99
Title: Full-Stack iOS Development with Swift and Vapor, Author: Hem Dutt
QUICK ADD
Full-Stack iOS Development…
by Hem Dutt
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 (Editor), Cristina Seceleanu (Editor), Ana Cavalcanti (Editor)
#10471 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 (Editor), Tim Willemse (Editor)
#11687 in Series
Paperback $54.99
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings, Author: Radhia Cousot
QUICK ADD
Static Analysis: 10th…
by Radhia Cousot (Editor)
#2694 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 (Editor), Sungwoo Park (Editor)
#9458 in Series
Paperback $54.99
Title: Mastering Spring AI: The Java Developer's Guide for Large Language Models and Generative AI, Author: Banu Parasuraman
QUICK ADD
Mastering Spring AI: The Java…
by Banu Parasuraman
Paperback $54.99
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
QUICK ADD
The Denotational Description…
by M.J.C. Gordon
Paperback $54.99
Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
QUICK ADD
Programming Languages and…
by Donald Sannella (Editor)
#788 in Series
Paperback $54.99
Title: Introducing Markdown and Pandoc: Using Markup Language and Document Converter, Author: Thomas Mailund
QUICK ADD
Introducing Markdown and…
by Thomas Mailund
Paperback $54.99
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Vïïnïnen
QUICK ADD
Generalized Quantifiers and…
by Jouko Vïïnïnen (Editor)
#1754 in Series
Paperback $54.99
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings, Author: Radhia Cousot
QUICK ADD
Static Analysis: Third…
by Radhia Cousot (Editor), David A. Schmidt (Editor)
#1145 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, Author: Hanne R. Nielson
QUICK ADD
Programming Languages and…
by Hanne R. Nielson (Editor)
#1058 in Series
Paperback $54.99
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
QUICK ADD
Understanding Control Flow:…
by Peter A. Buhr
Paperback $54.99
Title: Database Programming Languages: 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Author: Sophie Cluet
QUICK ADD
Database Programming Languages…
by Sophie Cluet (Editor), Rick Hull (Editor)
#1369 in Series
Paperback $54.99

Pagination Links