Smart Cities (Blockchain, AI, and Advanced Computing)

By Bhisham Sharma, Manik Gupta, Gwanggil Jeon

Smart Cities (Blockchain, AI, and Advanced Computing)

By Bhisham Sharma, Manik Gupta, Gwanggil Jeon

HK$756 Elsewhere ~~HK$1,090.34~~ Save HK$334.34 (31%)

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 (Advances, Standards, Applications and Perspectives)

By Sebastien Gerard, Mireille Blay-Fornarino, Joel Champeau, Sylvain Robert

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 (Advances, Standards, Applications and Perspectives)

By Sebastien Gerard, Mireille Blay-Fornarino, Joel Champeau, Sylvain Robert

HK$1,155 Elsewhere ~~HK$1,377.30~~ Save HK$222.30 (16%)

Principles and Practice of Constraint Programming (25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings (Lecture Notes in Computer Science))

By Thomas Schiex, Simon de Givry

Principles and Practice of Constraint Programming (25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings (Lecture Notes in Computer Science))

By Thomas Schiex, Simon de Givry

HK$600

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

HK$635

Object-oriented Technology - ECOOP 2002 Workshop Reader (ECOOP 2002 Workshops and Posters, Malaga, Spain, June 10-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Juan Hernandez, Ana Moreira

Object-oriented Technology - ECOOP 2002 Workshop Reader (ECOOP 2002 Workshops and Posters, Malaga, Spain, June 10-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Juan Hernandez, Ana Moreira

HK$551

Implementation and Application of Automata (6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Lecture Notes in Computer Science))

By Bruce Watson, Derek Wood

Implementation and Application of Automata (6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Lecture Notes in Computer Science))

By Bruce Watson, Derek Wood

HK$578

Theoretical Computer Science (5th Gi-conference Karlsruhe, March 23-25, 1981: v. 104 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By P. Deussen

Theoretical Computer Science (5th Gi-conference Karlsruhe, March 23-25, 1981: v. 104 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By P. Deussen

HK$498

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

HK$500

Fundamentals of Artificial Intelligence (An Advanced Course (Lecture Notes in Computer Science))

By Bibel, Wolfgang, Biermann, A. W., Philippe Jorrand, G. Huet

Fundamentals of Artificial Intelligence (An Advanced Course (Lecture Notes in Computer Science))

By Bibel, Wolfgang, Biermann, A. W., Philippe Jorrand, G. Huet

HK$500

Principles and Practice of Constraint Programming - CP 2003 (9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science))

By Francesca Rossi

Principles and Practice of Constraint Programming - CP 2003 (9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science))

By Francesca Rossi

HK$1,040

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

HK$1,100

STACS 2004 (21st Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany,March 25-27, 2004 : Proceedings (Lecture Notes in Computer Science))

By Volker Diekert, Michel Habib

STACS 2004 (21st Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany,March 25-27, 2004 : Proceedings (Lecture Notes in Computer Science))

By Volker Diekert, Michel Habib

HK$989

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

HK$500

Abstract State Machines 2004. Advances in Theory and Practice (11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Proceedings: 2004 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolf Zimmermann, Bernhard Thalheim

Abstract State Machines 2004. Advances in Theory and Practice (11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Proceedings: 2004 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolf Zimmermann, Bernhard Thalheim

HK$556

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

HK$600

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

HK$600

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

HK$1,100

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

HK$1,100

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

HK$500

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

HK$600

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

HK$560

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

HK$1,100

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

HK$600

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

HK$634

View:
Safe Search(?):