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