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 ...
اقرأ المزيد
