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

HK$500

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

HK$500

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

HK$580

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

HK$500

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

HK$540

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

HK$1,290

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

HK$291

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

HK$531

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

HK$700

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

HK$531

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

HK$660

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

HK$500

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

HK$540

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

HK$640

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

HK$640

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

HK$560

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

HK$940

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

HK$600

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

HK$640

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

HK$581

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

HK$500

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

HK$540

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

HK$572

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

HK$538

View:
Safe Search(?):