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 ...
اقرأ المزيد
