Mathematical theory of computation books

This book is an introduction into stochastic processes for physicists, biologists and financial analysts. Using...  Read More >>

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop...  Read More >>

 Read More >>

In diesem Lehrbuch werden die mathematischen Grundlagen exakt und dennoch anschaulich und gut nachvollziehbar vermittelt....  Read More >>

The goals for this international working conference are to find answers to the following questions: • what precisely...  Read More >>

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many...  Read More >>

This volume brings forth a set of papers presented at the conference on ""Varia­ tional Inequalities and network...  Read More >>

The purpose of this book is to develop a wide collection of nonlinear optimization applications from the real-world...  Read More >>

 Read More >>

In opposition to the classical set theory of natural language, Novák's highly original monograph offers a theory...  Read More >>

Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL),...  Read More >>

This book presents thirteen papers by leading researchers in computational mathematics. A wide range of topics are...  Read More >>

 Read More >>

Cognitive science arose in the 1950s when it became apparent that anumber of disciplines, including psychology,...  Read More >>

We do try to convince the reader that there is a mathematical basis consisting of theories of bounds of linear functions...  Read More >>

Includes the developments in: security protocols; secure software engineering; mobile agent security; e-commerce...  Read More >>

The Eighth Annual Working Conference of Information Security Management and Small Systems Security, jointly presented...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013,...  Read More >>

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on...  Read More >>

The papers are organized in topical sections on connectivity, groupwise registration, neuro segmentation, statistical...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 20th International Conference on Computer Networks, CN 2013,...  Read More >>

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

This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013,...  Read More >>