This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
Lire la suite
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
Lire la suite
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lire la suite
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lire la suite
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
Lire la suite
Experience the discovery of mathematics by reading the original work of some of the greatest minds throughout history. Here ...
Lire la suite
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems ...
Lire la suite
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, ...
Lire la suite
This book contains some of the contributions that have been carefully selected and peer-reviewed, which were presented at ...
Lire la suite
The aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather ...
Lire la suite
This two-volume, interdisciplinary work is a unified presentation of a broad range of state-of-the-art topics in the rapidly ...
Lire la suite
This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles ...
Lire la suite
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lire la suite
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lire la suite
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Lire la suite
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Lire la suite
In this book, different quantitative approaches to the study of electoral systems have been developed: game-theoretic, decision-theoretic, ...
Lire la suite
Mathematics and Technology presents technological applications of mathematics making use of elegant mathematical concepts. ...
Lire la suite
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suite