الكتب الالكترونية

عدد الكتب: 8121 - 8140 /8350
978-3-540-30035-9
Valued Fields

In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...

اقرأ المزيد
978-3-030-16892-6
Values and Valuing in Mathematics Education

This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...

اقرأ المزيد
978-981-13-2282-2
Variant Construction from Theoretical Foundation to Applications

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

اقرأ المزيد
978-3-540-31247-5
Variational Analysis and Generalized Differentiation I

This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...

اقرأ المزيد
978-3-540-32109-5
Variational, Geometric, and Level Set Methods in Computer Vision

Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...

اقرأ المزيد
978-1-84628-919-4
Vascular Complications in Human Disease : Mechanisms and Consequences

Vascular disease provides a clear example of the inherent and practical relationship between basic science and clinical medicine. ...

اقرأ المزيد
978-1-84628-008-5
Vascular Surgery

Edited by prominent vascular surgeons in the USA and UK, the book tackles the epidemiology and etiology of atherosclerosis ...

اقرأ المزيد
978-1-84628-211-9
Vascular Surgery

This updated and revised second edition of Vascular Surgery: Cases, Questions and Commentaries provides a thorough overview ...

اقرأ المزيد
978-3-540-79029-7
Vector Control of Three-Phase AC Machines : System Development in the Practice

This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...

اقرأ المزيد
978-3-540-28445-1
Vector Optimization

Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...

اقرأ المزيد
978-981-19-5607-2
Vector Semantics / András Kornai

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

اقرأ المزيد
978-3-540-32492-8
Vegetation-Climate Interaction

This book has been written with the aim of providing an accessible introduction to the many ways in which plants respond ...

اقرأ المزيد
978-3-030-69709-9
Vegetative Powers

The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...

اقرأ المزيد
978-0-387-28823-9
Vehicle Dynamics and Control

Vehicle Dynamics and Control provides a comprehensive coverage of vehicle control systems and the dynamic models used in ...

اقرأ المزيد
978-0-387-74286-1
Venus and Mercury, and How to Observe Them

Mercury and Venus - known as the "inferior planets" because they are closer to the Sun than the Earth is - have always ...

اقرأ المزيد
NoIMG
Vergleichsweise menschlich? : Ambulante Sanktionen als Alternative zur Freiheitsentziehung aus europäischer Perspektive = Comparatively human? : Outpatient sanctions as an alternative to imprisonment from a European perspective

Ambulatory sanctions are often seen as a humane alternative to deprivation of liberty. The nature of intervention, the perspective ...

اقرأ المزيد
978-0-387-25556-9
Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

اقرأ المزيد
978-3-540-69061-0
Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

اقرأ المزيد
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

اقرأ المزيد
978-3-540-31622-0
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

اقرأ المزيد
عدد الكتب: 8121 - 8140 /8350