Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Continue reading
Integer Programming and Combinatorial Optimization
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- ...
Continue reading
Integer Programming and Combinatorial Optimization
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe ...
Continue reading
Integer Programming and Combinatorial Optimization : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
Continue reading
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, ...
Continue reading
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Continue reading
Integrated Research in GRID Computing
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop ...
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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)
This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques ...
Continue reading
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Continue reading
Intelligent Agents and Multi-Agent Systems : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...
Continue reading
Intelligent Computing
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the ...
Continue reading
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Continue reading
Intelligent Data Engineering and Automated Learning - IDEAL 2006
This volume of Lecture Notes in Computer Science contains accepted - pers presented at IDEAL 2006 held at the University ...
Continue reading
Intelligent Information Processing II
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
Continue reading
Intelligent Information Processing and Web Mining
This volume contains selected papers, presented at the international conference on Intelligent Information Processing and ...
Continue reading
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Continue reading
Intercultural Collaboration
This book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop ...
Continue reading
Interfacing with C++
This book is for people who are interested in learning and exploring electronic interfacing as well as C++ programming in ...
Continue reading
Interior Point Methods for Linear Optimization
Linear Optimization (LO) is one of the most widely applied and taught techniques in mathematics, with applications in many ...
Continue reading
