Electronic Books

Total Books: 1101 - 1120 /3144

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 Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

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

Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

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

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

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

Forward-Backward Stochastic Differential Equations and their Applications

This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...

Foundation Mathematics for Computer Science

In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...

Foundation of Semantic web technologies / Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph

Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...

Foundations and Applications of MIS

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

Foundations and Applications of MIS

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

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 Generic Optimization

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

Foundations of Hyperbolic Manifolds

The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...

Foundations of Hyperbolic Manifolds

The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...

Foundations of Learning Classifier Systems

This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...

Foundations of Quantum Theory

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...

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

Total Books: 1101 - 1120 /3144