Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
Lire la suiteThis volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 19th IFIP/IEEE ...
Lire la suiteThis volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE ...
Lire la suiteMarkov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems ...
Lire la suiteMarkov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems ...
Lire la suiteThis comprehensive introduction to the Markov modeling framework describes the underlying theoretical concepts - covering ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
Lire la suiteConstitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
Lire la suiteThis book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lire la suiteExperience the discovery of mathematics by reading the original work of some of the greatest minds throughout history. Here ...
Lire la suiteThe interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems ...
Lire la suiteThis Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, ...
Lire la suiteThis book contains some of the contributions that have been carefully selected and peer-reviewed, which were presented at ...
Lire la suiteThe aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather ...
Lire la suiteThis book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles ...
Lire la suiteMathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lire la suiteMathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
Lire la suiteThis book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Lire la suiteThe 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Lire la suite