"The Correctness-By-Construction Approach to Programming" - "" ("Kourie Derrick G.")

"The Correctness-By-Construction Approach to Programming" - "" ("Kourie Derrick G.")

Márka: "Springer Nature"
A bolt: ENbook.hu
Paraméterek: brand: "Springer Nature"
A boltba 🏠
"The Correctness-By-Construction Approach to Programming" - "" ("Kourie Derrick G.")
Ár -tól: 48 528 Ft

Önt is érdekelheti

"Technical Drawing for Product Design: Mastering ISO GPS and Asme Gd&t" - "" ("Tornincasa Stefan
ENbook.hu
32 128 Ft
"Physical Geodesy" - "" ("Hofmann-Wellenhof Bernhard")
ENbook.hu
44 688 Ft
"Beyond Ipm: Introduction to the Theory of Holistic Pest Management" - "" ("Barrera Juan F.")
ENbook.hu
86 096 Ft
"Energy Efficiency in Motor Systems: Proceedings of the 11th International Conference Eemods'19"
ENbook.hu
109 696 Ft
"The Steam Revolution: Transdisciplinary Approaches to Science, Technology, Engineering, Arts, H
ENbook.hu
87 280 Ft
"Recent Econometric Techniques for Macroeconomic and Financial Data" - "" ("Dufrnot Gilles")
ENbook.hu
74 320 Ft
"Computational Intelligence Applications to Option Pricing, Volatility Forecasting and Value at
ENbook.hu
56 880 Ft
"Work-Life Balance and Women's Entrepreneurship: An Exploration of Influencing Factors" - "" ("Z
ENbook.hu
48 416 Ft
"High Pressure Materials Properties: Magnetic Properties of Oxides Under Pressure: A Supplement
ENbook.hu
80 112 Ft
"Sequence Analysis and Related Approaches: Innovative Methods and Applications" - "" ("Ritschard
ENbook.hu
28 032 Ft
"Anthropogenic Pollution of Aquatic Ecosystems" - "" ("Hder Donat-P")
ENbook.hu
70 112 Ft
"Planning with Landscape: Green Infrastructure to Build Climate-Adapted Cities" - "" ("Gomes San
ENbook.hu
78 704 Ft
"Hindu Nationalism in India and the Politics of Fear" - "" ("Anand D.")
ENbook.hu
43 616 Ft
"The Curious Case of Usable Privacy: Challenges, Solutions, and Prospects" - "" ("Fischer-Hbner
ENbook.hu
25 456 Ft
"Anesthesia for Hepatico-Pancreatic-Biliary Surgery and Transplantation" - "" ("Milan Zoka")
ENbook.hu
53 040 Ft
"Open Quantum Systems in Biology, Cognitive and Social Sciences" - "" ("Khrennikov Andrei Y.")
ENbook.hu
77 488 Ft
"Mathematical Foundations of Neuroscience" - "" ("Ermentrout G. Bard")
ENbook.hu
44 336 Ft
"Fundamentals of Structural Dynamics: Theory and Computation" - "" ("Hjelmstad Keith D.")
ENbook.hu
49 360 Ft
"The Russian Nuclear Shield from Stalin to Yeltsin: The Cold War and Beyond" - "" ("Mathers J.")
ENbook.hu
48 368 Ft
"Bluestockings: Women of Reason from Enlightenment to Romanticism" - "" ("Eger E.")
ENbook.hu
48 080 Ft
"Vibrio Spp. Infections" - "" ("Almagro-Moreno Salvador")
ENbook.hu
94 688 Ft
"Personal Brand Management: Marketing Human Value" - "" ("Waller Talaya")
ENbook.hu
40 944 Ft
"Neuroinflammation, Gut-Brain Axis and Immunity in Neuropsychiatric Disorders" - "" ("Kim Yong-K
ENbook.hu
109 536 Ft
"Pathways Between Social Science and Computational Social Science: Theories, Methods, and Interp
ENbook.hu
44 304 Ft
"Advances in Data-Driven Computing and Intelligent Systems: Selected Papers from Adcis 2022, Vol
ENbook.hu
110 576 Ft
"Topological Dynamics and Topological Data Analysis: Iwcta 2018, Kochi, India, December 9-11" -
ENbook.hu
87 360 Ft
"Intelligent Information Processing with MATLAB" - "" ("Zhang Xiu")
ENbook.hu
70 160 Ft
"The Politics of Domestic Authority in Britain Since 1800" - "" ("Delap L.")
ENbook.hu
25 472 Ft
"Nonlinear Waves: From Dissipative Solitons to Magnetic Solitons" - "" ("Kengne Emmanuel")
ENbook.hu
77 488 Ft
"Simulation-Based Optimization: Parametric Optimization Techniques and Reinforcement Learning" -
ENbook.hu
57 488 Ft
"Harley Hahn's Emacs Field Guide" - "" ("Hahn Harley")
ENbook.hu
21 344 Ft
"Methodical Development of Modular Product Families: Developing High Product Diversity in a Mana
ENbook.hu
74 416 Ft
"Dual Learning" - "" ("Qin Tao")
ENbook.hu
48 320 Ft
"MATLAB for Medical Physics: Real-Life Clinical Scenarios and Projects" - "" ("Sun Jidi")
ENbook.hu
74 464 Ft
"The Change of Narrative Modes in Chinese Fiction (1898-1927)" - "" ("Chen Pingyuan")
ENbook.hu
57 056 Ft
"Mechanical Behavior of Materials: Fundamentals, Analysis, and Calculations" - "" ("Huda Zainul"
ENbook.hu
44 384 Ft
"Best Practices in Geotechnical and Pavement Engineering: Select Proceedings of Iacesd 2023" - "
ENbook.hu
96 592 Ft
"Strafrechtliche Sanktionen" - "" ("Meier Bernd-Dieter")
ENbook.hu
19 296 Ft
"Cancer, Complexity, Computation" - "" ("Balaz Igor")
ENbook.hu
78 480 Ft
"Baer *-Rings" - "" ("Berberian Sterling K.")
ENbook.hu
25 424 Ft
"The Sun: A User's Manual" - "" ("Vita-Finzi Claudio")
ENbook.hu
12 272 Ft
"Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations" - "" ("Felderer M
ENbook.hu
23 168 Ft
"Evidence Based Treatments for Trauma-Related Psychological Disorders: A Practical Guide for Cli
ENbook.hu
53 152 Ft
"Integrated Electronics on Aluminum Nitride: Materials and Devices" - "" ("Chaudhuri Reet")
ENbook.hu
95 808 Ft
"Inclusive Access and Open Educational Resources E-Text Programs in Higher Education" - "" ("Hur
ENbook.hu
47 968 Ft
"Technology and Disability: 50 Years of Trace R&d Center Contributions and Lessons Learned" - ""
ENbook.hu
24 544 Ft
"Use of the Unidroit Principles to Interpret and Supplement Domestic Contract Law" - "" ("Garro
ENbook.hu
87 280 Ft
"Symbols: An Evolutionary History from the Stone Age to the Future" - "" ("Sproat Richard")
ENbook.hu
14 288 Ft
"Managing Complex Cases in Gastroenterology: A Curbside Guide" - "" ("Sobin W. Harley")
ENbook.hu
48 848 Ft
"Near-Infrared Spectroscopy: Theory, Spectral Analysis, Instrumentation, and Applications" - ""
ENbook.hu
75 232 Ft
"Archetypical Roles in Startups: Eight Personality Traits You Need in Your Founding Team" - "" (
ENbook.hu
38 720 Ft
"Pairs of Compact Convex Sets: Fractional Arithmetic with Convex Sets" - "" ("Pallaschke Diethar
ENbook.hu
25 904 Ft
"At the Edges of Liberalism: Junctions of European, German, and Jewish History" - "" ("Aschheim
ENbook.hu
25 696 Ft
"A Practical Guide for Pediatric Nuclear Medicine" - "" ("Bar-Sever Zvi")
ENbook.hu
28 272 Ft
"The Political Dimension of Constitutional Law" - "" ("Nogueira de Brito Miguel")
ENbook.hu
73 760 Ft
"Post Pandemic Facilitation of Air Transport: Legal, Political and Economic Aspects" - "" ("Abey
ENbook.hu
44 064 Ft
"Bicycling Infrastructure Design for Indian Cities and Emerging Economies" - "" ("Pandit Debapra
ENbook.hu
73 216 Ft
"Advanced Techniques in Shoulder Arthroscopy" - "" ("Millett Peter J.")
ENbook.hu
43 120 Ft
"Conversational AI for Natural Human-Centric Interaction: 12th International Workshop on Spoken
ENbook.hu
86 096 Ft
"Genome Editing in Biomedical Sciences" - "" ("Passos Geraldo A.")
ENbook.hu
95 664 Ft
Midovo.hu | felhasználási feltételek | kapcsolatba lépni