Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

£44.21

Natural Language Processing and Information Systems (5th International Conference on Applications of Natural Language to Information Systems, Nldb 2000, Versailles, France, June 28-30, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Note)

By Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Metais

Natural Language Processing and Information Systems (5th International Conference on Applications of Natural Language to Information Systems, Nldb 2000, Versailles, France, June 28-30, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Note)

By Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Metais

£46.25

Programming Languages Implementation and Logic Programming (International Workshop Plilp '88, Orleans, France, May 16-18, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Bernard Lorho, Jan Maluszynski

Programming Languages Implementation and Logic Programming (International Workshop Plilp '88, Orleans, France, May 16-18, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Bernard Lorho, Jan Maluszynski

£46.37

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

£46.22

Natural Language Processing and Information Systems (12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings (Information Systems and Applications, incl. Internet ..)

By Zoubida Kedad, N. Lammari, Elisabeth Metais, Farid Meziane

Natural Language Processing and Information Systems (12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings (Information Systems and Applications, incl. Internet ..)

By Zoubida Kedad, N. Lammari, Elisabeth Metais, Farid Meziane

£46.25

System on Chip Design Languages (Extended Papers: Best of Fdl'01 and Hdlcon'01)

By Anne Mignotte, Eugenio Villar, Lynn Horobin

System on Chip Design Languages (Extended Papers: Best of Fdl'01 and Hdlcon'01)

By Anne Mignotte, Eugenio Villar, Lynn Horobin

£133

Combinators and Functional Programming Languages (Thirteenth Spring School of the Litp, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

Combinators and Functional Programming Languages (Thirteenth Spring School of the Litp, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

£27.93

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

£46.22

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

£46.88

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

£46.22

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

£46.84

Programming Language Implementation and Logic Programming (International Workshop Plilp 90, Linkoping, Sweden, August 20-22, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Jan Maluszynski

Programming Language Implementation and Logic Programming (International Workshop Plilp 90, Linkoping, Sweden, August 20-22, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Jan Maluszynski

£46.21

ESOP '92 (4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science))

By Bernd Krieg-Bruckner

ESOP '92 (4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science))

By Bernd Krieg-Bruckner

£46.27

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Irregular '95, Lyon, France, September 4 - 6, 1995. Proceedings (2nd: International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 - Proceedings (Lecture N)

By Alfonso Ferreira, Jose D. P. Rolim

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Irregular '95, Lyon, France, September 4 - 6, 1995. Proceedings (2nd: International Workshop, IRREGULAR '95, Lyon, France, September 4-6, 1995 - Proceedings (Lecture N)

By Alfonso Ferreira, Jose D. P. Rolim

£46.77

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

£46.77

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

£53.10

Languages, Design Methods, and Tools for Electronic System Design (Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering))

By Marie-Minerve Louerat, Torsten Maehne

Languages, Design Methods, and Tools for Electronic System Design (Selected Contributions from FDL 2013 (Lecture Notes in Electrical Engineering))

By Marie-Minerve Louerat, Torsten Maehne

£91.02

Reversible Computation (7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Programming and Software Engineering))

By Jean Krivine, Jean-Bernard Stefani

Reversible Computation (7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (Programming and Software Engineering))

By Jean Krivine, Jean-Bernard Stefani

£41.77

Computer Architecture (Proceedings of the NATO Advanced Study Institute held in St. Raphael, France, 12-24 September, 1976 (NATO Science Series C))

By Guy G. Boulaye, T. R. Lewin

Computer Architecture (Proceedings of the NATO Advanced Study Institute held in St. Raphael, France, 12-24 September, 1976 (NATO Science Series C))

By Guy G. Boulaye, T. R. Lewin

£46.78

Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings (v. 214 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paul Franchi-Zannettacci

Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings (v. 214 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paul Franchi-Zannettacci

£46.38

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

£46.19

Distributed Applications and Interoperable Systems (4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings (Lecture Notes in Computer Science))

By Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont

Distributed Applications and Interoperable Systems (4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings (Lecture Notes in Computer Science))

By Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont

£50.55

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

£46.35

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

Logic Programming (20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Bart Demoen, Vladimir Lifschitz

£46.23

View:
Safe Search(?):