Electronic Books

Total Books: 261 - 280 /757

Formal Concept Analysis (vol. # 3874)

This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...

Formal Methods and Stochastic Models for Performance Evaluation

This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...

Formal Methods and Stochastic Models for Performance Evaluation

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

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

Total Books: 261 - 280 /757