Mathematical theory of computation books

A collection of his most wide-ranging and non-technical lectures and interviews  Read More >>

Das Lehrbuch enthält die wesentlichen Grundzüge der Theoretischen Informatik. Es gibt eine verständliche Einführung...  Read More >>

This book is an introduction to key mathematical ideas for computing students which develops their understanding...  Read More >>

This volume presents a broad, contemporary view of the field of modal logic, with contributions covering its foundations...  Read More >>

The 2nd International Symposium on Medical Data Analysis (ISMDA 2001) was the continuation of the successful ISMDA...  Read More >>

 Read More >>

 Read More >>

It fact, it was (to my best knowledge) the ?rst conference to use this term, in 1994, although I confess that another,...  Read More >>

This book is an abridged version of our two-volume opus Convex Analysis and Minimization Algorithms [18], about...  Read More >>

Es beweist bestechend logisch, dass selbst die größten, schnellsten, intelligentesten und teuersten Computer der...  Read More >>

 Read More >>

 Read More >>

Die Übersetzung der bewährten Einführung in die Informatik, entstanden am Massachusetts Institute of Technology...  Read More >>

An array of scientific instruments at the Tevatron, RHIC (Relativistic Heavy Ion Collider) and LHC (Large Hadron...  Read More >>

Das Buch bietet eine umfassende und aktuelle Darstellung der Konzepte und Techniken zur Implementierung von Datenbanksystemen....  Read More >>

In the mid-1960's I had the pleasure of attending a talk by Lotfi Zadeh at which he presented some of his basic...  Read More >>

This volume constitutes the refereed proceedings of the 4th International Conference on Intelligent Data Analysis,...  Read More >>

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming...  Read More >>

This textbook for engineering students introduces the commands and graphical tools of MATLAB and their application...  Read More >>

This text covers various topics of computer algebra methods, algorithms and software applied to scientific computing....  Read More >>

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling...  Read More >>

At the core of many engineering problems is the solution of sets of equa­ tions and inequalities, and the optimization...  Read More >>

Learning classi er systems are rule-based systems that exploit evolutionary c- putation and reinforcement learning...  Read More >>

Ce recueil de problèmes corrigés vise à proposer des voyages initiatiques à quelques domaines de la science informatique....  Read More >>

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order...  Read More >>