Home / Publishers / Springer

Books by Publisher: Springer

All books from this publisher

109,242 books found — Page 440 of 3414
System-on-a-Chip Verification: Methodology and Techniques
System-on-a-Chip Verification: Methodology and Techniques
By: Prakash Rashinkar, Peter Paterson, Leena Singh
View Details
Electrothermal Analysis of VLSI Systems 2002 edition by Yi-Kan Cheng, Ching-Han Tsai, Chin-Chi Teng, Sung-Mo (Steve) (2000) Hardcover
Electrothermal Analysis of VLSI Systems 2002 edition by Yi-…
By:
View Details
Silicon and Plant Diseases
Silicon and Plant Diseases
By:
View Details
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Rigorous Software Development: An Introduction to Program V…
By: José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
View Details
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Verification and Validation in Systems Engineering: Assessi…
By: Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
View Details
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
ESL Models and their Application: Electronic System Level D…
By: Brian Bailey, Grant Martin
View Details
Fundamentals of IP and SoC Security: Design, Verification, and Debug
Fundamentals of IP and SoC Security: Design, Verification, …
By:
View Details
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Appli…
By: Aaron R. Bradley, Zohar Manna
View Details
Writing Testbenches: Functional Verification of HDL Models
Writing Testbenches: Functional Verification of HDL Models
By: Janick Bergeron
View Details
Constraint-Based Verification
Constraint-Based Verification
By: Jun Yuan, Carl Pixley, Adnan Aziz
View Details
Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success
Metric Driven Design Verification: An Engineer's and E…
By: Hamilton B. Carter, Shankar G. Hemmady
View Details
Scenario Studies for the Rural Environment: Selected and edited Proceedings of the Symposium Scenario Studies for the Rural Environment, Wageningen, ... 12–15 September 1994 (Environment & Policy)
Scenario Studies for the Rural Environment: Selected and ed…
By:
View Details
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Tre…
By:
View Details
Plant Tissue Culture: An Introductory Text
Plant Tissue Culture: An Introductory Text
By: Sant Saran Bhojwani, Prem Kumar Dantu
View Details
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
Interactive Systems: Design, Specification, and Verificatio…
By:
View Details
String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
By: Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
View Details
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Technique…
By: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
View Details
Computer Music Instruments: Foundations, Design and Development
Computer Music Instruments: Foundations, Design and Develop…
By: Victor Lazzarini
View Details
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
By: Gary D. Hachtel, Fabio Somenzi
View Details
Computational Science and Its Applications - ICCSA 2005: International Conference, Singapore, May 9-12, 2005, Proceedings, Part II (Lecture Notes in Computer Science) (Pt. 2)
Computational Science and Its Applications - ICCSA 2005: In…
By:
View Details
Corporate Social Responsibility in Europe: United in Sustainable Diversity (CSR, Sustainability, Ethics & Governance)
Corporate Social Responsibility in Europe: United in Sustai…
By:
View Details
Band Structure Engineering in Semiconductor Microstructures (Nato Science Series B:)
Band Structure Engineering in Semiconductor Microstructures…
By:
View Details
Solid Mechanics: A Variational Approach, Augmented Edition
Solid Mechanics: A Variational Approach, Augmented Edition
By: Clive L. Dym, Irving H. Shames
View Details
Cooling of Electronic Systems (Nato Science Series E:)
Cooling of Electronic Systems (Nato Science Series E:)
By:
View Details
Analysis of Electrical Circuits with Variable Load Regime Parameters: Projective Geometry Method (Power Systems)
Analysis of Electrical Circuits with Variable Load Regime P…
By: A. Penin
View Details
Advances in Nutrition and Cancer (Advances in Experimental Medicine & Biology)
Advances in Nutrition and Cancer (Advances in Experimental …
By:
View Details
Nonlinear Differential Equation Models
Nonlinear Differential Equation Models
By:
View Details
Handbook of Simulation Optimization (International Series in Operations Research & Management Science)
Handbook of Simulation Optimization (International Series i…
By:
View Details
Computer Engineering in Applied Electromagnetism
Computer Engineering in Applied Electromagnetism
By:
View Details
Fuzzy Cognitive Maps: Advances in Theory, Methodologies, Tools and Applications (Studies in Fuzziness and Soft Computing)
Fuzzy Cognitive Maps: Advances in Theory, Methodologies, To…
By:
View Details
13: Theory and Applications of Special Functions: A Volume Dedicated to Mizan Rahman (Developments in Mathematics)
13: Theory and Applications of Special Functions: A Volume …
By:
View Details
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science)
Inductive Logic Programming: 14th International Conference,…
By:
View Details