Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

HK$598

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

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

HK$570

Graph-Theoretic Concepts in Computer Science (International Workshop Wg '87, Kloster Banz/Staffelstein, Frg, June 29 - July 1, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Herbert Gottler, Hans-Jurgen Schneider

Graph-Theoretic Concepts in Computer Science (International Workshop Wg '87, Kloster Banz/Staffelstein, Frg, June 29 - July 1, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Herbert Gottler, Hans-Jurgen Schneider

HK$540

Automata, Languages and Programming (15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Timo Lepistoe, Arto Salomaa

Automata, Languages and Programming (15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Timo Lepistoe, Arto Salomaa

HK$1,100

Theory and Formal Methods 1993 (Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 (Workshops in Computing))

By Geoffrey Burn, Simon Gay, Mark D. Ryan

Theory and Formal Methods 1993 (Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 (Workshops in Computing))

By Geoffrey Burn, Simon Gay, Mark D. Ryan

HK$573

Structures in Concurrency Theory (Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 (Workshops in Computing))

By Jorg Desel

Structures in Concurrency Theory (Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 (Workshops in Computing))

By Jorg Desel

HK$572

Logic for Programming, Artificial Intelligence , and Reasoning (10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Moshe Vardi, Andrei Voronkov

Logic for Programming, Artificial Intelligence , and Reasoning (10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Moshe Vardi, Andrei Voronkov

HK$690

Inductive Logic Programming (13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Tamas Horvath, Akihiro Yamamoto

Inductive Logic Programming (13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Tamas Horvath, Akihiro Yamamoto

HK$576

Logic Programming and Nonmonotonic Reasoning (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Vladimir Lifschitz, Ikka Niemela

Logic Programming and Nonmonotonic Reasoning (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Vladimir Lifschitz, Ikka Niemela

HK$575

Integer Programming and Combinatorial Optimization (10th International IPCO Conference, New York, NY, USA, June 7-11, 2004 : Proceedings (Lecture Notes in Computer Science))

By George Nemhauser, Daniel Bienstock

Integer Programming and Combinatorial Optimization (10th International IPCO Conference, New York, NY, USA, June 7-11, 2004 : Proceedings (Lecture Notes in Computer Science))

By George Nemhauser, Daniel Bienstock

HK$584

Applications of Graph Transformations with Industrial Relevance (Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science))

By John L. Pfaltz, Manfred Nagel, Boris Böhlen

Applications of Graph Transformations with Industrial Relevance (Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science))

By John L. Pfaltz, Manfred Nagel, Boris Böhlen

HK$740

Types for Proofs and Programs (International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Stefano Berardi, Mario Coppo, Ferruccio Damiani

Types for Proofs and Programs (International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Stefano Berardi, Mario Coppo, Ferruccio Damiani

HK$578

Learning Theory (17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By John Shawe-Taylor, Yoram Singer

Learning Theory (17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By John Shawe-Taylor, Yoram Singer

HK$1,084

Principles and Practice of Constraint Programming - CP 2004 (10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings (Lecture Notes in Computer Science))

By Mark Wallace

Principles and Practice of Constraint Programming - CP 2004 (10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings (Lecture Notes in Computer Science))

By Mark Wallace

HK$1,100

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

HK$581

Graph Drawing (12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Janos Pach

Graph Drawing (12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Janos Pach

HK$1,060

Theory of Cryptography (Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Joe Kilian

Theory of Cryptography (Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Joe Kilian

HK$1,090

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

HK$687

Experimental and Efficient Algorithms (4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sotiris E. Nikoletseas

Experimental and Efficient Algorithms (4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sotiris E. Nikoletseas

HK$1,081

Learning Theory (18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings (Lecture Notes in Artificial Intelligence))

By Peter Auer, Ron Meir

Learning Theory (18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings (Lecture Notes in Artificial Intelligence))

By Peter Auer, Ron Meir

HK$1,200

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

HK$555

Inductive Logic Programming (15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Stefan Kramer, Bernhard Pfahringer