Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيدThinking English Translation is a practical guide to analysing and translating English source texts. Section I focuses on ...
اقرأ المزيدThe book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
اقرأ المزيدThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيدThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
اقرأ المزيدThis volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions ...
اقرأ المزيدThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيدThis is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.
اقرأ المزيدThis book includes a short survey of the development of educational research on mathematics in German speaking countries, ...
اقرأ المزيدThis, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
اقرأ المزيدThis book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
اقرأ المزيدThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...
اقرأ المزيدThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
اقرأ المزيدVolume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough ...
اقرأ المزيدVolume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...
اقرأ المزيدThis volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
اقرأ المزيدThis book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
اقرأ المزيد