Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Continue readingImproving concrete and mortar using modified ash and slag cements
Presents the results of a study of high-tech concrete on composite Portland cement and slag Portland cement. The possibilities ...
Continue reading
In Memoriam Paul-André Meyer - Séminaire de Probabilités XXXIX
The 39th volume of Séminaire de Probabilités is a tribute to the memory of Paul André Meyer. His life and achievements ...
Continue reading
In Memoriam Paul-André Meyer - Séminaire de Probabilités XXXIX
The 39th volume of Séminaire de Probabilités is a tribute to the memory of Paul André Meyer. His life and achievements ...
Continue reading
Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...
Continue reading
Infinite Dimensional Algebras and Quantum Integrable Systems
This volume presents the invited lectures of the workshop "Infinite Dimensional Algebras and Quantum Integrable Systems'' ...
Continue reading
Infinite Dimensional Analysis
This new edition of The Hitchhiker’s Guide has bene?tted from the comments of many individuals, which have resulted in ...
Continue reading
Information Geometry : Near Randomness and Near Independence
This volume will be useful to practising scientists and students working in the application of statistical models to real ...
Continue reading
Information Technologies in Biomedicine
As the medical information systems have been integrated in order to address the core of medicine, including patient care ...
Continue reading
Information and Knowledge : A Constructive Type-theoretical Approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
Continue reading
Innovations for Requirement Analysis. From Stakeholders Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...
Continue reading
Innovations in Bayesian Networks : Theory and Applications
Bayesian networks currently provide one of the most rapidly growing areas of research in computer science and statistics. ...
Continue readingInnovations in Derivatives Markets : Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation
This book presents 20 peer-reviewed chapters on current aspects of derivatives markets and derivative pricing. The contributions, ...
Continue reading
Integer Programming and Combinatorial Optimization
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- ...
Continue reading
Integrable Hamiltonian Hierarchies : Spectral and Geometric Methods
This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all ...
Continue reading
Integrable Systems in Celestial Mechanics
This work presents a unified treatment of three important integrable problems relevant to both Celestial and Quantum Mechanics. ...
Continue reading
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Continue reading
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Continue reading
Intelligence and Security Informatics : Techniques and Applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism ...
Continue reading
Intelligent Algorithms for Packing and Cutting Problem / Yunqing Rao, Qiang Luo
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
Continue reading
