Formal Verification (An Essential Toolkit for Modern VLSI Design)

By Seligman, Erik (Senior Product Engineering Architect, Cadence De, Schubert, Tom (Adjunct Professor, Department of Electrical and C, M. V. Achutha Kiran Kumar

Formal Verification (An Essential Toolkit for Modern VLSI Design)

By Seligman, Erik (Senior Product Engineering Architect, Cadence De, Schubert, Tom (Adjunct Professor, Department of Electrical and C, M. V. Achutha Kiran Kumar

HK$792 Elsewhere ~~HK$913.88~~ Save HK$121.88 (13%)

Secure Java (For Web Application Development)

By Abhay Bhargav, B. V. Kumar

Secure Java (For Web Application Development)

By Abhay Bhargav, B. V. Kumar

HK$1,592 Elsewhere ~~HK$1,849.34~~ Save HK$257.34 (14%)

Foundations of Software Technology and Theoretical Computer Science (Eighth Conference, Pune, India, December 21-23, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kesav V. Nori, Sanjeev Kumar

Foundations of Software Technology and Theoretical Computer Science (Eighth Conference, Pune, India, December 21-23, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kesav V. Nori, Sanjeev Kumar

HK$700

Blockchain for IoT Systems (Concept, Framework and Applications (Chapman & Hall/CRC Blockchain for Smart and Green Society))

By V Sridhar, Sita Rani, Piyush Kumar Pareek, Pankaj Bhambri

Blockchain for IoT Systems (Concept, Framework and Applications (Chapman & Hall/CRC Blockchain for Smart and Green Society))

By V Sridhar, Sita Rani, Piyush Kumar Pareek, Pankaj Bhambri

HK$900 Elsewhere ~~HK$1,335.64~~ Save HK$435.64 (33%)

Computational Science and Its Applications - ICCSA 2006 (International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan

Computational Science and Its Applications - ICCSA 2006 (International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan

HK$1,500

Formal Methods and Models for System Design (A System Level Perspective)

By Rajesh Kumar Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin

Formal Methods and Models for System Design (A System Level Perspective)

By Rajesh Kumar Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin

HK$1,284

Human-computer Etiquette (Cultural Expectations and the Design Implications They Place on Computers and Technology (Supply Chain Integration Modeling, Optimization and Application))

By Hayes, Caroline C., Christopher A. Miller, Sameer Kumar

Human-computer Etiquette (Cultural Expectations and the Design Implications They Place on Computers and Technology (Supply Chain Integration Modeling, Optimization and Application))

By Hayes, Caroline C., Christopher A. Miller, Sameer Kumar

HK$1,039 Elsewhere ~~HK$1,489.75~~ Save HK$450.75 (30%)

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

HK$435

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

HK$900

Technological Advancement in Internet of Medical Things and Blockchain for Personalized Healthcare (Applications and Use Cases)

By A Prasanth, Lakshmi D, Rajesh Kumar Dhanaraj, Balamurugan Balusamy

Technological Advancement in Internet of Medical Things and Blockchain for Personalized Healthcare (Applications and Use Cases)

By A Prasanth, Lakshmi D, Rajesh Kumar Dhanaraj, Balamurugan Balusamy

HK$700

Intelligent Networks (Techniques, and Applications (Wireless Communications and Networking Technologies))

By Vivek Kumar Singh, Anil Kumar Sagar, Parma Nand, Rani Astya

Intelligent Networks (Techniques, and Applications (Wireless Communications and Networking Technologies))

By Vivek Kumar Singh, Anil Kumar Sagar, Parma Nand, Rani Astya

HK$1,036 Elsewhere ~~HK$1,541.12~~ Save HK$505.12 (33%)

Recent Advancements in Computational Intelligence and Design Engineering (Conference Proceedings Series on Intelligent Systems, Data Engineering, and Optimization)

By Dac-Nhuong Le, Abhishek Dhar, Ranjan Kumar, Saravanan Muthaiyah

Recent Advancements in Computational Intelligence and Design Engineering (Conference Proceedings Series on Intelligent Systems, Data Engineering, and Optimization)

By Dac-Nhuong Le, Abhishek Dhar, Ranjan Kumar, Saravanan Muthaiyah

HK$1,560 Elsewhere ~~HK$1,695.23~~ Save HK$135.23 (8%)

Recent Advancements in Computational Intelligence and Design Engineering (Conference Proceedings Series on Intelligent Systems, Data Engineering, and Optimization)

By Dac-Nhuong Le, Abhishek Dhar, Ranjan Kumar, Saravanan Muthaiyah

Recent Advancements in Computational Intelligence and Design Engineering (Conference Proceedings Series on Intelligent Systems, Data Engineering, and Optimization)

By Dac-Nhuong Le, Abhishek Dhar, Ranjan Kumar, Saravanan Muthaiyah

HK$535

Mastering SolidWorks (Practical Examples (Management and Industrial Engineering))

By Kumar, Kaushik, Davim, J. Paulo, J. Paulo Davim

Mastering SolidWorks (Practical Examples (Management and Industrial Engineering))

By Kumar, Kaushik, Davim, J. Paulo, J. Paulo Davim

HK$1,400 Elsewhere ~~HK$1,643.76~~ Save HK$243.76 (15%)

Mastering SolidWorks (Practical Examples (Management and Industrial Engineering))

By Kumar, Kaushik, Davim, J. Paulo, J. Paulo Davim

Mastering SolidWorks (Practical Examples (Management and Industrial Engineering))

By Kumar, Kaushik, Davim, J. Paulo, J. Paulo Davim

HK$1,400 Elsewhere ~~HK$1,643.76~~ Save HK$243.76 (15%)

Advanced Network Technologies and Intelligent Computing (Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I (Communications in Computer and Information Science))

By Anshul Verma, Pradeepika Verma, Kiran Kumar Pattanaik, Sanjay Kumar Dhurandher

Advanced Network Technologies and Intelligent Computing (Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I (Communications in Computer and Information Science))

By Anshul Verma, Pradeepika Verma, Kiran Kumar Pattanaik, Sanjay Kumar Dhurandher

HK$700

Distributed Computing - IWDC 2003 (5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings (Lecture Notes in Computer Science))

By Samir R. Das, Sajal Kumar Das

Distributed Computing - IWDC 2003 (5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings (Lecture Notes in Computer Science))

By Samir R. Das, Sajal Kumar Das

HK$557

Distributed Computing – IWDC 2005 (7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta

Distributed Computing – IWDC 2005 (7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta

HK$987

Automated Technology for Verification and Analysis (15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Programming and Software Engineering))

By Deepak D'Souza, K. Narayan Kumar

Automated Technology for Verification and Analysis (15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Programming and Software Engineering))

By Deepak D'Souza, K. Narayan Kumar

HK$888

Software and Data Technolgoies (Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 (Communications in Computer and Information Science))

By Jose Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert

Software and Data Technolgoies (Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 (Communications in Computer and Information Science))

By Jose Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert

HK$500

Frontiers in Materials Modelling and Design (Proceedings of the Conference on Frontiers in Materials Modelling and Design, Kalpakkam, 20-23 August 1996)

By Vijay Kumar, Surajit Sengupta, Baldev Raj

Frontiers in Materials Modelling and Design (Proceedings of the Conference on Frontiers in Materials Modelling and Design, Kalpakkam, 20-23 August 1996)

By Vijay Kumar, Surajit Sengupta, Baldev Raj

HK$960

Practical Aspects of Declarative Languages (Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : Proceedings: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Lecture Notes in Computer)

By I. V. Ramakrishnan

Practical Aspects of Declarative Languages (Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : Proceedings: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Lecture Notes in Computer)

By I. V. Ramakrishnan

HK$500

View:
Safe Search(?):