Mathematical foundations Books

During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their ...

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the...

Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a ...

This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989...

Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim...

This volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest developments in the ...

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated...

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the...

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from ...

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The...

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special...

Computational methods pertaining to many branches of science, such as physics, physical chemistry and biology, are presented. The text is primarily intended for third-year undergraduate or first-year graduate students. However,...

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and ...

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language...

Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to manipulate data. But finding...

The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These proceedings contain a...

Each week of this three week meeting was a self-contained event, although each had the same underlying theme - the effect of parallel processing on numerical analysis. Each week provided the opportunity for intensive study to...

This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both...

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various...

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied...

The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various aspects of the theory of...

Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review...

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents...

The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided...

This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain...

The simultaneous inclusion of polynomial complex zeros is a crucial problem in numerical analysis. Rapidly converging algorithms are presented in these notes, including convergence analysis in terms of circular regions, and in...

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic...

Die 5. Österreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops und Tutorials. Der wissenschaftlich orientierte Teil des Tagungsprogramms umfaßt sowohl eingeladene als auch...

In these notes different deterministic and stochastic error bounds of numerical analysis are investigated. For many computational problems we have only partial information (such as n function values) and consequently they can...

Das vorliegende Werk ist ein Lehr- und Arbeitsbuch für den Selbstunterricht, für die Rechenpraxis und für Übungen. Es richtet sich an jeden Interessierten, mag er Physiker oder Ingenieur, Analytiker oder Numeriker, Chemiker...

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006, held in Singapore in December 2006, co-located with ISCSLP 2006, the 5th...

This book constitutes the thoroughly refereed proceedings of the 5th International Symposium on Chinese Spoken Language Processing, ISCSLP 2006, held in Singapore in December 2006, co-located with ICCPOL 2006, the 21st...

This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from two workshops: BioConcur 2004 held in London, UK in August 2004 and BioConcur...

This volume contains eleven contributions on boundary integral equation and boundary element methods. Beside some historical and more analytical aspects in the formulation and analysis of boundary integral equations, modern...

This book constitutes the refereed proceedings of the 25th International Conference on Conceptual Modeling, ER 2006, held in Tucson, AZ, USA in November 2006. The 37 revised full papers presented together with two keynote...

Meshfree methods for the numerical solution of partial differential equations are becoming more and more mainstream in many areas of applications. This volume represents the state-of-the-art in meshfree methods. It consists of...

The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing...

Dieses Numerik-Lehrbuch entwickelte sich seit der 1. Auflage zum Standardwerk. In zahlreichen Lehrveranstaltungen wird es als Begleittext verwendet. Der Erfolg dieses Lehrbuchs ist begründet. Es präsentiert, streng analytisch,...

For more than 20 years, the series of Conceptual Modeling - ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical experiences in the ?elds of...

During the last decade enormous progress has been achieved in the field of computational fluid dynamics. This became possible by the development of robust and high-order accurate numerical algorithms as well as the construc­...

We are pleased to present the proceedings of the 13th European Conference on Machine Learning (LNAI 2430) and the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2431). These two c-...

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability...

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop...