Electronic Books

Total Books: 261 - 280 /541

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 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 fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Foundations of Trusted Autonomy

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

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

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

From Cells to Proteins: Imaging Nature across Dimensions

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

From Data to Models and Back

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

Frontiers of Combining Systems

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

Frontiers of Combining Systems

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

Functional Verification Coverage Measurement and Analysis

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

Fundamental Approaches to Software Engineering (vol. # 3922)

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

Fundamental Numerical Methods for Electrical Engineering

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

Fundamentals and Methods of Machine and Deep Learning: Algorithms, Tools, and Applications / Pradeep Singh

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

Fundamentals of Computation Theory

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

Fundamentals of Computation Theory

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

Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

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

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

Generative and Transformational Techniques in Software Engineering

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

Genetic Programming (vol. # 3447)

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

Genetic Programming Theory and Practice II

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

Genetic Programming Theory and Practice III

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

Genetic Programming Theory and Practice IV

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

Total Books: 261 - 280 /541