Data Converters, Phase-Locked Loops, and Their Applications (CMOS Analog Integrated Circuits)

By Ndjountche, Tertulien

Data Converters, Phase-Locked Loops, and Their Applications (CMOS Analog Integrated Circuits)

By Ndjountche, Tertulien

HK$1,500 Elsewhere ~~HK$1,695.22~~ Save HK$195.22 (12%)

Embedded Software Development for Safety-Critical Systems

By Hobbs, Chris

Embedded Software Development for Safety-Critical Systems

By Hobbs, Chris

HK$465

Reconfigurable Computing Systems Engineering (Virtualization of Computing Architecture)

By Kirischian, Lev

Reconfigurable Computing Systems Engineering (Virtualization of Computing Architecture)

By Kirischian, Lev

HK$1,140 Elsewhere ~~HK$1,335.63~~ Save HK$195.63 (15%)

Cloud Data Center Network Architectures and Technologies (Data Communication Series)

By Zhang, Lei, Chen, Le

Cloud Data Center Network Architectures and Technologies (Data Communication Series)

By Zhang, Lei, Chen, Le

HK$393

Formal Approaches to Software Testing (Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alexandre Petrenko, Andreas Ulrich

Formal Approaches to Software Testing (Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alexandre Petrenko, Andreas Ulrich

HK$500

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

Relational Methods in Computer Science (8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of Cost Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,)

By Wendy MacCaull, Michael Winter, Ivo Duntsch

Relational Methods in Computer Science (8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of Cost Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,)

By Wendy MacCaull, Michael Winter, Ivo Duntsch

HK$575

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

HK$1,000

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))

By Matthew B. Dwyer

HK$500

Implementation and Application of Automata (5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sheng Yu, Andrei Paun

Implementation and Application of Automata (5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sheng Yu, Andrei Paun

HK$500

Abstraction, Reformulation, and Approximation (5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sven Koenig, Robert C. Holte

Abstraction, Reformulation, and Approximation (5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sven Koenig, Robert C. Holte

HK$600

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (4th: International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 - Proceedings (Lecture Notes in Computer Science / Lec)

By Gregor von Bochmann, David K. Probst

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (4th: International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 - Proceedings (Lecture Notes in Computer Science / Lec)

By Gregor von Bochmann, David K. Probst

HK$537

Functional Programming, Concurrency, Simulation and Automated Reasoning (International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter E. Lauer

Functional Programming, Concurrency, Simulation and Automated Reasoning (International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter E. Lauer

HK$533

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (6th: International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 - Proceedings (Lectur)

By Jeffrey J. Joyce, Carl-Johan H. Seger

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (6th: International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 - Proceedings (Lectur)

By Jeffrey J. Joyce, Carl-Johan H. Seger

HK$555

Algebraic Methodology and Software Technology (4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 - Proceedings (Lecture Notes in Computer Science))

By Vangalur S. Alagar, Maurice Nivat

Algebraic Methodology and Software Technology (4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 - Proceedings (Lecture Notes in Computer Science))

By Vangalur S. Alagar, Maurice Nivat

HK$987

Automata Implementation (First International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Darrell Raymond, Derick Wood, Sheng Yu

Automata Implementation (First International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Darrell Raymond, Derick Wood, Sheng Yu

HK$540

Computer Aided Verification (10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alan J. Hu, Moshe Y. Vardi

Computer Aided Verification (10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alan J. Hu, Moshe Y. Vardi

HK$987

Theorem Proving in Higher Order Logics (21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar

Theorem Proving in Higher Order Logics (21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar

HK$550

Abstraction, Reformulation, and Approximation (7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Ian Miguel, Wheeler Tuml

Abstraction, Reformulation, and Approximation (7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Ian Miguel, Wheeler Tuml

HK$540

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops (ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings (Theoretical Compute)

By Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops (ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings (Theoretical Compute)

By Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko

HK$984

Runtime Verification (7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oleg Sokolsky, Serdar Tasiran

Runtime Verification (7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oleg Sokolsky, Serdar Tasiran

HK$499

CONCUR 2008 - Concurrency Theory (19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck van Breugel, Marsha Chechik

CONCUR 2008 - Concurrency Theory (19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck van Breugel, Marsha Chechik

HK$580

Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Natarajan Shankar, Jim Woodcock

Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Natarajan Shankar, Jim Woodcock

HK$500

Patch-Based Techniques in Medical Imaging (Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Guorong Wu, Brent C. Munsell, Yiqiang Zhan, Wenjia Bai

Patch-Based Techniques in Medical Imaging (Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Guorong Wu, Brent C. Munsell, Yiqiang Zhan, Wenjia Bai

HK$740

View:
Safe Search(?):