Mathematical theory of computation books

This book provides the first comprehensive introduction to Dynamic Logic.  Read More >>

This volume contains contributions of the interdisciplinary workshop ""Nu­ merical Challenges in Lattice Quantum...  Read More >>

Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000  Read More >>

Hofstadter’s Law: It always takes longer than you think it will take, even if you take into account Hofstadter’s...  Read More >>

 Read More >>

Simulation ist neben Theorie und Experiment die dritte Säule wissenschaftlicher Forschung und technischer Entwicklung....  Read More >>

Is the exponential function computable? - Merging fundamental concepts of analysis and recursion theory to a new...  Read More >>

This introduction to random variables and signals for advanced undergraduates or beginning graduate students provides...  Read More >>

 Read More >>

A practical approach to the modelling and computation of real-world systems. Multibody dynamics, planar and spatial...  Read More >>

Helps to exercising control over how your books and articles look, read, and communicate your ideas. Focusing on...  Read More >>

 Read More >>

 Read More >>

Nonlinear Finite Elements for Continua and Structures Ted Belytschko, Wing Kam Liu, Brian Moran Northwestern University,...  Read More >>

Nonlinear Finite Elements for Continua and Structures Ted Belytschko, Wing Kam Liu, Brian Moran Northwestern University,...  Read More >>

This work demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived...  Read More >>

The study of the above problems through physical experiments, mat- matical theory, and computational techniques...  Read More >>

This volume constitutes an advanced introduction to the field of analysis, modeling and numerical simulation of...  Read More >>

The use of computer programming to model real--life biological systems involves the implementation of a wide variety...  Read More >>

 Read More >>

The computational power of such a model can be judged by evaluating certain problems with respect to that model....  Read More >>

Dynamische Visualisierung: Grundlagen mit Anwendungsbeispielen aus der Kartographie richtet sich in erster Linie...  Read More >>

Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (?rst-order...  Read More >>

We welcome Volume 20, Formal Aspects of Context.  Read More >>

Drei Ziele haben Stoffauswahl und Darstellung dieses Buches geprägt: Studierende erlernen die Codierung von Algorithmen...  Read More >>