941- 960 of 1334 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers, Author: Cyrille Artho
QUICK ADD
Formal Techniques for…
by Cyrille Artho, Peter Csaba Ölveczky
#419 in Series
Paperback $54.99
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
QUICK ADD
Static Analysis: 11th…
by Roberto Giacobazzi
#3148 in Series
Paperback $54.99
Title: Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, Author: Thomas Gibson-Robinson
QUICK ADD
Concurrency, Security, and…
by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic
#10160 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: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
QUICK ADD
Functional and Logic…
by Aart Middeldorp, Taisuke Sato
#1722 in Series
Paperback $54.99
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
QUICK ADD
Extensions of the UNITY…
by Josyula R. Rao
#908 in Series
Paperback $54.99
Title: Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers, Author: Anthony Bonato
QUICK ADD
Algorithms and Models for the…
by Anthony Bonato, Fan Chung Graham, Pawel Pralat
#10519 in Series
Paperback $54.99
Title: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Author: Mohamed Faouzi Atig
QUICK ADD
Verification and Evaluation of…
by Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
#11181 in Series
Paperback $54.99
Title: WALCOM: Algorithms and Computation: 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings, Author: Gautam K. Das
QUICK ADD
WALCOM: Algorithms and…
by Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano
#11355 in Series
Paperback $54.99
Title: Analysis and Visualization Tools for Constraint Programming: Constraint Debugging / Edition 1, Author: Pierre Deransart
QUICK ADD
Analysis and Visualization…
by Pierre Deransart, J. Maluszynski, M.V. Hermenegildo
#1870 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: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Edition 1, Author: Gopalan Nadathur
QUICK ADD
Principles and Practice of…
by Gopalan Nadathur
#1702 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
QUICK ADD
Types for Proofs and Programs:…
by Henk Barendregt, Tobias Nipkow
#806 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, Author: Shaoying Liu
QUICK ADD
Structured Object-Oriented…
by Shaoying Liu, Zhenhua Duan
#9559 in Series
Paperback $54.99
Title: Compiler Construction: 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings / Edition 1, Author: Stefan Jïhnichen
QUICK ADD
Compiler Construction: 8th…
by Stefan Jïhnichen
#1575 in Series
Paperback $54.99
Title: Genetic Programming: 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Author: James McDermott
QUICK ADD
Genetic Programming: 20th…
by James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, Pablo García-Sánchez
#10196 in Series
Paperback $54.99
Title: Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / Edition 1, Author: Peter A. Fritzson
QUICK ADD
Compiler Construction: 5th…
by Peter A. Fritzson
#786 in Series
Paperback $54.99
Title: Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / Edition 1, Author: Jean-Pierre Banâtre
QUICK ADD
Unconventional Programming…
by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel
#3566 in Series
Paperback $54.99
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
QUICK ADD
Nonmonotonic and Inductive…
by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
#659 in Series
Paperback $54.99
Title: Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / Edition 1, Author: Hongbo Li
QUICK ADD
Computer Algebra and Geometric…
by Hongbo Li, Peter J. Olver, Gerald Sommer
#3519 in Series
Paperback $54.99

Pagination Links