This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suiteIn this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...
Lire la suiteThis book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...
Lire la suiteThe Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Lire la suiteThis book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteThe sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
Lire la suiteEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Lire la suiteThe editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lire la suiteThe Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers ...
Lire la suiteWhen applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic ...
Lire la suiteThis book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...
Lire la suiteThis handbook represents the first effort to compile basic descriptions and methods for research in Lotus, including symbiotic ...
Lire la suite"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Lire la suiteAssimilating new research in the field of low-dimensional metals, this monograph provides a detailed overview of the current ...
Lire la suiteLow-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources ...
Lire la suiteLow-Power High-Speed ADCs for Nanometer CMOS Integration is about the design and implementation of ADC in nanometer CMOS ...
Lire la suiteAt the system level, a novel systematic study on the full feedforward Sigma-Delta topology is presented in this book. As ...
Lire la suite