Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Continue reading
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Continue reading
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Continue reading
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue reading
Foundations of Data Mining and Knowledge Discovery
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...
Continue reading
Foundations of Genetic Algorithms
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Fractional-in-Time Semilinear Parabolic Equations and Applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain ...
Continue reading
Free-Convective Heat Transfer
Free Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...
Continue reading
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, ...
Continue reading
Frontiers in Hardware Security and Trust: Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
Continue reading
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Continue reading
Frontiers in Statistical Quality Control 8
The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...
Continue reading
Frontiers of Numerical Analysis
Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...
Continue reading
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
Fundamental Approaches to Software Engineering
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Continue reading
Fundamental Approaches to Software Engineering (vol. # 3442)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
