By Bertrand Meyer

HK$1,640 Elsewhere ~~HK$1,853.77~~ Save HK$213.77 (12%)

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

HK$775

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

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

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

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

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

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

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

HK$673

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é

HK$800

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

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

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

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

HK$500

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

HK$700

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

HK$1,060

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

HK$488

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

HK$500

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

HK$552

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

HK$571

Verification, Model Checking, and Abstract Interpretation (8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Byron Cook, Andreas Podelski

Verification, Model Checking, and Abstract Interpretation (8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Byron Cook, Andreas Podelski

HK$540

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

HK$560

Conceptual Structures (Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings (Lecture Notes in Artificial Intelligence))

By Peter W. Eklund, Ollivier Haemmerle

Conceptual Structures (Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings (Lecture Notes in Artificial Intelligence))

By Peter W. Eklund, Ollivier Haemmerle

HK$500

View:
Safe Search(?):