Electronic Books

Total Books: 561 - 580 /1403

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

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 Models of Operating System Kernels

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

Formal Refinement for Operating System Kernels

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

Formal Techniques for Computer Systems and Business Processes

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

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...

Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

Foundations of Computer Security

Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, ...

Foundations of Intelligent Systems (vol. # 3488)

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...

Foundations of Security

Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...

Foundations of Security Analysis and Design III

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

Foundations of Security Analysis and Design IV

This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...

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

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

Foundations of Trusted Autonomy

This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...

Total Books: 561 - 580 /1403