Electronic Books

Total Books: 281 - 300 /841

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 ...

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 ...

Formal Models of Communicating Systems

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

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 ...

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 ...

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 ...

Foundations of Genetic Algorithms

The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...

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 ...

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 ...

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 ...

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 ...

Free-Convective Heat Transfer

Free Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...

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 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 ...

Frontiers in Statistical Quality Control 8

The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...

Frontiers in Statistical Quality Control 8

The proportion of nonconforming meters in a lot has traditionally defined lot quality for utility meter sampling inspection ...

Frontiers of Numerical Analysis

Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...

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, ...

Fundamental Approaches to Software Engineering

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

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 ...

Total Books: 281 - 300 /841