Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
Continue reading
Toward Category-Level Object Recognition
This volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions ...
Continue reading
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Continue reading
Towards a New Evolutionary Computation
This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.
Continue reading
Traditions in German-Speaking Mathematics Education Research
This book includes a short survey of the development of educational research on mathematics in German speaking countries, ...
Continue reading
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Continue reading
Transactions on Edutainment I
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Continue reading
Transactions on Rough Sets II
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...
Continue reading
Transactions on Rough Sets III
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
Continue reading
Transactions on Rough Sets IV
Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough ...
Continue reading
Transactions on Rough Sets V
Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...
Continue reading
Transactions on Rough Sets VIII
This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Continue reading
Transforming Lives and Systems Cultural Competence and the Higher Education Interface
This book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
Continue readingTransitions in Mathematics Education
This book examines the kinds of transitions that have been studied in mathematics education research. It defines transition ...
Continue reading
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
Continue reading
Trends in Intelligent Systems and Computer Engineering
This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Continue reading
