Electronic Books

Total Books: 2501 - 2520 /2672

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

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

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of 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 ...

Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...

Recent surveys have provided new and updated information into public insights of the nascent space tourism industry. Erik ...

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

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

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

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

This book includes a short survey of the development of educational research on mathematics in German speaking countries, ...

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

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

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Total Books: 2501 - 2520 /2672