Electronic Books

Total Books: 1641 - 1660 /1723

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

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 ...

Regulation of gene transcription by neuronal activity is evident in a large number of neuronal processes ranging from neural ...

Good education changes lives. It is therefore unsurprising that improved schooling plays a central part in most development ...

Total Books: 1641 - 1660 /1723