Mathematical theory of computation books

Ziel der Studie war, dem DV-Management der ARAG eine Entscheidungshilfe für die methodische Ausrichtung der informationstechnischen...  Read More >>

Infolge der zunehmenden Komplexität rechnergestützter betrieblicher Informations- systeme bei gleichzeitig gestiegenen...  Read More >>

The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction...  Read More >>

Presents an approach to the formal object-oriented specification of information systems. The approach focuses on...  Read More >>

 Read More >>

A collection of papers from a workshop on groups and computation. The workshop explored interactions among four...  Read More >>

This volume provides an up-to-date view of several topics in theoretical computer science and suggests directions...  Read More >>

This volume contains the 22 papers accepted for presentationat the Third Annual Symposium on Combinatorial PatternMatching...  Read More >>

Withingraph-grammar theory one maydistinguish the set-theoreticalapproach, the algebraic approach, and the logical...  Read More >>

 Read More >>

This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems....  Read More >>

This volume of conference papers covers a number of topics, including the foundations of meta-programming in logic,...  Read More >>

An introduction to functional analysis and mathematical analysis of computer modelling algorithms. The text aims...  Read More >>

Proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis,...  Read More >>

The aim of this symposium was to provide a forum for researchers in boundary element methods to present techniques...  Read More >>

This volume gives the proceedings of ISAAC '92, the ThirdInternational Symposium on Algorithms and Computation,...  Read More >>

For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding...  Read More >>

This volume contains the proceedings of the International Conference on Research in Computer Science and Control,...  Read More >>

Addresses the challenge of designing and managing the complexity of physically-based models. This book presents...  Read More >>

The proceedings of an international workshop on distributed algorithms and their applications are presented in this...  Read More >>

Speerspitze dieser Anwendun gen waren die Entwurfsvorgange in den ingenieurwissenschaftlichen Disziplinen.""  Read More >>

Without the aid of partially compatible software programs, most computer operating systems cannot perform mathematical...  Read More >>

In einer nun schon respektablen Anzahl von jahrlich erscheinenden Tagungsbanden stellt die Gesellschaft fur Informatik...  Read More >>

Die gesellschaftliche Auseinandersetzung urn die Entwicklung und den Einsatz neuer Techniken, war - vor allem in...  Read More >>

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of...  Read More >>