Rewriting Techniques and Applications (Bordeaux, France, May 25-27, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Lescanne

Rewriting Techniques and Applications (Bordeaux, France, May 25-27, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Lescanne

HK$378

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

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

HK$500

Conditional Term Rewriting Systems (1st International Workshop Orsay, France, July 8-10, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephane Kaplan, Jean-Pierre Jouannaud

Conditional Term Rewriting Systems (1st International Workshop Orsay, France, July 8-10, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephane Kaplan, Jean-Pierre Jouannaud

HK$499

Automata Networks (LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christian Choffrut

Automata Networks (LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christian Choffrut

HK$466

Groupware: Design, Implementation, and Use (9th International Workshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jesus Favela, Dominique Decouchant

Groupware: Design, Implementation, and Use (9th International Workshop, CRIWG 2003, Autrans, France, September 28 - October 2, 2003, Proceedings (Lecture Notes in Computer Science))

By Jesus Favela, Dominique Decouchant

HK$600

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

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$500

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

HK$500

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$573

Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems (First International Conference, Cpaior 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artifici)

By Jean-Charles Regin, Michel Rueher

Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems (First International Conference, Cpaior 2004, Nice, France, April 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artifici)

By Jean-Charles Regin, Michel Rueher

HK$638

Constraint Databases and Applications (First International Symposium, CDB 2004, Paris, France, June 12-13, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bart Kuijpers, Peter Revesz

Constraint Databases and Applications (First International Symposium, CDB 2004, Paris, France, June 12-13, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bart Kuijpers, Peter Revesz

HK$533

Flexible Query Answering Systems (6th International Conference, Fqas 2004, Lyon, France, June 24-26, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen

Flexible Query Answering Systems (6th International Conference, Fqas 2004, Lyon, France, June 24-26, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen

HK$692

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$539

Principles and Practice of Semantic Web Reasoning (Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Hans Jurgen Ohlbach, Sebastian Schaffert

Principles and Practice of Semantic Web Reasoning (Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science))

By Hans Jurgen Ohlbach, Sebastian Schaffert

HK$481

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

HK$683

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

HK$500

Logical Aspects of Computational Linguistics (5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings (Lecture Notes in Computer Science))

By Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot

Logical Aspects of Computational Linguistics (5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings (Lecture Notes in Computer Science))

By Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot

HK$500

Modeling and Using Context (5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Anind K. Dey, Boicho Kokinov, David Leake, Roy Turner

Modeling and Using Context (5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Anind K. Dey, Boicho Kokinov, David Leake, Roy Turner

HK$971

Engineering Societies in the Agents World (5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli

Engineering Societies in the Agents World (5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers: v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli

HK$500

Multilingual Information Access for Text, Speech and Images (5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Carol Peters, Paul Clough, Julio A. Gonzalo, Gareth J. F. Jones

Multilingual Information Access for Text, Speech and Images (5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Carol Peters, Paul Clough, Julio A. Gonzalo, Gareth J. F. Jones

HK$1,000

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

HK$500

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

HK$540

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

HK$995

View:
Safe Search(?):