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
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
Lire la suite
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians ...
Lire la suite
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, ...
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 Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, ...
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
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
Lire la suite
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International ...
Lire la suite
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
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
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
Lire la suite
In thirteen chapters you will rediscover - and hopefully discover for the first time a new way of understanding - the mathematical ...
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
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Lire la suite