Mathematical theory of computation books

This Festschrift volume, published in honor of Kurt Mehlhorn on the occasion of his 60th birthday, contains 28 papers...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Information Security Conference,...  Read More >>

CALCO, the Conference on Algebra and Coalgebra in Computer Science,...  Read More >>

Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization...  Read More >>

This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific...  Read More >>

In real electronic systems, voltage and current signals are not necessarily of a periodical quantity, due to the...  Read More >>

Sommerfeld), and the mathematical tables, exact - lutions, and formulas, published in many mathematical textbooks,...  Read More >>

This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna,...  Read More >>

Patrick Noll stellt eine alternative Methode des statistischen Matchings mit Fuzzy Logic vor, welche die Nachteile...  Read More >>

 Read More >>

The PaCT-2009 (Parallel Computing Technologies) conference was a four-day eventheld in Novosibirsk. The ?rst conference,...  Read More >>

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher...  Read More >>

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history...  Read More >>

The aim of ICCMSE 2008 is to bring together computational scientists and engineers from several disciplines in order...  Read More >>

The idea for this book came from the time the authors spent at the Statistics and Applied Mathematical Sciences...  Read More >>

The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis,...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory,...  Read More >>

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a...  Read More >>

This year, 76 papers were submitted to FSE including a large portion of papers on hash functions, following the...  Read More >>

Arti?cial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology...  Read More >>

Contains selected contributed papers from the BIOMAT 2008 Symposium and lectures delivered by keynote speakers during...  Read More >>

This groundbreaking book serves as a first introduction to computer programming of scientific applications, using...  Read More >>

This book describes new tools for front end analog designers, starting with global variation-aware sizing, and extending...  Read More >>

The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract...  Read More >>