UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings
Andy Evans
Item not Available
Format: Book (Paperback / softback)
£99.00
£80.95
Item not Available
Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Reinhard Wilhelm
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April
David Sands
Item not Available
Format: Book (Paperback / softback)
£81.00
£66.65
Item not Available
Book (Paperback / softback)
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings
Martin Gogolla
Item not Available
Format: Book (Paperback / softback)
£81.00
£66.65
Item not Available
Book (Paperback / softback)
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Dines Bjorner
Item not Available
Format: Book (Paperback / softback)
£90.00
£73.79
Item not Available
Book (Paperback / softback)
Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
Shriram Krishnamurthi
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Compiler Construction : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proce
R. Niegel Horspool
Item not Available
Format: Book (Paperback / softback)
£69.99
£57.89
Item not Available
Book (Paperback / softback)
CONCUR '98 Concurrency Theory : 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Davide Sangiorgi
Item not Available
Format: Book (Paperback / softback)
£108.00
£93.95
Item not Available
Book (Paperback / softback)
Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
Xavier Leroy
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Anders P. Ravn
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
The Unified Modeling Language. <<UML>>'98: Beyond the Notation : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
Jean Bezivin
Item not Available
Format: Book (Paperback / softback)
£81.00
£66.65
Item not Available
Book (Paperback / softback)
Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
Mogens Nielsen
Item not Available
Format: Book (Paperback / softback)
£117.00
£101.55
Item not Available
Book (Paperback / softback)
Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proce
Shriram Krishnamurthi
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 20
Laurie Hendren
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Jacques Garrigue
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Building web applications with Vue.js : MVVM patterns for conventional and single-page websites
Ralph Steyer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Dirk Draheim
Out of stock
Format: Book (Paperback / softback)
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Lawrence S. Moss
Out of stock
Format: Book (Paperback / softback)
Pattern Calculus : Computing with Functions and Structures
Barry Jay
Out of stock
Format: Book (Paperback / softback)
