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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Foundation Mathematics for Computer Science
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
Weiterlesen
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 ...
Weiterlesen
Foundations and Applications of MIS
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Weiterlesen
Foundations and Applications of MIS
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Weiterlesen
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 ...
Weiterlesen
Foundations of Generic Optimization
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Weiterlesen
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 ...
Weiterlesen
Foundations of Hyperbolic Manifolds
The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Weiterlesen
Foundations of Hyperbolic Manifolds
The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Weiterlesen
Foundations of Learning Classifier Systems
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
Weiterlesen
Foundations of Quantum Theory
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Weiterlesen
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 ...
Weiterlesen
