Tools and Algorithms for the Construction and Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)

By Orna Grumberg, Michael Huth

Tools and Algorithms for the Construction and Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)

By Orna Grumberg, Michael Huth

HK$1,133

Tools and Algorithms for the Construction and Analysis of Systems (14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed)

By C. R. Ramakrishnan, Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems (14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed)

By C. R. Ramakrishnan, Jakob Rehof

HK$580

Fundamental Approaches to Software Engineering (21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in)

By Alessandra Russo, Andy Schurr

Fundamental Approaches to Software Engineering (21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in)

By Alessandra Russo, Andy Schurr

HK$500

Fundamental Approaches to Software Engineering (13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings (Lecture Notes in Co ..)

By David S. Rosenblum, Gabriele Taentzer

Fundamental Approaches to Software Engineering (13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings (Lecture Notes in Co ..)

By David S. Rosenblum, Gabriele Taentzer

HK$558

Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Compu ..)

By Vittorio Cortellessa, Dániel Varró

Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Compu ..)

By Vittorio Cortellessa, Dániel Varró

HK$534

Algorithmic Decision Theory (Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Patrice Perny, Marc Pirlot, Alexis Tsoukiàs

Algorithmic Decision Theory (Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Patrice Perny, Marc Pirlot, Alexis Tsoukiàs

HK$540

Bio-Inspired Computing (Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science))

By Linqiang Pan, Yong Wang, Jianqing Lin

Bio-Inspired Computing (Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science))

By Linqiang Pan, Yong Wang, Jianqing Lin

HK$672 Elsewhere ~~HK$770.45~~ Save HK$98.45 (13%)

Top-Down Digital VLSI Design (From Architectures to Gate-Level Circuits and FPGAs)

By Kaeslin, Hubert (Head of the Micro-electronics Design Center of

Top-Down Digital VLSI Design (From Architectures to Gate-Level Circuits and FPGAs)

By Kaeslin, Hubert (Head of the Micro-electronics Design Center of

HK$892 Elsewhere ~~HK$1,027.30~~ Save HK$135.30 (13%)

Unix System Administration Handbook

By Evi Nemeth, Garth Snyder, Scott Seebass, Trent Hein

Unix System Administration Handbook

By Evi Nemeth, Garth Snyder, Scott Seebass, Trent Hein

HK$458 Elsewhere ~~HK$559.94~~ Save HK$101.94 (18%)

1

Quantum Computing Fundamentals

By Easttom II, William

Quantum Computing Fundamentals

By Easttom II, William

HK$555

Large Scale Network-Centric Distributed Systems (Wiley Series on Parallel and Distributed Computing)

By Hamid Sarbazi-Azad, Albert Y. Zomaya

Large Scale Network-Centric Distributed Systems (Wiley Series on Parallel and Distributed Computing)

By Hamid Sarbazi-Azad, Albert Y. Zomaya

HK$1,240

VLSI Digital Signal Processing Systems (Design and Implementation)

By Keshab K. Parhi

VLSI Digital Signal Processing Systems (Design and Implementation)

By Keshab K. Parhi

HK$1,100 Elsewhere ~~HK$1,643.34~~ Save HK$543.34 (33%)

Reliability of Computer Systems and Networks (Fault Tolerance, Analysis, and Design)

By Martin L. Shooman

Reliability of Computer Systems and Networks (Fault Tolerance, Analysis, and Design)

By Martin L. Shooman

HK$1,200 Elsewhere ~~HK$1,900.19~~ Save HK$700.19 (37%)

Radio-Frequency Integrated-Circuit Engineering (Wiley Series in Microwave and Optical Engineering)

By Cam

Radio-Frequency Integrated-Circuit Engineering (Wiley Series in Microwave and Optical Engineering)

By Cam

HK$1,672 Elsewhere ~~HK$1,735.80~~ Save HK$63.80 (4%)

Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)

By Sinnen, Oliver

Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)

By Sinnen, Oliver

HK$940 Elsewhere ~~HK$1,088.54~~ Save HK$148.54 (14%)

Data Management for Multimedia Retrieval

By K. Selcuk Candan, Maria Luisa Sapino

Data Management for Multimedia Retrieval

By K. Selcuk Candan, Maria Luisa Sapino

HK$560 Elsewhere ~~HK$595.79~~ Save HK$35.79 (6%)

Multi-Core Embedded Systems

By Georgios Kornaros

Multi-Core Embedded Systems

By Georgios Kornaros

HK$598 Elsewhere ~~HK$677.99~~ Save HK$79.99 (12%)

Handbook of Approximation Algorithms and Metaheuristics, Second Edition (Two-Volume Set (Chapman & Hall/CRC Computer and Information Science Series))

By Teofilo F. Gonzalez

Handbook of Approximation Algorithms and Metaheuristics, Second Edition (Two-Volume Set (Chapman & Hall/CRC Computer and Information Science Series))

By Teofilo F. Gonzalez

HK$836 Elsewhere ~~HK$924.56~~ Save HK$88.56 (10%)

Handbook of Approximation Algorithms and Metaheuristics (Contemporary and Emerging Applications, Volume 2)

By Teofilo F. Gonzalez

Handbook of Approximation Algorithms and Metaheuristics (Contemporary and Emerging Applications, Volume 2)

By Teofilo F. Gonzalez

HK$634

Computer Simulation (A Foundational Approach Using Python (Chapman & Hall/CRC Computer and Information Science Series))

By Yahya Esmail Osais

Computer Simulation (A Foundational Approach Using Python (Chapman & Hall/CRC Computer and Information Science Series))

By Yahya Esmail Osais

HK$422

Computer Network Simulation Using NS2

By Ajit Kumar Nayak, Satyananda Champati Rai, Rajib Mall

Computer Network Simulation Using NS2

By Ajit Kumar Nayak, Satyananda Champati Rai, Rajib Mall

HK$436 Elsewhere ~~HK$503.33~~ Save HK$67.33 (13%)

Distributed Systems (An Algorithmic Approach, Second Edition (Chapman & Hall/CRC Computer and Information Science Series))

By Sukumar Ghosh

Distributed Systems (An Algorithmic Approach, Second Edition (Chapman & Hall/CRC Computer and Information Science Series))

By Sukumar Ghosh

HK$471

Proceedings of the IFIP TC 11 23rd International Information Security Conference (IFIP 20th World Computer Congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy (IFIP Advances in Information and Communication Technology))

By Sushil Jajodia, Pierangela Samarati, Stelvio Cimato

Proceedings of the IFIP TC 11 23rd International Information Security Conference (IFIP 20th World Computer Congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy (IFIP Advances in Information and Communication Technology))

By Sushil Jajodia, Pierangela Samarati, Stelvio Cimato

HK$1,531

Advanced Topics in Term Rewriting

By Ohlebusch, Enno

Advanced Topics in Term Rewriting

By Ohlebusch, Enno

HK$560

View:
Safe Search(?):