Learn IT - Books tags verification

Models and Analysis for Distributed Systems (ISTE)

John Wiley & Sons, 2011

Verification and hence modeling are a mandatory but intricate problem for engineers developing embedded distributed real-time systems that are entrusted with critical safety applications like medical care, transportation, energy production, industrial processes, military operations. Therefore, while emerging 40 years ago, first for...

Governance, Risk, and Compliance Handbook for Oracle Applications

Packt Publishing, 2012

Governance: In depth coverage of corporate, IT, and security Governance, which includes important topics such as strategy development and communication, strategic reporting and control, and more

Risk Management: Creating a risk management program, performing risk assessment and control verification, and more

...

CCDA: Cisco Certified Design Associate Study Guide, Second Edition (Exam 640-861)

Sybex, 2003

Here’s the book you need to prepare for Cisco’s revised CCDA exam, 640-861. This Study Guide provides:

In-depth coverage of every CCDA exam objective
Practical information on Cisco design solutions
Hundreds of challenging practice questions

Authoritative coverage of all...

Interconnection Noise in VLSI Circuits

Springer, 2003

Interconnections are a most important design issue nowadays. Trends in the microelectronic industry are leading to unwanted interconnect effects, especially noise, becoming more important. This increasing importance is mainly due to three reasons: increasing integration, increasing signal frequency spectrum components, and increasing complexity....

Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Springer, 2013

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered...

A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering)

Springer, 2012

The aim of this book is to teach computer programming using examples from mathematics and the natural sciences. We have chosen to use the Python programming language because it combines remarkable expressive power with very clean, simple, and compact syntax. Python is easy to learn and very well suited for an introduction to...

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Springer, 2007

ETAPS 2007 is the tenth instance of the European Joint Conferences on Theory and Practice of Software, and thus a cause for celebration.

The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and...

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... Papers (Lecture Notes in Computer Science)

Springer, 2013

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by...

Metamaterials: Theory, Design, and Applications

Springer, 2009

Metamaterials:Theory, Design, and Applications goes beyond left-handed materials (LHM) or negative index materials (NIM) and focuses on recent research activity. Included here is an introduction to optical transformation theory, revealing invisible cloaks, EM concentrators, beam splitters, and new-type antennas, a presentation of general...

Protocol Engineering

Springer, 2012

Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that describe how communication systems interact with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the...

Real-Time Systems: Formal Specification and Automatic Verification

Cambridge University Press, 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...

Compiler Specification and Verification (Lecture Notes in Computer Science)

Springer, 1981

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13