Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Fatigue of Structures and Materials
Fatigue of Structures and Materials
Fatigue of structures and materials covers a wide scope of different topics. The purpose of the present book is to explain these topics, to indicate how they can be analyzed, and how this can contribute to the designing of fatigue resistant structures and to prevent structural fatigue problems in service.

This book is...

Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,...
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
As designs increase in complexity, so has the value of verification engineers within the hardware design team. In fact, the need for skilled verification engineers has grown dramatically--functional verification now consumes between 40 and 70% of a project's labor, and about half its cost. Currently there are very few books on verification for...
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and...
Principles of Functional Verification
Principles of Functional Verification
A step-by-step guide to electronic design verification

As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and
...
CCNP ROUTE 642-902 Official Certification Guide (Exam Certification Guide)
CCNP ROUTE 642-902 Official Certification Guide (Exam Certification Guide)

Master the CCNP® ROUTE 642-902 exam with this official study guide

  • Assess your knowledge with chapter-opening quizzes
  • Review key concepts with Exam Preparation Tasks
  • Practice with realistic exam questions on the CD-ROM

CCNP...

PCI Express System Architecture
PCI Express System Architecture

PCI Express is the third-generation Peripheral Component Inter-connect technology for a wide range of systems and peripheral devices. Incorporating recent advances in high-speed, point-to-point interconnects, PCI Express provides significantly higher performance, reliability, and enhanced capabilities—at a lower...

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004.

The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current...

A Practical Guide for SystemVerilog Assertions
A Practical Guide for SystemVerilog Assertions
When Gateway Design Automation, Inc. created Verilog in the mid- 1980's, the process of integrated circuit design was very different than it is today. The role of Verilog, as well as its capability, has evolved since its inception into today's SystemVerilog.

SystemVerilog language consists of three categories of...

Programming for the Java(TM) Virtual Machine
Programming for the Java(TM) Virtual Machine

The core of Java technology, the Java virtual machine is an abstract computing machine that enables the Java platform to host applications on any computer or operating system without rewriting or recompiling. Anyone interested in designing a language or writing a compiler for the Java virtual machine must have an in-depth...

An Experimental Approach to CDMA and Interference Mitigation: From System Architecture to Hardware Testing through VLSI Design
An Experimental Approach to CDMA and Interference Mitigation: From System Architecture to Hardware Testing through VLSI Design

The key of a successful approach to the complex issue of designing wireless terminals for present and future communication systems (usually addressed to as '3rd Generation and beyond') lies in a single 'magic' word: multidisciplinarity. This was actually the philosophy which inspired and drove a fruitful teamwork performed at...

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

unlimited object storage image
Result Page: 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy