The topics covered by the Conference Proceedings include: Biomaterials and Tissue Engineering; Biomechanics, Artificial Organs, ...
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 suiteIncludes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical ...
Lire la suiteThis report will talk about a way to design and rebuild a cheap, true-to-the-truth 3D system using reverse engineering. The ...
Lire la suiteAlong with a companion full-version software (PMWIN), this text offers an integrated simulation system. PMWIN comes with ...
Lire la suiteOn the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
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 suiteA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
Lire la suiteThis book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
Lire la suiteFiber-reinforced composites (FRCs) are a novel group of dental materials characterized by fibrous fillers that are being ...
Lire la suiteThe papers in this volume cover a wide range of subjects covering the most recent developments in Celestial Mechanics from ...
Lire la suiteConcentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics ...
Lire la suiteThis popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, ...
Lire la suiteA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
Lire la suiteThe monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations ...
Lire la suiteA comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous ...
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 suite