Mathematical theory of computation books

This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative...  Read More >>

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference...  Read More >>

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics...  Read More >>

 Read More >>

Papers at a colloquium held at the Bayerische Akademie der Wissenschaften, June 12-14, 1989, in honor of Friedrich...  Read More >>

What the Book Is About This book is about the problem of organizational learning, that is the analysis of organizations...  Read More >>

The two-volume set, CCIS 243 and CCIS 244, constitutes the refereed proceedings of the Second International Conference...  Read More >>

Pictures are at the heart of how we communicate with computers, emblematic of our cur­ rent fascination with multimedia...  Read More >>

The mathematical theory of computation has given rise to two important ap­ proaches to the informal notion of ""complexity"":...  Read More >>

What prevents algebraic specifications from breaking through is...  Read More >>

The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that...  Read More >>

Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically...  Read More >>

The topics covered in this text are those usually covered in a full year's course in finite mathematics or mathematics...  Read More >>

Mathematical Foundations for Signal Processing, Communications, and Networking describes mathematical concepts and...  Read More >>

Now available in paperback— Relational databases hold data, right? The math that you'll learn in this book...  Read More >>

ESPRIT Working Groups provide a structure that enables researchers to meet, interact and share research results,...  Read More >>

Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal...  Read More >>

The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld...  Read More >>

Concurrency and Nets is a special volume in the series ""Advances in Petri Nets"". These papers are contributed...  Read More >>

The first symposium of the working group on experimental urology of the German Society of Urology was held in Cologne...  Read More >>

This volume contains all papers presented at the workshop ""Sequences '91: Methods in Communication, Security and...  Read More >>

when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major...  Read More >>

Dieses Buch ist eine Sammlung von Aufs{tzen zur Mensch-Computer-Kommunikation, zu ihren Methoden und Werkzeugen,...  Read More >>

Co-evolutionary Algorithm & Multi-agent Systems introduces the author's recent work in these two new and important...  Read More >>

Although system analysis is a well established methodology, the specific application of such analysis to information...  Read More >>