Showing 96 - 120 (of 612)
Refine
CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings - eBook

CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

Catuscia Palamidessi

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings - eBook

Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Peter G. Clote

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings - eBook

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings

Salem Benferhat

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings - eBook

Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings

Bernhard Ganter

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings - eBook

Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Laurent Fribourg

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings - eBook

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings

Jan van Leeuwen

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Principles and Practice of Constraint Programming - CP 2000 : 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings - eBook

Principles and Practice of Constraint Programming - CP 2000 : 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings

Rina Dechter

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Conceptual Modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings - eBook

Conceptual Modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings

Alberto H.F. Laender

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - eBook

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Zoltan Esik

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computational Intelligence. Theory and Applications : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings - eBook

Computational Intelligence. Theory and Applications : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings

Bernd Reusch

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Evaluation of Cross-Language Information Retrieval Systems : Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers - eBook

Evaluation of Cross-Language Information Retrieval Systems : Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers

Martin Braschler

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - eBook

Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Julian Bradfield

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings - eBook

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Dines Bjorner

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 - eBook

Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

S. Tucker Taft

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings - eBook

Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings

Alexander Gelbukh

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic - eBook

All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic

Manuel Clavel

Download Now

Format: eBook (PDF)

£79.50

£67.58

Download Now

eBook (PDF)

Add to Basket
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - eBook

Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings - eBook

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings

Krzysztof Czarnecki

Download Now

Format: eBook (PDF)

£130.50

£110.93

Download Now

eBook (PDF)

Add to Basket
Lancelot : A Fortran Package for Large-Scale Nonlinear Optimization (Release A) - eBook

Lancelot : A Fortran Package for Large-Scale Nonlinear Optimization (Release A)

A.R. Conn

Download Now

Format: eBook (PDF)

£129.50

£110.08

Download Now

eBook (PDF)

Add to Basket
Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April - eBook

Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April

Jan Vitek

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings - eBook

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Nikhil Bansal

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings - eBook

Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Dun Deng

Download Now

Format: eBook (EPUB)

£59.99

£50.99

Download Now

eBook (EPUB)

Add to Basket
Computational Linguistics and Intelligent Text Processing : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings - eBook

Computational Linguistics and Intelligent Text Processing : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings

Alexander Gelbukh

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Open Source Ecosystems: Diverse Communities Interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skovde, Sweden, June 3-6, 2009, Proceedings - eBook

Open Source Ecosystems: Diverse Communities Interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skovde, Sweden, June 3-6, 2009, Proceedings

Cornelia Boldyreff

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Showing 96 - 120 (of 612)
Refine