"NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022

"NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022

Značka: "Springer Nature"
Obchod: ENbook.cz
Parametry: brand: "Springer Nature"
Do obchodu 🏠
"NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings" - ""
Cena již od: 3 916 Kč

Mohlo by vás také zajímat

"The Change of Global Economic Governance and China" - "" ("Zhang Yuyan")(Pevná vazba)
ENbook.cz
4 683 Kč
"The Ecology of Plant Litter Decomposition in Stream Ecosystems" - "" ("Swan Christopher M.")(Pe
ENbook.cz
4 101 Kč
"Theory of Jizai Body: Towards Mastery Over the Extended Self" - "" ("Inami Masahiko")(Pevná vaz
ENbook.cz
5 412 Kč
"Forensic Medicine and Human Cell Research: New Perspective and Bioethics" - "" ("Ishikawa Takak
ENbook.cz
3 201 Kč
"Anaesthesia for Uncommon and Emerging Procedures" - "" ("Goudra Basavana G.")(Pevná vazba)
ENbook.cz
6 866 Kč
"Satellite Photoelectric Sensing Technology: Communication, Navigation and Reconnaissance" - ""
ENbook.cz
4 607 Kč
"Intraoperative Cranial Nerve Monitoring in Otolaryngology-Head and Neck Surgery" - "" ("Scharpf
ENbook.cz
3 282 Kč
"Exploring and Optimizing Agricultural Landscapes" - "" ("Mueller Lothar")(Pevná vazba)
ENbook.cz
6 139 Kč
"Principles of Primary Total Hip Arthroplasty" - "" ("Zhou Yixin")(Pevná vazba)
ENbook.cz
4 651 Kč
"Intelligent Systems for Sustainable Person-Centered Healthcare" - "" ("Kriksciuniene Dalia")(Pa
ENbook.cz
1 442 Kč
"Pediatric Dialysis" - "" ("Warady Bradley A.")(Pevná vazba)
ENbook.cz
6 464 Kč
"Advances in Pet: The Latest in Instrumentation, Technology, and Clinical Practice" - "" ("Zhang
ENbook.cz
1 834 Kč
"Exploring Environmental Ethics: An Introduction" - "" ("Smith Kimberly K.")(Paperback)
ENbook.cz
1 832 Kč
"Innovative Computing: Proceedings of the 5th International Conference on Innovative Computing (
ENbook.cz
6 227 Kč
"Glcklich-Erfolgreich Fhren: Fhrung, Durch Die Alle Gewinnen" - "" ("Pothmann Achim")(Paperback)
ENbook.cz
501 Kč
"Simulating Nonlinear Circuits with Python Power Electronics: An Open-Source Simulator, Based on
ENbook.cz
3 294 Kč
"Soviet and Russian Lunar Exploration" - "" ("Harvey Brian")(Paperback)
ENbook.cz
1 049 Kč
"3D TCAD Simulation for CMOS Nanoeletronic Devices" - "" ("Wu Yung-Chun")(Pevná vazba)
ENbook.cz
3 583 Kč
"Ubiquitous Mapping: Perspectives from Japan" - "" ("Wakabayashi Yoshiki")(Pevná vazba)
ENbook.cz
4 629 Kč
"Why Language Documentation Matters" - "" ("Chelliah Shobhana L.")(Paperback)
ENbook.cz
1 660 Kč
"Development of Classical and Modern Geodetic Reference Systems of Albania" - "" ("Nure Bilbil")
ENbook.cz
1 563 Kč
"Understanding Acoustics: An Experimentalist's View of Sound and Vibration" - "" ("Garrett Steve
ENbook.cz
1 877 Kč
"Riemannian Optimization and Its Applications" - "" ("Sato Hiroyuki")(Paperback)
ENbook.cz
1 979 Kč
"Mastering Modern Psychological Testing: Theory and Methods" - "" ("Reynolds Cecil R.")(Paperbac
ENbook.cz
2 651 Kč
"Ice Age Floodscapes of the Pacific Northwest: A Photographic Exploration" - "" ("Bjornstad Bruc
ENbook.cz
2 280 Kč
"Algebra I: Chapters 1-3" - "" ("Bourbaki N.")(Paperback)
ENbook.cz
1 866 Kč
"The Secret Life of Chemicals" - "" ("Poulos Alfred")(Pevná vazba)
ENbook.cz
894 Kč
"Reinforcement Learning for Sequential Decision and Optimal Control" - "" ("Li Shengbo Eben")(Pe
ENbook.cz
2 939 Kč
"Social Media and the Armed Forces" - "" ("Moehlecke de Baseggio​ Eva")(Pevná vazba)
ENbook.cz
1 372 Kč
"Clinical Assessment of Child and Adolescent Personality and Behavior" - "" ("Frick Paul J.")(Pe
ENbook.cz
4 432 Kč
"Trans Rights and Wrongs: A Comparative Study of Legal Reform Concerning Trans Persons" - "" ("J
ENbook.cz
5 501 Kč
"Fault-Tolerance Techniques for Sram-Based FPGAs" - "" ("Kastensmidt Fernanda Lima")(Pevná vazba
ENbook.cz
3 020 Kč
"Essentials of Endocrinology and Metabolism: A Practical Guide for Medical Students" - "" ("Wond
ENbook.cz
2 419 Kč
"The Carbonic Anhydrases: Current and Emerging Therapeutic Targets" - "" ("Chegwidden W. Richard
ENbook.cz
4 381 Kč
"Knowledge-Based Software Engineering: 2022: Proceedings of the 14th International Joint Confere
ENbook.cz
6 789 Kč
"Innovations and Advances in Wound Healing" - "" ("Han Seung-Kyu")(Pevná vazba)
ENbook.cz
4 976 Kč
"Computer Methods for Circuit Analysis and Design" - "" ("Singhal Kishore")(Pevná vazba)
ENbook.cz
7 673 Kč
"Nanomaterials and Nanocomposites for Environmental Remediation" - "" ("Singh Swatantra P.")(Pap
ENbook.cz
3 781 Kč
"Encyclopedia of Feeding and Eating Disorders" - "" ("Wade Tracey")(Pevná vazba)
ENbook.cz
21 597 Kč
"Shelf Fluvial Paleo Structures: Seabed Seismic Acoustic View" - "" ("Klyuev Mikhail")(Pevná vaz
ENbook.cz
4 340 Kč
"A Journey in Antarctica: Exploring the Future of the White Continent" - "" ("Rossi Sergio")(Pev
ENbook.cz
818 Kč
"Tensor Analysis for Engineers and Physicists - With Application to Continuum Mechanics, Turbule
ENbook.cz
1 858 Kč
"Natural Corrosion Inhibitors" - "" ("Nasab Shima Ghanavati")(Paperback)
ENbook.cz
848 Kč
"Naturally Occuring Organohalogen Compounds: A Comprehensive Update" - "" ("Gribble Gordon W.")(
ENbook.cz
9 017 Kč
"Metrology for Inclusive Growth of India" - "" ("Aswal Dinesh K.")(Pevná vazba)
ENbook.cz
3 840 Kč
"Advanced Methods for Fault Diagnosis and Fault-Tolerant Control" - "" ("X. Ding Steven")(Paperb
ENbook.cz
3 888 Kč
"Finance, Law, and the Crisis of Covid-19: An Interdisciplinary Perspective" - "" ("Mansour Nadi
ENbook.cz
4 619 Kč
"Bioinformatic and Statistical Analysis of Microbiome Data: From Raw Sequences to Advanced Model
ENbook.cz
6 066 Kč
"Education and the State in Modern Peru: Primary Schooling in Lima, 1821-C. 1921" - "" ("Espinoz
ENbook.cz
743 Kč
"Applied Guidance Methodologies for Off-Road Vehicles" - "" ("Taghia Javad")(Paperback)
ENbook.cz
3 797 Kč
"Insect Conservation and Australia's Inland Waters" - "" ("New Tim R.")(Pevná vazba)
ENbook.cz
2 637 Kč
"Gender and Education in Politics, Policy and Practice: Transdisciplinary Perspectives" - "" ("C
ENbook.cz
3 832 Kč
"Micro- And Nano-Containers for Smart Applications" - "" ("Parameswaranpillai Jyotishkumar")(Pap
ENbook.cz
5 455 Kč
"Guidance, Navigation, and Control for Spacecraft Rendezvous and Docking: Theory and Methods" -
ENbook.cz
5 469 Kč
"The Fear of Snakes: Evolutionary and Psychobiological Perspectives on Our Innate Fear" - "" ("K
ENbook.cz
2 620 Kč
"South American Sauropodomorph Dinosaurs: Record, Diversity and Evolution" - "" ("Otero Alejandr
ENbook.cz
6 866 Kč
"Real and Functional Analysis" - "" ("Lang Serge")(Paperback)
ENbook.cz
2 192 Kč
"Proceedings of Indian Geotechnical and Geoenvironmental Engineering Conference (Iggec) 2021, Vo
ENbook.cz
8 172 Kč
"Fluid Dynamics: Theory, Computation, and Numerical Simulation" - "" ("Pozrikidis C.")(Pevná vaz
ENbook.cz
4 764 Kč
"Economic Forecasting" - "" ("Carnot N.")(Paperback)
ENbook.cz
3 016 Kč
Midovo.cz | podmínky použití | kontakt