Mathematical theory of computation books

This volume contains 22 contributions by scientists in many areas of probability theory and its applications. Together...  Read More >>

Asynchronous Circuit Design for VLSI Signal Processing is a collection of research papers on recent advances in...  Read More >>

Formal verification means having a mathematical model of a system, a language for specifying desired properties...  Read More >>

'Et moi *...* si j'avait su comment en revenir. je One service mathematics bas rendered the n'y serais point a116.'...  Read More >>

Jaynes and Myron Tribus initiated a series of workshops to exchange ideas and recent developments in technical aspects...  Read More >>

Das Buch behandelt die Realisierung graphisch-geometrischer Programmiersysteme für Kunst, Design, Werbung und Wissenschaft....  Read More >>

Structured matrices serve as a natural bridge between the areas...  Read More >>

Logic is, and should be, the core subject area of modern mathemat­ ics. There is need for a book that introduces...  Read More >>

Gathers the practical experiences in how to design SoCs from the most advanced design groups, while setting the...  Read More >>

The purpose of this annual series, Applied and Computational Control, Signals, and Circuits, is to keep abreast...  Read More >>

Soft computing comprises various paradigms dedicated to approximately solving real-world problems, e.g.  Read More >>

Details an array of computing applications that researchers in the humanities have recourse to, including the dissemination...  Read More >>

 Read More >>

Proceedings of an International Workshop held in Sheffield, UK, September 1-4, 1997  Read More >>

Humanity's most basic intellectual quest to decipher nature and master it has led to numerous efforts to build machines...  Read More >>

This monograph develops techniques for equational reasoning in higher-order logic. This is followed by a systematic...  Read More >>

Integrated circuits are finding ever wider applications through a range of industries. Introduction to VLSI Process...  Read More >>

Das Buch bietet einen umfassenden Überblick über die Grundlagen moderner kryptographischer Verfahren und ihre programmtechnische...  Read More >>

Das Buch Arithmetik ist eine Übersetzung des vierten Kapitels der legendären Werkreihe ""The Art of Computer Programming""...  Read More >>

In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing...  Read More >>

This volume presents the core of invited expository lectures given at the 1993 NATO ASI held at the University of...  Read More >>

This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence,...  Read More >>

This book constitutes the refereed proceedings of the First Mediterranean Conference on Algorithms, MedAlg 2012,...  Read More >>

These two volumes contain the proceedings of the Workshop on Transition, Turbulence and Combustion, sponsored by...  Read More >>

The aim of this volume is to reinforce the interaction between the three main branches (abstract, convex and computational)...  Read More >>