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

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

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

HK$660

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

HK$572

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 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelli)

By Martin Braschler, Julio Gonzalo, Julio A. Gonzalo, Michael Kluck

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 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelli)

By Martin Braschler, Julio Gonzalo, Julio A. Gonzalo, Michael Kluck

HK$976

Advances in Object-Oriented Information Systems (OOIS 2002 Workshops, Montpellier, France, September 2, 2002 : Proceedings (Lecture Notes in Computer Science))

By Jean-Michel Bruel, Zohra Bellahsene

Advances in Object-Oriented Information Systems (OOIS 2002 Workshops, Montpellier, France, September 2, 2002 : Proceedings (Lecture Notes in Computer Science))

By Jean-Michel Bruel, Zohra Bellahsene

HK$600

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

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

12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings (12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993, Proceedings (Lecture Notes in Computer Science)

By Michel Gauthier

12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings (12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993, Proceedings (Lecture Notes in Computer Science)

By Michel Gauthier

HK$500

Term Rewriting (French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science))

By Hubert Comon, Jean-Pierre Jouannaud

Term Rewriting (French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science))

By Hubert Comon, Jean-Pierre Jouannaud

HK$495

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

Genetic Programming (First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings (Lecture Notes in Computer Science))

By Wolfgang Banzhaf, Riccardo Poli, Marc Schoenauer, Terence C. Fogarty

Genetic Programming (First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings (Lecture Notes in Computer Science))

By Wolfgang Banzhaf, Riccardo Poli, Marc Schoenauer, Terence C. Fogarty

HK$492

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

HK$673

Meta-level Architectures and Reflection (Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings: Second International Conference, Reflection '99, Saint Malo, France, July 19-21, 1999, Proceedings (Lecture Notes in)

By P. Cointe, Pierre Cointe

Meta-level Architectures and Reflection (Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings: Second International Conference, Reflection '99, Saint Malo, France, July 19-21, 1999, Proceedings (Lecture Notes in)

By P. Cointe, Pierre Cointe

HK$500

Languages and Compilers for Parallel Computing (12th International Workshop, LCPC'99 LA Jolla, Ca, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science))

By Larry Carter, Jeanne Ferrante

Languages and Compilers for Parallel Computing (12th International Workshop, LCPC'99 LA Jolla, Ca, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science))

By Larry Carter, Jeanne Ferrante

HK$540

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

HK$460

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

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Fred Hubner, Joao Leite

Languages, Methodologies, and Development Tools for Multi-Agent Systems (Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Fred Hubner, Joao Leite

HK$478

New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

HK$449

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

HK$539

Constraint Solving and Language Processing (7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Denys Duchier, Yannick Parmentier

Constraint Solving and Language Processing (7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Denys Duchier, Yannick Parmentier

HK$438

View:
Safe Search(?):