"Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Risc

"Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Risc

Márka: "Springer Nature"
A bolt: ENbook.hu
Paraméterek: brand: "Springer Nature"
A boltba 🏠
"Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker" - "" ("Schrein
Ár -tól: 22 448 Ft

Önt is érdekelheti

"Structural Dynamics: Vibrations and Systems" - "" ("Mukhopadhyay Madhujit")
ENbook.hu
44 880 Ft
"The Monsoons and Climate Change: Observations and Modeling" - "" ("de Carvalho Leila Maria Vspo
ENbook.hu
48 144 Ft
"Oil Mortality in Post-Fossil Fuel Era Nigeria: Beyond the Oil Age" - "" ("Okoh Augustine Sadiq"
ENbook.hu
51 216 Ft
"Surgical Decision Making in Geriatrics: A Comprehensive Multidisciplinary Approach" - "" ("Lati
ENbook.hu
60 496 Ft
"Biochar and Its Composites: Fundamentals and Applications" - "" ("Nadda Ashok Kumar")
ENbook.hu
78 672 Ft
"Modern EMC Analysis Techniques Volume I: Time-Domain Computational Schemes" - "" ("Kantartzis N
ENbook.hu
25 376 Ft
"Intelligent Systems and Applications: Select Proceedings of Icisa 2022" - "" ("Kulkarni Anand J
ENbook.hu
144 064 Ft
"Hydrologische Modellierung ̶ Ein Einstieg Mithilfe Von Excel" - "" ("Eckhardt Klaus")
ENbook.hu
18 160 Ft
"Amorphous Polymers and Non-Newtonian Fluids" - "" ("Dafermos Constantine")
ENbook.hu
48 368 Ft
"Portuguese Sociology: A History" - "" ("Carreira Da Silva Filipe")
ENbook.hu
25 104 Ft
"Surgery of the Esophagus: Textbook and Atlas of Surgical Practice" - "" ("Izbicki Jakob R.")
ENbook.hu
25 344 Ft
"A Review on Recent Echocardiographic Software: Advancing the Field Through the Emerging Science
ENbook.hu
60 992 Ft
"Digital Disinformation: Computational Analysis of Culture and Conspiracy Theories in Russia and
ENbook.hu
56 256 Ft
"International Shipping: The Role of Sea Transport in the Global Economy" - "" ("Witthohn Ralf")
ENbook.hu
21 328 Ft
"Repatriation of Sacred Indigenous Cultural Heritage and the Law: Lessons from the United States
ENbook.hu
56 336 Ft
"Dry Mineral Processing" - "" ("Chelgani Saeed Chehreh")
ENbook.hu
77 984 Ft
"Nanomaterial - Based Biomedical Applications in Molecular Imaging, Diagnostics and Therapy" - "
ENbook.hu
60 720 Ft
"Air Pollution Sources, Statistics and Health Effects" - "" ("Goodsite Michael Evan")
ENbook.hu
184 896 Ft
"Explaining Disease: Philosophical Reflections on Medical Research and Clinical Practice" - "" (
ENbook.hu
51 872 Ft
"Transnational Blackness: Navigating the Global Color Line" - "" ("Marable M.")
ENbook.hu
25 856 Ft
"Voltage-Gated Ca2+ Channels: Pharmacology, Modulation and Their Role in Human Disease" - "" ("S
ENbook.hu
60 864 Ft
"Mixed Reality for Education" - "" ("Cai Yiyu")
ENbook.hu
79 008 Ft
"The Gcc Economies: Stepping Up to Future Challenges" - "" ("Ramady Mohamed A.")
ENbook.hu
61 360 Ft
"Handbook of Stem Cell Applications" - "" ("Haider Khawaja H.")
ENbook.hu
368 560 Ft
"The Social Psychology of Politics" - "" ("Ottati Victor C.")
ENbook.hu
48 576 Ft
"Mussolini's Rome: Rebuilding the Eternal City" - "" ("Painter B.")
ENbook.hu
40 720 Ft
"The Cochlea" - "" ("Dallos Peter")
ENbook.hu
96 400 Ft
"Elements of International Economics" - "" ("Gandolfo Giancarlo")
ENbook.hu
25 856 Ft
"Queer Psychology: Intersectional Perspectives" - "" ("Nadal Kevin L.")
ENbook.hu
78 816 Ft
"Security and Privacy in Federated Learning" - "" ("Yu Shui")
ENbook.hu
65 328 Ft
"Combatting Illicit Trade on the Eu Border: A Comparative Perspective" - "" ("Nowak Celina")
ENbook.hu
27 936 Ft
"Mit Ich-Kultur Zum Privaten Und Beruflichen Erfolg: Persnlichkeitsbildung Neu Erklrt" - "" ("Ma
ENbook.hu
7 888 Ft
"Control of Large Wind Energy Systems: Theory and Methods for the User" - "" ("Gambier Adrian")
ENbook.hu
61 200 Ft
"Linear Algebra: From the Beginnings to the Jordan Normal Forms" - "" ("Miyake Toshitsune")
ENbook.hu
20 480 Ft
"Soil Water Deficit and Physiological Issues in Plants" - "" ("Bhattacharya Amitav")
ENbook.hu
123 200 Ft
"Empire, Humanism and Rights: Collected Essays on Francisco de Vitoria" - "" ("Beneyto Jos Mara"
ENbook.hu
73 872 Ft
"The Social Metabolism: A Socio-Ecological Theory of Historical Change" - "" ("Gonzlez de Molina
ENbook.hu
57 072 Ft
"Reducing Space Mission Cost" - "" ("Wertz J. R.")
ENbook.hu
144 112 Ft
"Challenges and Opportunities in Agrometeorology" - "" ("Attri S. D.")
ENbook.hu
96 768 Ft
"Artisan and Handicraft Entrepreneurs: Past, Present, and Future" - "" ("Dana Lo-Paul")
ENbook.hu
74 080 Ft
"Print Is Dead: Books in Our Digital Age" - "" ("Gomez J.")
ENbook.hu
8 752 Ft
"Controversies Around Treatment of the Open Duct" - "" ("Poets Christian")
ENbook.hu
24 960 Ft
"The States" in Villages: A Look at Schools in Rural China"" - "" ("Shulei Li")
ENbook.hu
25 408 Ft
"Arsenic Toxicity Remediation: Biotechnological Approaches" - "" ("Kumar Nitish")
ENbook.hu
74 528 Ft
"Sports Cardiology: Care of the Athletic Heart from the Clinic to the Sidelines" - "" ("Engel Da
ENbook.hu
56 256 Ft
"The Correctness-By-Construction Approach to Programming" - "" ("Kourie Derrick G.")
ENbook.hu
48 176 Ft
"Sri Aurobindo at 150: An Integral Vision of Evolution, Human Unity, and Peace" - "" ("Mahapatra
ENbook.hu
52 528 Ft
"3D Printing of Pharmaceuticals" - "" ("Basit Abdul W.")
ENbook.hu
78 208 Ft
"The 3 Dimensions of Digitalised Archaeology: State-Of-The-Art, Data Management and Current Chal
ENbook.hu
27 840 Ft
"Ist Unser Wille Frei?: Eine Interdisziplinre Betrachtung Aus Der Aktuellen Forschung" - "" ("He
ENbook.hu
8 320 Ft
"Eating Disorders, Addictions and Substance Use Disorders: Research, Clinical and Treatment Pers
ENbook.hu
75 168 Ft
"Behavioral Epidemiology and Disease Prevention" - "" ("Kaplan Robert M.")
ENbook.hu
49 424 Ft
"High-Pressure Silicates and Oxides: Phase Transition and Thermodynamics" - "" ("Akaogi Masaki")
ENbook.hu
56 096 Ft
"Reactive Oxygen Species: Network Pharmacology and Therapeutic Applications" - "" ("Schmidt Hara
ENbook.hu
84 064 Ft
"Artificial Organs" - "" ("Miller Gerald E.")
ENbook.hu
13 744 Ft
"Understanding Emergent Urbanism: The Case of Tirana, Albania" - "" ("Dhamo Sotir")
ENbook.hu
61 488 Ft
"Marginality, Migration and Education: Educational Experiences of Migrants' Children in Zimbabwe
ENbook.hu
36 112 Ft
"Complex Integration: A Compendium of Smart and Little-Known Techniques for Evaluating Integrals
ENbook.hu
36 368 Ft
"Patient Reported Outcomes and Quality of Life in Surgery" - "" ("Athanasiou Thanos")
ENbook.hu
53 152 Ft
"Post Covid-19 Complications and Management" - "" ("Mohan Anant")
ENbook.hu
61 312 Ft
Midovo.hu | felhasználási feltételek | kapcsolatba lépni