Mathematical theory of computation books

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie...  Read More >>

Cryptography in Constant Parallel Time  Read More >>

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious...  Read More >>

 Read More >>

VII Preface In many fields of mathematics, geometry has established itself as a fruitful method and common language...  Read More >>

An understanding of emergent computation requires a profound revision of the most fundamental ideas. Audience:...  Read More >>

Metaheuristics, and evolutionary algorithms in particular, are known to provide efficient, adaptable solutions for...  Read More >>

Post-Optimal Analysis in Linear Semi-Infinite Optimization examines the following topics in regards to linear semi-infinite...  Read More >>

This book constitutes the proceedings of the 9th International Symposium on Algorithms for Sensor Systems, Wireless...  Read More >>

This Springer Brief presents a basic algorithm that provides a correct solution to finding an optimal state change...  Read More >>

 Read More >>

A reference that provides readers with both a working knowledge of Mathematica in general and a knowledge of the...  Read More >>

Empirical Inference  Read More >>

Digitalism is a philosophical strategy that uses new computational ways of thinking to develop naturalistic but...  Read More >>

The field of uncertainty quantification is evolving rapidly. This book provides readers with the basic concepts,...  Read More >>

People, Problems, and Proofs  Read More >>

Offers a hollistic approach to the theory and numerics of random differential equations from an interdisciplinary...  Read More >>

Reactive Kripke Semantics  Read More >>

Chapter 1 pro­ vides a brief survey on the networking architectures of optical trans- XVll xvm MULTICHANNEL OPTICAL...  Read More >>

Reduced Order Methods for modeling and computational reduction  Read More >>

This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends...  Read More >>

The continuous trend in computer science to lift programming to higher abstraction levels increases scalability...  Read More >>

 Read More >>

This book constitutes the proceedings of the 7th International Conference on Learning and Optimization, LION 7,...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and...  Read More >>