The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Lire la suite
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Lire la suite
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
Lire la suite
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
Lire la suite
Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations ...
Lire la suite
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Lire la suite
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
Lire la suite
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Lire la suite
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suite
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suite
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suite
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suite
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suite
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Lire la suite