This book is arranged and developed around the theme of “2050 China,” it analyzes the factors and advantages of the Chinese ...
Lire la suiteModel checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis open access book is a result of the first ever study of the transformations of the higher education institutional landscape ...
Lire la suiteOffers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteThis book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suiteRough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
Lire la suiteWritten primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
Lire la suiteHighlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...
Lire la suiteAstronomy and Astrophysics is a comprehensive, fundamental, up-to-date reference book. It is filled with vital information ...
Lire la suiteA Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
Lire la suiteThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suiteThis book is open access under a CCBY license. This book investigates child poverty from a philosophical perspective. It ...
Lire la suiteSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteA Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
Lire la suite