The 8051 Microcontroller and Embedded Systems (International Edition)

By Muhammad Ali Mazidi, Janice G. Mazidi, Rolin D. McKinlay

The 8051 Microcontroller and Embedded Systems (International Edition)

By Muhammad Ali Mazidi, Janice G. Mazidi, Rolin D. McKinlay

HK$983 Elsewhere ~~HK$1,039.93~~ Save HK$56.93 (5%)

1

Loose Leaf for Fundamentals of Digital Logic with VHDL Design

By Stephen D Brown, Zvonko G Vranesic

Loose Leaf for Fundamentals of Digital Logic with VHDL Design

By Stephen D Brown, Zvonko G Vranesic

HK$1,800

Recent Trends in Algebraic Development Techniques (17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas

Recent Trends in Algebraic Development Techniques (17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas

HK$580

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

HK$552

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

HK$954

Verification, Model Checking, and Abstract Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Neil D. Jones, Markus Muller-Olm

Verification, Model Checking, and Abstract Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Neil D. Jones, Markus Muller-Olm

HK$535

Reasoning Web (4th International Summer School 2008, Venice Italy, September 7-11, 2008 ; Tutorial Lectures (Lecture Notes in Computer Science))

By Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori

Reasoning Web (4th International Summer School 2008, Venice Italy, September 7-11, 2008 ; Tutorial Lectures (Lecture Notes in Computer Science))

By Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori

HK$534

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

HK$540

Pattern-orientated Software Architecture (v.2: Patterns for Concurrent and Distributed Objects (Wiley Series in Software Design Patterns))

By Frank Buschmann, etc., Douglas Schmidt, Michael Stal

Pattern-orientated Software Architecture (v.2: Patterns for Concurrent and Distributed Objects (Wiley Series in Software Design Patterns))

By Frank Buschmann, etc., Douglas Schmidt, Michael Stal

HK$760

1

Digital Twin Technology

By Gopal Chaudhary, Manju Khari, Mohamed Elhoseny

Digital Twin Technology

By Gopal Chaudhary, Manju Khari, Mohamed Elhoseny

HK$371 Elsewhere ~~HK$463.28~~ Save HK$92.28 (20%)

Collaborative Business Ecosystems and Virtual Enterprises (IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos

Collaborative Business Ecosystems and Virtual Enterprises (IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos

HK$1,384

Identification of Continuous-time Models from Sampled Data (Advances in Industrial Control)

By Hugues Garnier, Liuping Wang

Identification of Continuous-time Models from Sampled Data (Advances in Industrial Control)

By Hugues Garnier, Liuping Wang

HK$2,176

Rough Sets (International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings (Lecture Notes in Artificial Intelligence))

By Tamas Mihalydeak, Fan Min, Guoyin Wang, Mohua Banerjee

Rough Sets (International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019, Proceedings (Lecture Notes in Artificial Intelligence))

By Tamas Mihalydeak, Fan Min, Guoyin Wang, Mohua Banerjee

HK$576

Automated Reasoning (Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By David Basin, Michael Rusinowitch

Automated Reasoning (Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By David Basin, Michael Rusinowitch

HK$1,100

Object-Oriented Technology. ECOOP 2004 Workshop Reader (ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jacques Malenfant, Bjarte M. Ostvold

Object-Oriented Technology. ECOOP 2004 Workshop Reader (ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jacques Malenfant, Bjarte M. Ostvold

HK$500

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

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

HK$600

Scenarios (International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Stefan Leue, Tarja J. Systa

Scenarios (International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Stefan Leue, Tarja J. Systa

HK$583

Extreme Programming and Agile Processes in Software Engineering (6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert Baumeister, Michele Marchesi, Mike Holcombe

Extreme Programming and Agile Processes in Software Engineering (6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert Baumeister, Michele Marchesi, Mike Holcombe

HK$600

Abstraction, Reformulation and Approximation (6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Jean-Daniel Zucker, Lorenza Saitta

Abstraction, Reformulation and Approximation (6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Jean-Daniel Zucker, Lorenza Saitta

HK$633

Automated Deduction – CADE-20 (20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Robert Nieuwenhuis

Automated Deduction – CADE-20 (20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Robert Nieuwenhuis

HK$553

Computer Science Logic (19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luke Ong

Computer Science Logic (19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luke Ong

HK$700

CONCUR 2005 - Concurrency Theory (16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Martin Abadi, Luca De Alfaro