Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite
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 ...
Lire la suite
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Lire la suite
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 ...
Lire la suite
Free Energy and Self-Interacting Particles
This book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suite
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suite
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lire la suite
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 ...
Lire la suite
Fundamental Numerical Methods for Electrical Engineering
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Lire la suite
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 ...
Lire la suiteFundamentals of Airplane Flight Mechanics
Airplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Lire la suite
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Lire la suite
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lire la suite
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lire la suite
Gene Expression Programming
This monograph provides all the implementation details of GEP so that anyone with elementary programming skills will be able ...
Lire la suite
