Mathematical theory of computation books

Presents a learning technique based on information-theoretic discrimination, which is used to construct face and...  Read More >>

 Read More >>

The 21st century is now almost upon us and, whilst this represents a somewhat artificial boundary, it provides...  Read More >>

The contributors, all experts in their fields, address language in the brain, production of sentences and dialogues,...  Read More >>

Researches and developers of simulation models state that the Java program­ ming language presents a unique and...  Read More >>

Many behaviors of real physical, biological, economical, and chemical systems can be described by ordinary differential...  Read More >>

The intended audience is the ASIC (or high-end FPGA) designer who will be using behavioral synthesis, the manager...  Read More >>

Philosophy of the Text This text presents an introductory survey of the basic concepts and applied mathematical...  Read More >>

This book constitutes the thoroughly refereed post workshop proceedings of the 10th International Workshop on Approximation...  Read More >>

This volume is a compilation of the research program of the 10th International Conference on the Integration of...  Read More >>

This book explores a range of topics in Semantic Systems, from underlying universal principles to representation...  Read More >>

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs)...  Read More >>

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013,...  Read More >>

Focuses on computer arithmetic. This book shows how the arithmetic capability of the computer can be enhanced. It...  Read More >>

This book systematically develops scientific computing from classical approaches – describing equations of motion;...  Read More >>

This book discusses state estimation of stochastic dynamic systems from noisy measurements, specifically sequential...  Read More >>

Research Directions in Data and Applications Security XVIII presents original unpublished research results, practical...  Read More >>

The Architecture of Scientific Software addresses emerging methodologies and tools for the rational design of scientific...  Read More >>

This book also includes a sample of research, conducted by Professor Xiao's former and current students.Progress...  Read More >>

Auf wie viele Arten und Weisen können die Elemente einer Menge einer anderen zugeordnet werden?  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on...  Read More >>

 Read More >>

 Read More >>

Question: How will the artificial intelligence and biotech revolutions lead to a post-human future? Consider the...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative...  Read More >>