2050 China Becoming a Great Modern Socialist Country
This book is arranged and developed around the theme of “2050 China,” it analyzes the factors and advantages of the Chinese ...
اقرأ المزيد
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
25 Years of Transformations of Higher Education Systems in Post-Soviet Countries
This open access book is a result of the first ever study of the transformations of the higher education institutional landscape ...
اقرأ المزيد
3-D Computer Vision. Principles, Algorithms and Applications / Yu-Jin Zhang
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
اقرأ المزيد
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
اقرأ المزيد
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
اقرأ المزيد
3D-Position Tracking and Control for All-Terrain Robots
Rough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
اقرأ المزيد
A Changing World
Written primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
اقرأ المزيد
A City in Blue and Green
Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...
اقرأ المزيد
A Companion to Astronomy and Astrophysics
Astronomy and Astrophysics is a comprehensive, fundamental, up-to-date reference book. It is filled with vital information ...
اقرأ المزيد
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
اقرأ المزيد
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
اقرأ المزيدA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
اقرأ المزيدA Philosophical Examination of Social Justice and Child Poverty
This book is open access under a CCBY license. This book investigates child poverty from a philosophical perspective. It ...
اقرأ المزيد
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
A Programmers Introduction to C#
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
اقرأ المزيد
