Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 Learning Classifier Systems
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
اقرأ المزيد
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
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيد
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 Software Science and Computational Structures : 11th International Conference, FOSSACS 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 ...
اقرأ المزيد
Fractional Order Systems and Applications in Engineering / Dumitru Baleanu, Valentina Emilia Balas, Praveen Agarwal
Covers the fundamentals of fractional calculus together with some analytical and numerical techniques, and provides MATLAB® ...
اقرأ المزيد
Free Energy and Self-Interacting Particles
This book examines a system of parabolic-elliptic partial differential eq- tions proposed in mathematical biology, statistical ...
اقرأ المزيد
From Animals to Animats 9
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
From Nano to Space : Applied Mathematics Inspired by Roland Bulirsch
Graduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics ...
اقرأ المزيد
From Product Description to Cost: A Practical Approach
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, ...
اقرأ المزيد
From Product Description to Cost: A Practical Approach
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, ...
اقرأ المزيد
From Stochastic Calculus to Mathematical Finance
The Festschrift is a collection of papers, including several surveys, written by his former students, co-authors and colleagues. ...
اقرأ المزيد
From Stochastic Calculus to Mathematical Finance
The Festschrift is a collection of papers, including several surveys, written by his former students, co-authors and colleagues. ...
اقرأ المزيد
Frontiers of Numerical Analysis
Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained ...
اقرأ المزيد
Functional Analysis and Evolution Equations : The Günter Lumer Volume
Günter Lumer was an outstanding mathematician whose work has great influence on the research community in mathematical analysis ...
اقرأ المزيد
