Electronic Books

Total Books: 981 - 1000 /2123

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 Networked and Distributed Systems – FORTE 2007

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...

Foundations of Fuzzy Logic and Soft Computing

This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of ...

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 Genetic Algorithms

Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations ...

Foundations of Genetic Algorithms

The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...

Foundations of Global Genetic Optimization

This book is devoted to the application of genetic algorithms in continuous global optimization. Some of their properties ...

Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

Foundations of Intelligent Systems (vol. # 3488)

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...

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 Object-Oriented Programming Using .NET 2.0 Patterns

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...

Foundations of Software Science and Computational Structures (vol. # 3441)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Foundations of Trusted Autonomy

This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Fractal Dimensions of Networks

The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...

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

Frontiers in Algorithmics

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...

Frontiers in Algorithmics : 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...

Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings

This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...

Total Books: 981 - 1000 /2123