Electronic Books

Total Books: 181 - 200 /478

Formal Modeling and Analysis of Timed Systems

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...

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 (vol. # 4202)

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

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 Techniques for Computer Systems and Business Processes

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

Foundations of C++/CLI : The Visual C++ Language for .NET 3.5

Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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 Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures

This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computational Structures

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...

From the Act of Judging to the Sentence

This book offers a detailed study of the truth-bearers problem, that is, the question of which category of items the predicates ...

Frontiers of WWW Research and Development -- APWeb 2006

This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...

Functional and Logic Programming

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...

Fundamental Approaches to Software Engineering

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...

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

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

Fundamental Approaches to Software Engineering : 11th International Conference, FASE 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 ...

Fundamentals of Computation Theory

This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...

Total Books: 181 - 200 /478