Catalog > Nauka > Medycyna > Pacjenci kliniczni > Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

Alessandro Aldini & Marco Bernardo
Formal Methods for Quantitative Aspects of Programming Languages [PDF ebook]
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Wsparcie

Pokrywa Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

€57.90

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783642136788 ● Redaktor Alessandro Aldini & Marco Bernardo ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2010 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6321335 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46 658 Ebooki w tej kategorii

Pokrywa Joseph G. (University of Miami, Coral Gables, Florida, USA) Hirschberg & Elli (Miami, Florida, USA) Kohen: Atlas of Cell Organelles Fluorescence

Joseph G. (University of Miami, Coral Gables, Florida, USA) Hirschberg & Elli (Miami, Florida, USA) Kohen: Atlas of Cell Organelles Fluorescence

Containing over 150 original photomicrographs accompanied by protocol information, Atlas of Cell Organelles Fluorescence delineates organelles structures, interaction, and organization into complexes …

Pokrywa Ph.D., Ross I. (Dana-Farber Cancer Institute; Brigham and Women’s Hospital; Harvard Medical School, Boston, Massachusetts, USA) Berbeco: Beam''s Eye View Imaging in Radiation Oncology

Ph.D., Ross I. (Dana-Farber Cancer Institute; Brigham and Women’s Hospital; Harvard Medical School, Boston, Massachusetts, USA) Berbeco: Beam”s Eye View Imaging in Radiation Oncology

This first dedicated overview for beam’s eye view (BEV) covers instrumentation, methods, and clinical use of this exciting technology, which enables real-time anatomical imaging. It highlights how th …

Pokrywa Lijuan (Department of Biomedical Sciences and Pathobiology, Virginia Tech, Blacksburg, Virginia, USA) Yuan: Vaccine Efficacy Evaluation

Lijuan (Department of Biomedical Sciences and Pathobiology, Virginia Tech, Blacksburg, Virginia, USA) Yuan: Vaccine Efficacy Evaluation

Testing the immunogenicity, protective efficacy and safety in animal models is a crucial step in vaccine development. Pigs raised in germ-free environments, called gnotobiotic (Gn) pigs, are one of t …

Pokrywa Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Exercise immunology is an important, emerging sub-discipline within exercise physiology, concerned with the relationship between exercise, immune function and infection risk. This book offers a compr …

Pokrywa Jing Cai & Joe Y. (MD Anderson Cancer Center, Houston, TX, USA) Chang: Principles and Practice of Image-Guided Radiation Therapy of Lung Cancer

Jing Cai & Joe Y. (MD Anderson Cancer Center, Houston, TX, USA) Chang: Principles and Practice of Image-Guided Radiation Therapy of Lung Cancer

This book gives a comprehensive overview on the use of image-guided radiation therapy (IGRT) in the treatment of lung cancer, covering step-by-step guidelines for clinical implementations, fundamenta …

Pokrywa Victoria Lane & Carlos Reck: Pediatric Colorectal and Pelvic Surgery

Victoria Lane & Carlos Reck: Pediatric Colorectal and Pelvic Surgery

This new handbook teaches and explains the key principles in the management of complex pediatric colorectal diagnoses. By using case-based presentations, radiographic images, operative images with Mu …

Pokrywa Vikas (DD Innovations, Inc., Edina, Minnesota, USA; formerly Indian Institute of Technology (BHU), Uttar Pradesh, India) Kumar & Addepalli (SPP, the School of Pharmacy and Technology Management (SPTM), NMIMS, Mumbai, India) Veeranjaneyulu: Herbs for Diabe

Vikas (DD Innovations, Inc., Edina, Minnesota, USA; formerly Indian Institute of Technology (BHU), Uttar Pradesh, India) Kumar & Addepalli (SPP, the School of Pharmacy and Technology Management (SPTM), NMIMS, Mumbai, India) Veeranjaneyulu: Herbs for Diabe

This new volume provides a plethora of new information about potential medicinal herbs and their usefulness in treating diabetes and neurological diseases. Most large multinational companies are inte …

Pokrywa J.A. Miller: Review Questions for Ultrasound

J.A. Miller: Review Questions for Ultrasound

This is a comprehensive, large-format review text with complete answers for the American national examination of the Registry of Diagnostic Medical Sonographers (RDMS). It contains 600 questions divi …

Pokrywa David J. (Skin and Laser Specialists of New York and New Jersey, and Mount Sinai School of Medicine, USA) Goldberg: Ablative and Non-ablative Facial Skin Rejuvenation

David J. (Skin and Laser Specialists of New York and New Jersey, and Mount Sinai School of Medicine, USA) Goldberg: Ablative and Non-ablative Facial Skin Rejuvenation

With the newer ablative and non-ablative techniques offering precise methods for improving photo-aged skin, facial skin rejuvenation is particularly popular. Ablative and Non-Ablative Facial Skin Rej …

Pokrywa Paul V. Malven: Mammalian Neuroendocrinology

Paul V. Malven: Mammalian Neuroendocrinology

Mammalian Neuroendocrinology presents a concise examination of how the nervous and endocrine systems interact to regulate physiological processes. Selected experimental results are presented to illus …

Następna strona >>>