This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Lire la suite
This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...
Lire la suite
This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...
Lire la suite
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Lire la suite
Author Eric Griffin shows you how to mix applications and share your hybrids with the world, using the Popfly Mashup Creator ...
Lire la suite
Foundations of Qt Development is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this ...
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
Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
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 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
the book highlights three principal messages: biological classifications and their explanatory mechanisms are separate notions; ...
Lire la suite
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Lire la suite