£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)
Transactions on Modularity and Composition I
Shigeru Chiba
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketAdvanced Finite Element Simulation with MSC Marc : Application of User Subroutines
Zia Javanbakht
Out of stock
Format: Book (Paperback / softback)
Separation Logic for High-level Synthesis
Felix Winterstein
Out of stock
Format: Book (Paperback / softback)
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Rafael Capilla
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£109.99
£104.49
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketInteractive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Jeremy Avigad
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£79.99
£70.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFormal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Klaus Havelund
Out of stock
Format: Book (Paperback / softback)
Holub on Patterns : Learning Design Patterns by Looking at Code
Allen Holub
Out of stock
Format: Book (Paperback / softback)