Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدContaminated land - investigation, assessment and remediation
The first edition of this ICE design and practice guide became one of the most popular ICE publications after it was published ...
اقرأ المزيدContemporary Bioethics : Islamic Perspective
This book discusses the common principles of morality and ethics derived from divinely endowed intuitive reason through the ...
اقرأ المزيد
Continental Scientific Drilling
Scientific drilling is an indispensable tool of modern Earth science - search, as it provides the only means of obtaining ...
اقرأ المزيد
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems ...
اقرأ المزيد
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيد
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيد
Critical Pedagogy And The Everyday Classroom
this book explores the applications of Critical Pedagogy to actual classroom situations. Written in a straight-forward, concise, ...
اقرأ المزيد
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
اقرأ المزيد
Data Analysis Using the Method of Least Squares
The preferred method of data analysis of quantitative experiments is the method of least squares. Often, however, the full ...
اقرأ المزيد
Data Analysis Using the Method of Least Squares
The preferred method of data analysis of quantitative experiments is the method of least squares. Often, however, the full ...
اقرأ المزيد
Database Marketing
Database marketing is at the crossroads of technology, business strategy, and customer relationship management. Enabled by ...
اقرأ المزيد
Decision Making under Deep Uncertainty
This book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face ...
اقرأ المزيد
Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits
Failures of nano-metric technologies owing to defects and shrinking process tolerances give rise to significant challenges ...
اقرأ المزيد
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
اقرأ المزيد
Design Automation Methods and Tools for Microfluidics-Based Biochips
Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based ...
اقرأ المزيدDesign of Systems on a Chip
Design of Systems on a Chip: Design&Test is the second of two volumes addressing the design challenges associated with new ...
اقرأ المزيد
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges
The book brings in diverse perspectives on ubiquitous information environments, from computer-supported collaborative work, ...
اقرأ المزيدDevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory
In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought ...
اقرأ المزيد
