Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Algorithms in Bioinformatics: 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings by Raffaele Giancarlo 9783540741251
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Frontiers in Algorithmics: Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings by Franco P. Preparata 9783540693109
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
The Complexity Theory Companion by Lane A. Hemaspaandra 9783540674191
Booksplease Price: £71.18Sorry no description is available for this book at this time. -
Computable Analysis: An Introduction by Klaus Weihrauch 9783540668176
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Algorithm Engineering: 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings by Jeffrey Scott Vitter 9783540664277
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Vector and Parallel Processing - VECPAR'98: Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks by Jose M. L. M. Palma 9783540662280
Booksplease Price: £91.36Sorry no description is available for this book at this time. -
Optimal Interprocedural Program Optimization: A New Framework and Its Application by Jens Knoop 9783540651239
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Deductive and Object-Oriented Databases: Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings by Stefano Ceri 9783540575306
Booksplease Price: £47.88Sorry no description is available for this book at this time. -
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings by Maurice Bruynooghe 9783540558446
Booksplease Price: £47.88Sorry no description is available for this book at this time. -
Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings by Jan L. A. Van de Snepscheut 9783540513056
Booksplease Price: £47.08Sorry no description is available for this book at this time. -
Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrucken, Germany, September 5-8, 2000 Proceedings by Stefan Naher 9783540425120
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings by Jorgen Lindskov Knudsen 9783540422068
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures by Johan Jeuring 9783540401322
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich by Alon Rosen 9783540329381
Booksplease Price: £90.56Sorry no description is available for this book at this time. -
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers by Jean-Christophe Filliatre 9783540314288
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings by Kousha Etessami 9783540272311
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings by Maarten Keijzer 9783540254362
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings by Grigoris Antoniou 9783540238423
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports by Frank Buschmann 9783540224051
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Designing Evolutionary Algorithms for Dynamic Environments by Ronald W. Morrison 9783540212317
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 by Kung-Kiu Lau 9783540198062
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 by J. Darlington 9783540197355
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 by Geraint A. Wiggins 9783540197348
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings by Marisa Venturini Zilli 9783540184195
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings by Austin Melton 9783540168164
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Object-Oriented Technology. ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters, Malaga, Spain, June 10-14, 2002, Proceedings by Juan Hernandez 9783540002338
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings by Christoph Benzmuller 9783319999050
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings by Stavros Konstantinidis 9783319946306
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings by Susan Stepney 9783319924342
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Computer Science - Theory and Applications: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings by Fedor V. Fomin 9783319905297
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
On Sets and Graphs: Perspectives on Logic and Combinatorics by Eugenio G. Omodeo 9783319855363
Booksplease Price: £47.26Sorry no description is available for this book at this time. -
Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings by Shmuel Tomi Klein 9783319773124
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings by Dang Van Hung 9783319677286
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings by Francesco Ranzato 9783319667058
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings by Marco Bozzano 9783319641188
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings by Alessandro Abate 9783319635002
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017, Proceedings by Arnaud Carayol 9783319601335
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings by Ahmed Bouajjani 9783319522333
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers by Jonathan P. Bowen 9783319522272
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers by Dorel Lucanu 9783319448015
Booksplease Price: £46.28Sorry no description is available for this book at this time.