Electronic Books

Total Books: 1241 - 1260 /1307
Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Lire la suite
Thinking English Translation : Analysing and Translating English Source Texts / Stella Cragie, Ann Pattison

Thinking English Translation is a practical guide to analysing and translating English source texts. Section I focuses on ...

Lire la suite
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings

The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...

Lire la suite
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; ...

Lire la suite
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 ...

Lire la suite
NoIMG
Tools 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 ...

Lire la suite
NoIMG
Tools 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 ...

Lire la suite
Toward Artificial Sapience : Principles and Methods for Wise Systems

This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...

Lire la suite
Toward Category-Level Object Recognition

This volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions ...

Lire la suite
Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Lire la suite
Towards a New Evolutionary Computation

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
Transactions on Edutainment I

This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Total Books: 1241 - 1260 /1307