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

£78.56 Elsewhere ~~£88.95~~ Save £10.39 (12%)

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%)

Hybrid Genetic Optimization for IC Chips Thermal Control (With MATLAB® Applications (Advances in Metaheuristics))

By Mathew V. K., Hotta, Tapano Kumar

Hybrid Genetic Optimization for IC Chips Thermal Control (With MATLAB® Applications (Advances in Metaheuristics))

By Mathew V. K., Hotta, Tapano Kumar

£94.08 Elsewhere ~~£160.00~~ Save £65.92 (41%)

Hybrid Genetic Optimization for IC Chips Thermal Control (With MATLAB® Applications (Advances in Metaheuristics))

By Mathew V. K., Hotta, Tapano Kumar

Hybrid Genetic Optimization for IC Chips Thermal Control (With MATLAB® Applications (Advances in Metaheuristics))

By Mathew V. K., Hotta, Tapano Kumar

£40.98 Elsewhere ~~£43.99~~ Save £3.01 (7%)

Einf�hrung in die Programmierung [German]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

Einf�hrung in die Programmierung [German]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

£55.59 Elsewhere ~~£58.00~~ Save £2.41 (4%)

Introduction � la programmation [French]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

Introduction � la programmation [French]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

£55.59 Elsewhere ~~£58.00~~ Save £2.41 (4%)

Introduzione alla programmazione [Italian]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

Introduzione alla programmazione [Italian]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

£55.59 Elsewhere ~~£58.00~~ Save £2.41 (4%)

Introdu��o � programa��o [Portuguese]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

Introdu��o � programa��o [Portuguese]

By V. Pavan Kumar, K. Ramesh, P. Ravindra Reddy

£55.59 Elsewhere ~~£58.00~~ Save £2.41 (4%)

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

Advanced Applications of Python Data Structures and Algorithms

By Mohammad Gouse Galety, Arul Kumar Natarajan, A. V. Sriharsha

Advanced Applications of Python Data Structures and Algorithms

By Mohammad Gouse Galety, Arul Kumar Natarajan, A. V. Sriharsha

£204 Elsewhere ~~£268.00~~ Save £64.00 (24%)

Advanced Applications of Python Data Structures and Algorithms

By Mohammad Gouse Galety, Arul Kumar Natarajan, A. V. Sriharsha

Advanced Applications of Python Data Structures and Algorithms

By Mohammad Gouse Galety, Arul Kumar Natarajan, A. V. Sriharsha

£150 Elsewhere ~~£203.00~~ Save £53.00 (26%)

Getting Started with V Programming (An end-to-end guide to adopting the V language from basic variables and modules to advanced concurrency)

By Navule Pavan Kumar Rao

Getting Started with V Programming (An end-to-end guide to adopting the V language from basic variables and modules to advanced concurrency)

By Navule Pavan Kumar Rao

£27.23

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

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

£55.04

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

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.66

Time Series Forecasting Using Generative AI (Leveraging AI for Precision Forecasting)

By Banglore Vijay Kumar Vishwas, Sri Ram Macharla

Time Series Forecasting Using Generative AI (Leveraging AI for Precision Forecasting)

By Banglore Vijay Kumar Vishwas, Sri Ram Macharla

£43.33 Elsewhere ~~£44.99~~ Save £1.66 (4%)

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

Computer-Aided Diagnosis (CAD) Tools and Applications for 3D Medical Imaging, Volume 136 (Advances in Computers)

By Abhishek Gupta, Bala Chakravarthy Neelapu, Shailendra Singh Rana

Computer-Aided Diagnosis (CAD) Tools and Applications for 3D Medical Imaging, Volume 136 (Advances in Computers)

By Abhishek Gupta, Bala Chakravarthy Neelapu, Shailendra Singh Rana

£108 Elsewhere ~~£126.00~~ Save £18.00 (14%)

Electronic Chips and Systems Design Languages

By Jean Mermet

Electronic Chips and Systems Design Languages

By Jean Mermet

£177

Recent Advances in Parallel Virtual Machine and Message Passing Interface (5th European PVM/MPI User's Group Meeting, Liverpool, UK, September 7-9, 1998 : Proceedings (Lecture Notes in Computer Science))

By Vassil Alexandrov, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (5th European PVM/MPI User's Group Meeting, Liverpool, UK, September 7-9, 1998 : Proceedings (Lecture Notes in Computer Science))

By Vassil Alexandrov, Jack Dongarra

£45.01

Incomplete Information (Structure, Inference, Complexity (Monographs in Theoretical Computer Science : an Eatcs Series))

By Stephane P. Demri, Ewa S. Orlowska

Incomplete Information (Structure, Inference, Complexity (Monographs in Theoretical Computer Science : an Eatcs Series))

By Stephane P. Demri, Ewa S. Orlowska

£123 Elsewhere ~~£129.99~~ Save £6.99 (5%)

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

Currently
Unavailable

View:
Safe Search(?):