Mathematical theory of computation books

'Et moi ...~ si j'avait su comment en revenir. One service mathematics has rendered thl je n'y serais point aile:...  Read More >>

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the...  Read More >>

Progress in Medical Imaging contains a collection of interdisciplinary reviews of subtopics in medical imaging written...  Read More >>

Resolution Proof Systems: An Algebraic Theory presents a new...  Read More >>

~Et moi, ...si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.'...  Read More >>

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, It has put common sense...  Read More >>

It was less problematic to gather statistics from quality control and to print reports than to react immediately...  Read More >>

Designs and Finite Geometries brings together in one place important contributions and up-to-date research results...  Read More >>

Beginning with an informal introduction to language equations, this book presents a framework for a general theory...  Read More >>

Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its...  Read More >>

 Read More >>

 Read More >>

The first volume, Relationships in the Organization of Knowledge (Bean & Green, 200 I), examines the role of relationships...  Read More >>

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving...  Read More >>

This interdisciplinary meeting has brought together a group of astrophysicists with hands-on experience in the numerical...  Read More >>

It was attended by 75 students (among them many well known specialists in optimiza­ tion) from the following countries:...  Read More >>

The Brown Boveri Symposia are by now part of a firm!ly established tradition. This is the ninth event in a series...  Read More >>

The papers collected here provide an overview of recent Russian research in topics such as analysis of algorithms,...  Read More >>

Die Extensible Markup Language (XML), eine vereinfachte Version der Standard Generalized Markup Language (SGML),...  Read More >>

This is the last of three volumes which present some of the most important tools of applied mathematics used in...  Read More >>

The NATO Advanced Research Worshop on : "" Numerical Determination of the Electronic Structure of Atoms, Diatomic...  Read More >>

Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results...  Read More >>

The vast majority of both industrial and mobile robots operate on land, since the technology to allow them to operate...  Read More >>

Models in system design follow the general tendency in electronics in terms of size, complexity and difficulty...  Read More >>

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction....  Read More >>