Vlisp a Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995)

By Joshua D. Guttman, Mitchell Wand

Vlisp a Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995)

By Joshua D. Guttman, Mitchell Wand

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Theoretical Aspects of Computer Software (International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings (Lecture Notes in Computer Science))

By Masami Hagiya, John C. Mitchell

Theoretical Aspects of Computer Software (International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings (Lecture Notes in Computer Science))

By Masami Hagiya, John C. Mitchell

£46.71

Object-Oriented Technology (ECOOP '97 Workshop Reader: ECOOP'97 Workshops Jyvaskyla, Finland, June 9-13, 1997 Proceedings (Lecture Notes in Computer Science))

By Jan Bosch, Stuart Mitchell

Object-Oriented Technology (ECOOP '97 Workshop Reader: ECOOP'97 Workshops Jyvaskyla, Finland, June 9-13, 1997 Proceedings (Lecture Notes in Computer Science))

By Jan Bosch, Stuart Mitchell

£46.37

Expert Twisted (Event-Driven and Asynchronous Programming with Python)

By Williams, Mark, Benfield, Cory, Brian Warner

Expert Twisted (Event-Driven and Asynchronous Programming with Python)

By Williams, Mark, Benfield, Cory, Brian Warner

£37.48 Elsewhere ~~£49.99~~ Save £12.51 (25%)

Persistent Object Systems (Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992 (Workshops in Computing))

By Antonio Albano, Ron Morrison

Persistent Object Systems (Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992 (Workshops in Computing))

By Antonio Albano, Ron Morrison

£46.30

Semantics, Applications, and Implementation of Program Generation (Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings (Lecture Notes in Computer Science))

By Walid Taha

Semantics, Applications, and Implementation of Program Generation (Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings (Lecture Notes in Computer Science))

By Walid Taha

£46.08

Rewriting Techniques and Applications (13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Scie)

By Sophie Tison

Rewriting Techniques and Applications (13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Scie)

By Sophie Tison

£46.96

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

£41.66

Mathematical Foundations of Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))

By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt

Mathematical Foundations of Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))

By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt

£46.27

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994, Selected Papers (8th Workshop: CSL '94, Kazimierz, September 25-30, 1994 - Selected Papers (Lecture Notes in Computer Science))

By Leszek Pacholski, Jerzy Tiuryn

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994, Selected Papers (8th Workshop: CSL '94, Kazimierz, September 25-30, 1994 - Selected Papers (Lecture Notes in Computer Science))

By Leszek Pacholski, Jerzy Tiuryn

£91.08

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (12th: International Workshop, CSl '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28,)

By Georg Gottlob, Etienne Grandjean, Katrin Seyr

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (12th: International Workshop, CSl '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28,)

By Georg Gottlob, Etienne Grandjean, Katrin Seyr

£46.22

Inside the Windows 95 File System (Nutshell handbook A)

By Stan Mitchell

Inside the Windows 95 File System (Nutshell handbook A)

By Stan Mitchell

Currently
Unavailable

Computational Intelligence for Knowledge-based System Design (13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann

Computational Intelligence for Knowledge-based System Design (13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann

Currently
Unavailable

Information Processing and Management of Uncertainty in Knowledge-based Systems (13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010. Proceedings: Part I (Communications in Computer and Information Science))

By Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann

Information Processing and Management of Uncertainty in Knowledge-based Systems (13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2010. Proceedings: Part I (Communications in Computer and Information Science))

By Eyke Hullermeier, Rudolf Kruse, Frank Hoffmann

Currently
Unavailable

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Armando, Gavin Lowe

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Alessandro Armando, Gavin Lowe

Currently
Unavailable

Information Processing and Management of Uncertainty in Knowledge-Based Systems (13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II (Communications in Computer and Information Science))

By Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann

Information Processing and Management of Uncertainty in Knowledge-Based Systems (13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II (Communications in Computer and Information Science))

By Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann

Currently
Unavailable

Trends in Functional Programming Volume 6 (Trends in Functional Programming)

By Marko Van Eekelen

Trends in Functional Programming Volume 6 (Trends in Functional Programming)

By Marko Van Eekelen

Currently
Unavailable

View:
Safe Search(?):