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

£76.79 Elsewhere ~~£88.95~~ Save £12.16 (14%)

Secure Java (For Web Application Development)

By Abhay Bhargav, B. V. Kumar

Secure Java (For Web Application Development)

By Abhay Bhargav, B. V. Kumar

£156 Elsewhere ~~£180.00~~ Save £24.00 (13%)

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

£45.66

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

£89.10 Elsewhere ~~£130.00~~ Save £40.90 (31%)

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

£142

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

£124

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

£150 Elsewhere ~~£165.00~~ Save £15.00 (9%)

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

£41.66 Elsewhere ~~£49.99~~ Save £8.33 (17%)

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

£44.54 Elsewhere ~~£47.99~~ Save £3.45 (7%)

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

Elements of Digital Transformation

By Shivakumar, Shailesh Kumar (Senior Technology Architect, Infosys

£115 Elsewhere ~~£130.00~~ Save £15.00 (12%)

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

£87.18 Elsewhere ~~£97.99~~ Save £10.81 (11%)

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

£137 Elsewhere ~~£150.00~~ Save £13.00 (9%)

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

£138 Elsewhere ~~£159.99~~ Save £21.99 (14%)

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

£138 Elsewhere ~~£159.99~~ Save £21.99 (14%)

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

£59.95 Elsewhere ~~£64.99~~ Save £5.04 (8%)

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

£92.65

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

£54.61

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

£88.73

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

£45.05

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

£88.66

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

£47.65

Advances in Computers (Parallel, Distributed, and Pervasive Computing (Advances in Computers))

By Marvin V. Zelkowitz

Advances in Computers (Parallel, Distributed, and Pervasive Computing (Advances in Computers))

By Marvin V. Zelkowitz

£157

Advances in Computers (Architectural Advances (Advances in Computers))

By Marvin V. Zelkowitz

Advances in Computers (Architectural Advances (Advances in Computers))

By Marvin V. Zelkowitz

£138

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

£45.02

View:
Safe Search(?):