Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee mas
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lee mas
Basic Bundle Theory and K-Cohomology Invariants : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...
Lee mas
Beginning Excel What-If Data Analysis Tools
Excels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions ...
Lee mas
Benefit/Cost-Driven Software Development With Benefit Points and Size Points
This book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also ...
Lee mas
Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data
This book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people ...
Lee mas
Browning Agents and Active Particles : Collective Dynamics in the Natural and Social Sciences
Lays out a vision for a coherent framework for understanding complex systems'' (from the foreword by J. Doyne Farmer). ...
Lee mas
Calcolo Scientifico : Esercizi e problemi risolti con MATLAB e Octave = Scientific Computing: Exercises and problems solved with MATLAB and Octave
For the short courses of the new system of the Faculties of Engineering and Sciences. It deals with all the typical topics ...
Lee mas
Calcolo stocastico per la finanza = Stochastic Calculation for Finance
Offers an introduction to the mathematical, probabilistic and numerical methods that are the basis of the models for the ...
Lee mas
Case Based Design : Applications in Process Engineering
The book by Professors is an impressive and in-depth treatment of the essence of the case–based reasoning strategy and ...
Lee mas
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Lee mas
Chaos : A Program Collection for the PC
This new edition strives yet again to provide readers with a working knowledge of chaos theory and dynamical systems through ...
Lee mas
Classical and Advanced Theories of Thin Structures : Mechanical and Mathematical Aspects
The book presents an updated state-of-the-art overview of the general aspects and practical applications of the theories ...
Lee mas
Closed-Loop Control of Blood Glucose
The purpose of this book is to introduce the ?eld of closed-loop blood g- cose control, in a simple manner, to the reader. ...
Lee mas
Collective Consciousness and its Discontents : Institutional distributed cognition, racial policy, and public health in the United States
This book expands a recent mathematical treatment of the Baars model of individual consciousness to an institutional venue ...
Lee mas
Combinatorial Optimization
This comprehensive textbook on combinatorial optimization puts special emphasis on theoretical results and algorithms with ...
Lee mas
Combinatorial Optimization : Theory and Algorithms
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with ...
Lee mas
Compendium for Early Career Researchers in Mathematics Education
The book provides a state-of-the-art overview of important theories from mathematics education and the broad variety of empirical ...
Lee mas
Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lee mas
