Electronic Books

Total Books: 261 - 280 /541

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This book offers updated information on how much information we are able to obtain in the exploration of the inner details ...

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...

provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...

This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...

This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...

This volume explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of ...

Genetic Programming Theory and Practice III explores the emerging interaction between theory and practice in the cutting-edge, ...

Genetic Programming Theory and Practice IV was developed from the fourth workshop at the University of Michigan’s Center ...

Total Books: 261 - 280 /541