Mathematical theory of computation books

This book constitutes the refereed proceedings of the Third International Conference on Pairing-Based Cryptography,...  Read More >>

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop...  Read More >>

Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop...  Read More >>

Computers pose a great ch- lenge to mathematical sciences, as the range of phenomena available for rigorous mathematical...  Read More >>

Motion analysis is central to both human and machine vision. It involves the interpretation of image data over time...  Read More >>

The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the...  Read More >>

The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the...  Read More >>

The nature of conceptual thinking constitutes a central topic in a variety of scienti?c disciplines. Since 1993,...  Read More >>

CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19-24, 2009 After several years...  Read More >>

The topics range from theoretical topics for classification, clustering, association rule and pattern mining to...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Algorithms and Architectures...  Read More >>

This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The...  Read More >>

Enables the readers to design and deploy powerful algorithms (methodologies and implementations) to solve complex...  Read More >>

Focuses on connections between algebra, algebraic geometry, number...  Read More >>

I was invited to join the Organizing Committee of the First International Conference on Complex Sciences: Theory...  Read More >>

Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite...  Read More >>

A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field,...  Read More >>

ThisvolumeofLNCScontainstheproceedingsofthe6thEuropeanPerformance EngineeringWorkshop,held at ImperialCollegeLondon...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR...  Read More >>

Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assembling a ?ne scienti?c program including...  Read More >>

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces....  Read More >>

For over a decade, William Lehr, Lorenzo Pupillo, and their colleagues in academia, industry, and policy have been...  Read More >>

This book constitutes the proceedings of the 4th International Workshop on Enterprise Applications and Services...  Read More >>

The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA's...  Read More >>