The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Continue reading
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue reading
This volume, organized into eight chapters written by leading scientists in the field, illustrates the progress made during ...
Continue reading
the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Continue reading
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue readingThese proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
Continue reading
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Continue reading
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
Continue reading
This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
Continue reading
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Continue reading
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Continue reading
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
Continue reading
Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture ...
Continue reading
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Continue reading
Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...
Continue reading
This text book is intended for studies in structural dynamics or wind engineering, with special focus on the stochastic theory ...
Continue reading
The book represents a snapshot of the current status of research in reaction dynamics, focusing especially on accurate time-dependent ...
Continue reading
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Continue readingThis book presents comprehensive and authoritative coverage of the wide field of concentrated vortices observed in nature ...
Continue reading
This textbook focuses on concrete-filled steel tubular structures formed by placing concrete inside the steel tube. The content ...
Continue reading