Mathematical theory of computation books

This volume is based on a course held several times, andagain in 1993, at the ESAT Laboratorium of the Department...  Read More >>

Computational Mathematics in Engineering and Applied Science provides numerical algorithms and associated software...  Read More >>

 Read More >>

This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic Learning Theory,...  Read More >>

This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning Theory, held in...  Read More >>

Discussing algorithmic aspects of VLSI layout, this text includes coverage of: issues in timing driven layout; LP...  Read More >>

This volume contains the proceedings of ASIACRYPT '91, thefirst international conference on the theory...  Read More >>

This book is made of the proceedings of EUROCODE 1992 which was held in Udine (Italy) at the CISM, October 27 -...  Read More >>

This book presents the full, self-contained negative solution of Hilbert's 10th problem.  Read More >>

MacMath addresses differential equations and iteration such as: analyzer, diffeq, phase plane, diffeq 3D views,...  Read More >>

This volume contains the papers, updated in some cases,presented at the first AISMC (Artificial Intelligence...  Read More >>

 Read More >>

 Read More >>

This volume presents the proceedings of the FourthInternational Conference on Data Organization andAlgorithms, FODO...  Read More >>

The articles cover allmain topics in modern computer and communications securityresearch.These include:-...  Read More >>

Zum fünften Male wird die Fachtagung ""Informatik und Schule"" vom Fachbereich 7 ""Ausbildung und Schule"" der Gesellschart...  Read More >>

Symposium on Algorithms (ESA '93), held in Bad Honnef, nearBoon, in Germany, September 30 - October 2, 1993....  Read More >>

These proceedings present topics and techniques of semigroup theory. Since results on semigroups have naturally...  Read More >>

 Read More >>

Reflects exact and heuristic methods of scheduling techniques suitable for creating customized sequencing and scheduling...  Read More >>

Presents the proceedings of the 7th International Workshop on Distributed Algorithms, held in Lausanne, Switzerland,...  Read More >>

""Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen"" ist die 7. Veranstaltung der gleichnamigen...  Read More >>

REDUCE ist ein Kompaktkurs }ber die Anwendung dieses Computer-Algebra-Systems. REDUCE ist an den deutschen Universt{ten...  Read More >>

Beside theformal lectures dedicated to design and implementationissues of computer algebra, there were several softwaredemonstrations...  Read More >>

This volume constitutes the proceedings of theInternational Symposium on Design and Implementation ofSymbolic...  Read More >>