Clinical toxicology : principles and mechanisms / Frank A. Barile
Addresses the current principles and mechanisms of clinical toxicology. It examines the complex interactions associated with ...
Lee mas
Component-Based Software Testing with UML
Component-based software development regards software construction in terms of conventional engineering disciplines where ...
Lee mas
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee mas
Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability
This book discusses challenges in school improvement research and different methodological approaches that have the potential ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee mas
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lee masContrast Agent and Nephropathy / Razan Al-karmi ; Nisrin Al-kattan ; Falak Mkhlalati ; Maria Al-zaeem
Diagnostic tests such as MRIs (magnetic resonance imaging), CT (Computed tomography) scans and angiograms are routinely used ...
Lee mas
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee mas
Cooperative Bug Isolation
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee mas
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 ...
Lee mas
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Lee mas
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 ...
Lee masDesign 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 ...
Lee masDevOps 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 ...
Lee mas
Diagnostica per immagini dellapparato urogenitale = Imaging of the urogenital system
The work is divided into nine parts and deals with normal macroscopic and radiological anatomy in the first six chapters, ...
Lee mas
Diseases of the Abdomen and Pelvis 2018-2021
This open access book deals with imaging of the abdomen and pelvis, an area that has seen considerable advances over the ...
Lee mas
Drug Discovery and Evaluation
The 3rd edition of this successful reference book contains an updated selection of the most frequently used assays for reliably ...
Lee mas
Drug Safety Evaluation : Methods and Protocols / Jean-Charles Gautier
Focuses on the most recent advances in the field of drug safety evaluation. Divided into seven parts, chapters detail specific ...
Lee mas
