Architecture Description Languages (IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France (IFIP Advances in Information and Communication Technology))

By Pierre Dissaux, Mamoun Filali Amine, Pierre Michel, Francois Vernadat

Architecture Description Languages (IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France (IFIP Advances in Information and Communication Technology))

By Pierre Dissaux, Mamoun Filali Amine, Pierre Michel, Francois Vernadat

£89.97

The French School of Programming

By Bertrand Meyer

The French School of Programming

By Bertrand Meyer

£150 Elsewhere ~~£179.99~~ Save £29.99 (17%)

Structured Object-Oriented Formal Language and Method (5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues))

By Shaoying Liu, Zhenhua Duan

Structured Object-Oriented Formal Language and Method (5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues))

By Shaoying Liu, Zhenhua Duan

£46.41

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

£45.04

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

£45.16

Intelligent Agents V. Agents Theories, Architectures, and Languages: 5th International Workshop, Atal '98, Paris, France, July 4-7, 1998 (Proceedings: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jorg P. Muller, Munindar P. Singh, Anand S. Rao

Intelligent Agents V. Agents Theories, Architectures, and Languages: 5th International Workshop, Atal '98, Paris, France, July 4-7, 1998 (Proceedings: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jorg P. Muller, Munindar P. Singh, Anand S. Rao

£45.65

Database Programming Languages (12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Philippa Gardner, Floris Geerts

Database Programming Languages (12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Philippa Gardner, Floris Geerts

£44.91

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

£52.32

Developments in Language Theory (17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Marie-Pierre Beal, Olivier Carton

Developments in Language Theory (17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Marie-Pierre Beal, Olivier Carton

£45.08

Runtime Verification (4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Axel Legay, Saddek Bensalem

Runtime Verification (4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Axel Legay, Saddek Bensalem

£45.06

Programming Languages and Systems (23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer)

By Zhong Shao

Programming Languages and Systems (23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer)

By Zhong Shao

£45.67

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

£47.06

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

£45.66

Computational Methods in Systems Biology (International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Vincent Danos, Vincent Schachter

Computational Methods in Systems Biology (International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Vincent Danos, Vincent Schachter

£44.99

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

£45.05

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff

£45.07

Software Product Lines (9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Henk Obbink, Klaus Pohl

Software Product Lines (9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Henk Obbink, Klaus Pohl

£45.03

Computational Processing of the Portuguese Language (7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Renata Vieira, Paulo Quaresma, Maria Das Graças Volpe Nunes, Nuno J. Mamede

Computational Processing of the Portuguese Language (7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Renata Vieira, Paulo Quaresma, Maria Das Graças Volpe Nunes, Nuno J. Mamede

£44.99

Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Michel Parigot, Andrei Voronkov

Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Michel Parigot, Andrei Voronkov

£45.67

Symbolic and Quantitative Approaches to Reasoning with Uncertainty (6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Salem Benferhat, Philippe Besnard

Symbolic and Quantitative Approaches to Reasoning with Uncertainty (6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Salem Benferhat, Philippe Besnard

£89.18

Executable Modal and Temporal Logics (IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Michael Fisher, Richard Owens

Executable Modal and Temporal Logics (IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Michael Fisher, Richard Owens

£44.98

Grammatical Inference - Learning Syntax from Sentences (Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Miclet, Colin de la Higuera

Grammatical Inference - Learning Syntax from Sentences (Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Miclet, Colin de la Higuera

£45.02

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

£45.07

Software Architecture (Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Volker Gruhn, Flavio Oquendo

Software Architecture (Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Volker Gruhn, Flavio Oquendo

£45.18

View:
Safe Search(?):