The topics covered by the Conference Proceedings include: Biomaterials and Tissue Engineering; Biomechanics, Artificial Organs, ...
WeiterlesenModel checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenThis open access book is a result of the first ever study of the transformations of the higher education institutional landscape ...
WeiterlesenIncludes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical ...
WeiterlesenThis report will talk about a way to design and rebuild a cheap, true-to-the-truth 3D system using reverse engineering. The ...
WeiterlesenAlong with a companion full-version software (PMWIN), this text offers an integrated simulation system. PMWIN comes with ...
WeiterlesenOn the occasion of the 50th anniversary of the European Union experts present their analyses of historical developments and ...
WeiterlesenWritten primarily for researchers and advanced students in environmental and social sciences, this latest book in Springer’s ...
WeiterlesenHighlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...
WeiterlesenA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
WeiterlesenThis book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: ...
WeiterlesenFiber-reinforced composites (FRCs) are a novel group of dental materials characterized by fibrous fillers that are being ...
WeiterlesenThe papers in this volume cover a wide range of subjects covering the most recent developments in Celestial Mechanics from ...
WeiterlesenConcentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics ...
WeiterlesenThis popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, ...
WeiterlesenA Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...
WeiterlesenThe monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations ...
WeiterlesenA comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous ...
WeiterlesenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
WeiterlesenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Weiterlesen