"Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constru

"Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constru

Márka: "Springer Nature"
A bolt: ENbook.hu
Paraméterek: brand: "Springer Nature"
A boltba 🏠
"Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions" - "" ("Bertot Yves")
Ár -tól: 41 472 Ft

Önt is érdekelheti

"Phosphorus Chemistry II: Synthetic Methods" - "" ("Montchamp Jean-Luc")
ENbook.hu
95 856 Ft
"Handbook of Neuropsychology and Aging" - "" ("Nussbaum Paul David")
ENbook.hu
144 768 Ft
"Identity of Capability: The Emotional Aspects of Complex Learning Disorders" - "" ("Hozmi Benja
ENbook.hu
40 608 Ft
"Principles of Lasers" - "" ("Svelto Orazio")
ENbook.hu
33 408 Ft
"Fracture Analysis of Layered Beams with an Elastically Coupled Behavior and Hygrothermal Stress
ENbook.hu
94 688 Ft
"Applied Psychology Readings: Selected Papers from the Singapore Conference on Applied Psycholog
ENbook.hu
73 216 Ft
"Lost Sex: The Evolutionary Biology of Parthenogenesis" - "" ("Schn Isa")
ENbook.hu
96 720 Ft
"Intelligent Manufacturing" - "" ("Lai Chao'an")
ENbook.hu
41 088 Ft
"Liver Diseases: A Multidisciplinary Textbook" - "" ("Radu-Ionita Florentina")
ENbook.hu
56 016 Ft
"Belarus: From Soviet Rule to Nuclear Catastrophe" - "" ("Marples D.")
ENbook.hu
48 176 Ft
"Ethics and Pandemics: Interdisciplinary Perspectives on Covid-19 and Future Pandemics" - "" ("S
ENbook.hu
52 768 Ft
"Progress on Life Cycle Assessment in Textiles and Clothing" - "" ("Muthu Subramanian Senthilkan
ENbook.hu
47 408 Ft
"Rwanda's Genocide: The Politics of Global Justice" - "" ("Moghalu K.")
ENbook.hu
25 328 Ft
"English for Academic Correspondence" - "" ("Wallwork Adrian")
ENbook.hu
13 952 Ft
"Bioregional Planning and Design: Volume II: Issues and Practices for a Bioregional Regeneration
ENbook.hu
77 488 Ft
"Cauchy's Calcul Infinitsimal: An Annotated English Translation" - "" ("Cates Dennis M.")
ENbook.hu
57 168 Ft
"Global Perspectives on Subsidiarity" - "" ("Evans Michelle")
ENbook.hu
48 080 Ft
"Change Management Revisited: A Practitioner's Guide to Implementing Digital Solutions" - "" ("H
ENbook.hu
13 520 Ft
"Conventional Water Resources and Agriculture in Egypt" - "" ("Negm Abdelazim M.")
ENbook.hu
141 968 Ft
"Level Set Methods and Dynamic Implicit Surfaces" - "" ("Osher Stanley")
ENbook.hu
29 856 Ft
"The Medical Evaluation of Psychiatric Symptoms" - "" ("Meyer Eric G.")
ENbook.hu
52 752 Ft
"Biologically Inspired Cognitive Architectures 2023: Proceedings of the 14th Annual Meeting of t
ENbook.hu
120 480 Ft
"Germany's Uncertain Power: Foreign Policy of the Berlin Republic" - "" ("Maull H.")
ENbook.hu
48 384 Ft
"Metallurgy in Space: Recent Results from ISS" - "" ("Fecht Hans-Jrg")
ENbook.hu
109 200 Ft
"Big Data, Cloud Computing, and Data Science Engineering" - "" ("Lee Roger")
ENbook.hu
77 488 Ft
"Mathematical Physiology: I: Cellular Physiology" - "" ("Keener James")
ENbook.hu
33 168 Ft
"Business 4.0 as a Sub of Digit" - "" ("")
ENbook.hu
92 912 Ft
"Organization in Biology" - "" ("Mossio Matteo")
ENbook.hu
23 280 Ft
"Functions, Spaces, and Expansions: Mathematical Tools in Physics and Engineering" - "" ("Christ
ENbook.hu
38 720 Ft
"Benchmarking Economic Efficiency: Technical and Allocative Fundamentals" - "" ("Pastor Jess T."
ENbook.hu
70 752 Ft
"Posttraumatic and Acute Stress Disorders" - "" ("Friedman Matthew J.")
ENbook.hu
40 320 Ft
"Human Evolution: Bones, Cultures, and Genes" - "" ("Langdon John H.")
ENbook.hu
62 400 Ft
"Mathematical Physical Chemistry: Practical and Intuitive Methodology" - "" ("Hotta Shu")
ENbook.hu
82 704 Ft
"15th Chaotic Modeling and Simulation International Conference" - "" ("Skiadas Christos H.")
ENbook.hu
107 584 Ft
"The Abc's of Science" - "" ("Mussardo Giuseppe")
ENbook.hu
13 440 Ft
"Modernization with Chinese Characteristics and Great Power" - "" ("Hu Angang")
ENbook.hu
22 320 Ft
"Ganoderma and Health: Biology, Chemistry and Industry" - "" ("Lin Zhibin")
ENbook.hu
47 408 Ft
"Ultrasound of the Male Genitalia" - "" ("Gilbert Bruce R.")
ENbook.hu
48 336 Ft
"Justitiabler Klimaschutz in Deutschland: Welchen Beitrag Knnen Gerichte Zum Klimaschutz Leisten
ENbook.hu
34 496 Ft
"Positive Feedback in Natural Systems" - "" ("Deangelis Donald L.")
ENbook.hu
25 520 Ft
"H-Systems: Observability, Diagnosability, and Predictability of Hybrid Dynamical Systems" - ""
ENbook.hu
74 576 Ft
"Radiology Sourcebook: A Practical Guide for Reference and Training" - "" ("Beall Douglas P.")
ENbook.hu
56 976 Ft
"Applied Probability: From Random Experiments to Random Sequences and Statistics" - "" ("Girardi
ENbook.hu
38 976 Ft
"Technologies for Deep Space Exploration" - "" ("Sun Zezhou")
ENbook.hu
88 224 Ft
"Private Equity and Venture Capital: Theory, Evolution and Valuation" - "" ("Gallo Serena")
ENbook.hu
60 624 Ft
"Unmasking School Leadership: A Longitudinal Life History of School Leaders" - "" ("Sugrue Ciara
ENbook.hu
25 472 Ft
"The Garment Industry in Low-Income Countries: An Entry Point of Industrialization" - "" ("Fukun
ENbook.hu
48 544 Ft
"Collective Agency and Cooperation in Natural and Artificial Systems: Explanation, Implementatio
ENbook.hu
26 304 Ft
"An Invitation to Abstract Mathematics" - "" ("Bajnok Bla")
ENbook.hu
25 824 Ft
"Numerical Methods for Seakeeping Problems" - "" ("El Moctar Bettar Ould")
ENbook.hu
78 688 Ft
"Teaching Aboriginal Cultural Competence: Authentic Approaches" - "" ("Hill Barbara")
ENbook.hu
48 400 Ft
"Federated Learning Over Wireless Edge Networks" - "" ("Lim Wei Yang Bryan")
ENbook.hu
48 256 Ft
"Lineare Algebra: Eine Einfhrung in Die Wissenschaft Der Vektoren, Abbildungen Und Matrizen" - "
ENbook.hu
14 752 Ft
"Statistical Methods in Quantum Optics 1: Master Equations and Fokker-Planck Equations" - "" ("C
ENbook.hu
44 512 Ft
"Essentials of Cerebellum and Cerebellar Disorders: A Primer for Graduate Students" - "" ("Gruol
ENbook.hu
51 712 Ft
"Star-Spangled Soccer: The Selling, Marketing and Management of Soccer in the USA" - "" ("Hopkin
ENbook.hu
25 504 Ft
"Fault Analysis and Protection System Design for DC Grids" - "" ("Ukil Abhisek")
ENbook.hu
70 384 Ft
"Treatment of Chronic Pain by Medical Approaches: The American Academy of Pain Medicine Textbook
ENbook.hu
52 800 Ft
"Application of Machine Learning and Deep Learning Methods to Power System Problems" - "" ("Naza
ENbook.hu
74 672 Ft
"Interaktionsspiele Bei Psychopathie: Antisoziale Manipulation Erkennen Und Konstruktiv Bewltige
ENbook.hu
18 320 Ft
Midovo.hu | felhasználási feltételek | kapcsolatba lépni