Neuromorphic Systems Engineering (Neural Networks in Silicon (The Springer International Series in Engineering and Computer Science))

By Tor Sverre Lande

Neuromorphic Systems Engineering (Neural Networks in Silicon (The Springer International Series in Engineering and Computer Science))

By Tor Sverre Lande

HK$1,460

High Performance Computing Systems and Applications (Springer International Series in Engineering and Computer Science The)

By Andrew Pollard, Douglas J. K. Mewhort, Donald F. Weaver

High Performance Computing Systems and Applications (Springer International Series in Engineering and Computer Science The)

By Andrew Pollard, Douglas J. K. Mewhort, Donald F. Weaver

HK$1,494

Proven Impossible (Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More)

By Gusfield, Dan

Proven Impossible (Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More)

By Gusfield, Dan

HK$262 Elsewhere ~~HK$289.02~~ Save HK$27.02 (9%)

Proven Impossible (Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More)

By Gusfield, Dan

Proven Impossible (Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More)

By Gusfield, Dan

HK$533 Elsewhere ~~HK$619.44~~ Save HK$86.44 (14%)

Systems Engineering Neural Networks

By Migliaccio, Alessandro, Iannone, Giovanni

Systems Engineering Neural Networks

By Migliaccio, Alessandro, Iannone, Giovanni

HK$700 Elsewhere ~~HK$1,017.08~~ Save HK$317.08 (31%)

Game Theory

By Quiming Huang

Game Theory

By Quiming Huang

HK$1,160 Elsewhere ~~HK$1,228.76~~ Save HK$68.76 (6%)

Modern Formal Methods and Applications

By Hossam A. Gabbar

Modern Formal Methods and Applications

By Hossam A. Gabbar

HK$1,040

String Processing and Information Retrieval (25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings (Lecture Notes in Computer Science))

By Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas

String Processing and Information Retrieval (25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings (Lecture Notes in Computer Science))

By Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas

HK$540

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

HK$1,139

Combinatorial Algorithms (30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Charles J. Colbourn, Roberto Grossi, Nadia Pisanti

Combinatorial Algorithms (30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Charles J. Colbourn, Roberto Grossi, Nadia Pisanti

HK$796

Advances in Swarm Intelligence (10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Ying Tan, Yuhui Shi, Ben Niu

Advances in Swarm Intelligence (10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Ying Tan, Yuhui Shi, Ben Niu

HK$799

String Processing and Information Retrieval (26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Nieves R. Brisaboa, Simon J. Puglisi

String Processing and Information Retrieval (26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Nieves R. Brisaboa, Simon J. Puglisi

HK$600

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

HK$1,200

Mathematical Foundations of Computer Science (29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : Proceedings: 2004 (Lecture Notes in Computer Science))

By Jirí Fiala, Václav Koubek, Jan Kratochvil

Mathematical Foundations of Computer Science (29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : Proceedings: 2004 (Lecture Notes in Computer Science))

By Jirí Fiala, Václav Koubek, Jan Kratochvil

HK$1,135

Developments in Language Theory (8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : Proceedings (Lecture Notes in Computer Science))

By Cristian S. Calude, Elena Calude, Michael J. Dinneen

Developments in Language Theory (8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : Proceedings (Lecture Notes in Computer Science))

By Cristian S. Calude, Elena Calude, Michael J. Dinneen

HK$687

Declarative Agent Languages and Technologies II (Second International Workshop, Dalt 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers: v. 2 (Lecture Notes in Computer Science))

By Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum

Declarative Agent Languages and Technologies II (Second International Workshop, Dalt 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers: v. 2 (Lecture Notes in Computer Science))

By Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum

HK$632

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

HK$1,230

Mathematical Foundations of Computer Science 2005 (30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Joanna Jedrzejowicz, Andrzej Szepietowski

Mathematical Foundations of Computer Science 2005 (30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Joanna Jedrzejowicz, Andrzej Szepietowski

HK$1,200

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

HK$740

The Semantic Web - ISWC 2005 (4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci))

By Yolanda Gil, Enrico Motta, V. Richards Benjamins, Mark Musen

The Semantic Web - ISWC 2005 (4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci))

By Yolanda Gil, Enrico Motta, V. Richards Benjamins, Mark Musen

HK$1,700

Graph Transformations (Third International Conference, ICGT 2006 Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro

Graph Transformations (Third International Conference, ICGT 2006 Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro

HK$700

Evolvable Components (From Theory to Hardware Implementations (Natural Computing Series))

By Sekanina, Lukas

Evolvable Components (From Theory to Hardware Implementations (Natural Computing Series))

By Sekanina, Lukas

HK$657

Formal Techniques in Real-Time and Fault-Tolerant Systems (7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Lecture Notes in Computer Science))

By Werner Damm, Ernst-Rudiger Olderog

Formal Techniques in Real-Time and Fault-Tolerant Systems (7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Lecture Notes in Computer Science))

By Werner Damm, Ernst-Rudiger Olderog

HK$695

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

View:
Safe Search(?):