Home / Publishers / Springer

Books by Publisher: Springer

All books from this publisher

109,306 books found — Page 443 of 3416
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog
By: Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale
View Details
4: Toward the Integration of Theory, Methods, Research, and Utilization (Advances in Environment, Behavior and Design)
4: Toward the Integration of Theory, Methods, Research, and…
By:
View Details
Recent Advances in Computer Science and Information Engineering: Volume 5 (Lecture Notes in Electrical Engineering)
Recent Advances in Computer Science and Information Enginee…
By:
View Details
Analog Circuit Design: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
Analog Circuit Design: RF Circuits: Wide band, Front-Ends, …
By:
View Details
001: Differential Equation Models (Modules in Applied Mathematics)
001: Differential Equation Models (Modules in Applied Mathe…
By:
View Details
A Practical Theory of Programming (Monographs in Computer Science)
A Practical Theory of Programming (Monographs in Computer S…
By: Eric C.R. Hehner
View Details
Testis, Epididymis and Technologies in the Year 2000: 11th European Workshop on Molecular and Cellular Endocrinology of the Testis: Supplement 6 (Ernst ... Symposium Proceedings Supplements)
Testis, Epididymis and Technologies in the Year 2000: 11th …
By:
View Details
Collected Papers I (Springer Collected Works in Mathematics)
Collected Papers I (Springer Collected Works in Mathematics)
By: Atle Selberg
View Details
Cryptographic Security Architecture: Design and Verification
Cryptographic Security Architecture: Design and Verification
By: Peter Gutmann
View Details
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis
By: Andrew Piziali
View Details
Digital Watermarking Techniques in Curvelet and Ridgelet Domain (SpringerBriefs in Computer Science)
Digital Watermarking Techniques in Curvelet and Ridgelet Do…
By: Channapragada Rama Seshagiri Rao, Munaga V.N.K. Prasad
View Details
Odors In the Food Industry (Integrating Food Science and Engineering Knowledge Into the Food Chain)
Odors In the Food Industry (Integrating Food Science and En…
By:
View Details
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