Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Automated Reasoning (First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Rajeev Gore, Alexander Leitsch, Tobias Nipkow

£89.51

Process Algebra and Probabilistic Methods - Performance Modelling and Verification (Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By Luca de Alfaro, Stephen Gilmore

Process Algebra and Probabilistic Methods - Performance Modelling and Verification (Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By Luca de Alfaro, Stephen Gilmore

£45.20

Logic Programming and Nonmonotonic Reasoning (6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi

Logic Programming and Nonmonotonic Reasoning (6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi

£45.07

Logics in Artificial Intelligence (European Conference, Jelia 2002, Cosenza, Italy, September, 23-26 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sergio Flesca, Giovambattista Ianni

Logics in Artificial Intelligence (European Conference, Jelia 2002, Cosenza, Italy, September, 23-26 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sergio Flesca, Giovambattista Ianni

£88.74

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

£45.33

Generative Programming and Component Engineering (ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings (Lecture Notes in Computer Science))

By Don Batory, Charles Consel, Walid Taha

Generative Programming and Component Engineering (ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings (Lecture Notes in Computer Science))

By Don Batory, Charles Consel, Walid Taha

£45.03

Pattern Recognition (28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Katrin Franke, Klaus-Robert Muller, Bertram Nickolay, Ralf Schafer

Pattern Recognition (28th DAGM Symposium, Berlin, Germany, September 12-14, 2006, Proceedings (Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Katrin Franke, Klaus-Robert Muller, Bertram Nickolay, Ralf Schafer

£89.17

Ubiquitous Computing Systems (Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa

Ubiquitous Computing Systems (Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa

£45.74

On the Move to Meaningful Internet Systems 2006 (OTM 2006 Workshops: OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Mon)

By Zahir Tari

On the Move to Meaningful Internet Systems 2006 (OTM 2006 Workshops: OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Mon)

By Zahir Tari

£83.58 Elsewhere ~~£89.99~~ Save £6.41 (7%)

On the Move to Meaningful Internet Systems 2006 (CoopIS, DOA, GADA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II (Information System ..)

By Robert Meersman, Zahir Tari

On the Move to Meaningful Internet Systems 2006 (CoopIS, DOA, GADA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II (Information System ..)

By Robert Meersman, Zahir Tari

£83.25 Elsewhere ~~£89.99~~ Save £6.74 (7%)

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

£45.05

Mobile Object Systems towards the Programmable Internet (Second International Workshop, Mos'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan Vitek, Christian Tschudin

Mobile Object Systems towards the Programmable Internet (Second International Workshop, Mos'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan Vitek, Christian Tschudin

£45.04

Principles and Practice of Constraint Programming - CP97 (Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 (Lecture Notes in Computer Science))

By Gert Smolka

Principles and Practice of Constraint Programming - CP97 (Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 (Lecture Notes in Computer Science))

By Gert Smolka

£88.74

Rewriting Techniques and Applications: 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999 : Proceedings (10th: International Conference, RTA '99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science))

By Paliath Narendran, Michael Rusinowitch

Rewriting Techniques and Applications: 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999 : Proceedings (10th: International Conference, RTA '99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science))

By Paliath Narendran, Michael Rusinowitch

£45.02

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

£44.99

Models in Software Engineering (Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Giese, Holger

Models in Software Engineering (Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Giese, Holger

£45.03

Models in Software Engineering (Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Kuehne

Models in Software Engineering (Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Kuehne

£45.03

Algorithms and Architectures for Parallel Processing (8th International Conference, ICA3PP 2008,Agia Napa, Cyprus, June 9-11, 2008 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Anu G. Bourgeois, Si Qing Zheng

Algorithms and Architectures for Parallel Processing (8th International Conference, ICA3PP 2008,Agia Napa, Cyprus, June 9-11, 2008 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Anu G. Bourgeois, Si Qing Zheng

£45.04

Tools and Algorithms for the Construction and Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)

By Orna Grumberg, Michael Huth

Tools and Algorithms for the Construction and Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)

By Orna Grumberg, Michael Huth

£89.55

Product-Focused Software Process Improvement (8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jurgen Munch, Pekka Abrahamsson

Product-Focused Software Process Improvement (8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jurgen Munch, Pekka Abrahamsson

£45.05

Task Models and Diagrams for User Interface Design (6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Marco Winckler, Hilary Johnson, Philippe Palanque

Task Models and Diagrams for User Interface Design (6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Marco Winckler, Hilary Johnson, Philippe Palanque

£45.03

Progress in Materials Analysis (11th Colloquium: Papers (Mikrochimica Acta Supplementa))

By M. Grasserbauer, M.K. Zacherl

Progress in Materials Analysis (11th Colloquium: Papers (Mikrochimica Acta Supplementa))

By M. Grasserbauer, M.K. Zacherl

£52.84

Database and Expert Systems Applications (Proceedings of the International Conference in Valencia, Spain, 1992)

By A. Min Tjoa, Isidro Ramos

Database and Expert Systems Applications (Proceedings of the International Conference in Valencia, Spain, 1992)

By A. Min Tjoa, Isidro Ramos

£45.86

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

£45.13

View:
Safe Search(?):