Home | Amazing | Today | Tags | Publishers | Years | Search 
Verification Techniques for System-Level Design (Systems on Silicon)
Verification Techniques for System-Level Design (Systems on Silicon)
A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the
...
IP-Traffic Theory and Performance (Signals and Communication Technology)
IP-Traffic Theory and Performance (Signals and Communication Technology)
This book presents different approaches in IP traffic theory and classifies them, especially towards applications in the Internet. It comprises the state of the art in this area, which is currently presented only by numerous research papers and overview articles.

The book provides an ideal starting point for detailed studies of traffic analysis...

How to Think About Algorithms
How to Think About Algorithms
There are many algorithm texts that provide lots of well-polished code and proofs of correctness. This book is not one of them. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing...
The Logic of Scientific Discovery (Routledge Classics)
The Logic of Scientific Discovery (Routledge Classics)
`One of the most important documents of the twentieth century.' - Sir Peter Medawar, New Scientist

`One cannot help feeling that, if it had been translated as soon as it had been originally published, philosophy in this country might have been saved some detours. Professor Popper's thesis has that quality of greatness that, once
...
Modal Logic: An Introduction to its Syntax and Semantics
Modal Logic: An Introduction to its Syntax and Semantics
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result...
The Boundary Element Method with Programming: For Engineers and Scientists
The Boundary Element Method with Programming: For Engineers and Scientists
This is a thorough, yet understandable text about the boundary element method (BEM), an attractive alternative to the finite element method (FEM). It not only explains the theory, but also deals with the implementation into computer code written in FORTRAN 95 (software can be freely downloaded). Applications range from potential problems to static...
Nonlinear Optics, Third Edition
Nonlinear Optics, Third Edition
Nonlinear optics is the study of the interaction of intense laser light with matter. The third edition of this textbook has been rewritten to conform to the standard SI system of units and includes comprehensively updated material on the latest developments in the field.

The book presents an introduction to the entire field of optical
...
Superconductivity: Fundamentals and Applications (Physics)
Superconductivity: Fundamentals and Applications (Physics)
Comprehensive and easy to understand this introductory text on superconductivity was especially written for the nonspecialist. The author, an active researcher in the field for more than forty years, presents the fundamental considerations (without too much mathematics), describes the various phenomena connected with the superconducting state,...
Selected Readings on Database Technologies and Applications (Premier Reference Source)
Selected Readings on Database Technologies and Applications (Premier Reference Source)
Education and research in the field of database technology can prove problematic without the proper resources and tools on the most relevant issues, trends, and advancements.

Selected Readings on Database Technologies and Applications supplements course instruction and student research with quality chapters focused on key...

LDAP Metadirectory Provisioning Methodology: a step by step method to implementing LDAP based metadirectory provisioning
LDAP Metadirectory Provisioning Methodology: a step by step method to implementing LDAP based metadirectory provisioning

This work provides system architects a methodology for the implementation of x.500 and LDAP based metadirectory provisioning systems. In addition this work assists in the business process analysis that accompanies any deployment. DOC Safe Harbor & European Commission’s Directive on Data Protection (Directive 95/46/EC) issues are also...

Head First PHP & MySQL (A Brain-Friendly Guide)
Head First PHP & MySQL (A Brain-Friendly Guide)
If you're ready to create web pages more complex than those you can build with HTML and CSS, Head First PHP & MySQL is the ultimate learning guide to building dynamic, database-driven websites using PHP and MySQL. Packed with real-world examples, this book teaches you all the essentials of server-side programming, from the fundamentals...
Architecture of Italy (Reference Guides to National Architecture)
Architecture of Italy (Reference Guides to National Architecture)
Covering all regions of Italy--from Turin's Palace of Labor in northern Italy to the Monreale Cathedral and Cloister in Sicily--and all periods of Italian architecture--from the first-century Colosseum in Rome to the Casa Rustica apartments built in Milan in the 1930s--this volume examines over 70 of Italy's most important architectural landmarks....
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy