Mathematical theory of computation books

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded...  Read More >>

This book addresses the key issues in the modeling and simulation of diffusive processes from a wide spectrum of...  Read More >>

This book is the outcome of the Dagstuhl Seminar 13201 on Information Visualization - Towards Multivariate Network...  Read More >>

This book focuses on current applications of molecular quantum dynamics. In contrast to standard quantum chemistry...  Read More >>

 Read More >>

- There is a long waiting list for cadaveric kidney transplants, which reflect poor procurement and transplant activity....  Read More >>

 Read More >>

 Read More >>

The Self-Organizing Map (SOM) is one of the most frequently used architectures for unsupervised artificial neural...  Read More >>

Computer science is the science of the future, and already underlies every facet of business and technology, and...  Read More >>

 Read More >>

Er erläutert im Detail Zusammenhänge zwischen informationstheoretischer Entropie, thermodynamischer Entropie und...  Read More >>

The thesis deals with averaging dynamics in a multiagent networked system, which is a main mechanism for diffusing...  Read More >>

These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving...  Read More >>

This monograph develops a framework for modeling and solving utility maximization problems in nonconvex wireless...  Read More >>

This book constitutes the refereed proceedings of the Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing,...  Read More >>

 Read More >>

This book presents the state-of-the-art in simulation on supercomputers. Presenting results for large-scale parallel...  Read More >>

 Read More >>

This book provides a complete and comprehensive reference/guide to Pyomo (Python Optimization Modeling Objects)...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 27th Canadian Conference on Artificial Intelligence, Canadian...  Read More >>

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in...  Read More >>

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

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of...  Read More >>