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 ...
Lee mas
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lee mas
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lee mas
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 ...
Lee mas
Fundamental Numerical Methods for Electrical Engineering
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Lee mas
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 ...
Lee mas
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lee mas
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lee mas
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 ...
Lee mas
Generative Programming and Component Engineering
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Lee mas
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lee mas
Genetic Programming (vol. # 3447)
In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...
Lee mas
Genetic Programming Theory and Practice II
This volume explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of ...
Lee mas
Genetic Programming Theory and Practice III
Genetic Programming Theory and Practice III explores the emerging interaction between theory and practice in the cutting-edge, ...
Lee mas
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 ...
Lee mas
