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 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 suiteA Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
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 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 suitethe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
Lire la suiteThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lire la suiteThis book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, ...
Lire la suiteThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Lire la suiteBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lire la suiteThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suite