Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

HK$1,090

Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frederic Benhamou

Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frederic Benhamou

HK$1,060

On the Move to Meaningful Internet Systems 2006, Coopis, DOA, Gada, and Odbase (OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings: Part I (Lecture Notes in Compu)

By Robert Meersman, Zahir Tari

On the Move to Meaningful Internet Systems 2006, Coopis, DOA, Gada, and Odbase (OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings: Part I (Lecture Notes in Compu)

By Robert Meersman, Zahir Tari

HK$1,493

Foundations of Data Organization and Algorithms (3rd International Conference, Fodo 1989, Paris, France, June 21-23, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Witold Litwin, Hans-Jorg Schek

Foundations of Data Organization and Algorithms (3rd International Conference, Fodo 1989, Paris, France, June 21-23, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Witold Litwin, Hans-Jorg Schek

HK$540

Database Machines (Sixth International Workshop, Iwdm '89, Deauville, France, June 19-21, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Haran Boral, Pascal Faudemay

Database Machines (Sixth International Workshop, Iwdm '89, Deauville, France, June 19-21, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Haran Boral, Pascal Faudemay

HK$500

Electronic Dictionaries and Automata in Computational Linguistics (LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings (Lecture Notes in Computer Science))

By Maurice Gross, Dominique Perrin

Electronic Dictionaries and Automata in Computational Linguistics (LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings (Lecture Notes in Computer Science))

By Maurice Gross, Dominique Perrin

HK$456

Formal Properties of Finite Automata and Applications (LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Eric Pin

Formal Properties of Finite Automata and Applications (LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Eric Pin

HK$493

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

HK$634

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))

By Christian Choffrut, Thomas Lengauer

STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))

By Christian Choffrut, Thomas Lengauer

HK$600

Attribute Grammars and Their Applications (International Conference, Paris, France, September 19-21, 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Martin Jourdan

Attribute Grammars and Their Applications (International Conference, Paris, France, September 19-21, 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Deransart, Martin Jourdan

HK$600

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

HK$500

Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))

By Irene Guessarian

Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))

By Irene Guessarian

HK$559

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

HK$540

Uncertainty in Knowledge Bases (3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu'90, Paris, France, July 2 - 6, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes)

By Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh

Uncertainty in Knowledge Bases (3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu'90, Paris, France, July 2 - 6, 1990. Proceedings: 1990 (Lecture Notes in Computer Science / Lecture Notes)

By Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh

HK$960

Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts

Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts

HK$579

Symbolic and Quantitative Approaches to Uncertainty (European Conference Ecsqau, Marseille, France, October 15-17, 1991. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rudolf Kruse, Pierre Siegel

Symbolic and Quantitative Approaches to Uncertainty (European Conference Ecsqau, Marseille, France, October 15-17, 1991. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rudolf Kruse, Pierre Siegel

HK$500

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Finkel, Matthias Jantzen

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alain Finkel, Matthias Jantzen

HK$973

CAAP 92 (17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings (Lecture Notes in Computer Science))

By Jean-Claude Raoult

CAAP 92 (17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings (Lecture Notes in Computer Science))

By Jean-Claude Raoult

HK$600

Parallel Processing (CONPAR 92 - VAPP V: Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science))

By Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram

Parallel Processing (CONPAR 92 - VAPP V: Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992 Proceedings (Lecture Notes in Computer Science))

By Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram

HK$600

Memory Management (International Workshop IWMM 92, St.Malo, France, September 17-19, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bekkers, Jacques Cohen

Memory Management (International Workshop IWMM 92, St.Malo, France, September 17-19, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yves Bekkers, Jacques Cohen

HK$540

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)

By Michel Bidoit, Christine Choppy

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)

By Michel Bidoit, Christine Choppy

HK$600

Conditional Term Rewriting Systems (Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Rusinowitch, Jean-Luc Remy

Conditional Term Rewriting Systems (Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Rusinowitch, Jean-Luc Remy

HK$540

Tapsoft '93 Theory and Practice of Software Development (4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Claude Gaudel, Jean-Pierre Jouannaud

Tapsoft '93 Theory and Practice of Software Development (4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marie-Claude Gaudel, Jean-Pierre Jouannaud

HK$1,000

STACS '94 (11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 - Proceedings (Lecture Notes in Computer Science))

By Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner

STACS '94 (11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994 - Proceedings (Lecture Notes in Computer Science))

By Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner

HK$632

View:
Safe Search(?):