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. ...
Lee mas
Integer Programming and Combinatorial Optimization
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- ...
Lee mas
Integer Programming and Combinatorial Optimization
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe ...
Lee mas
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 ...
Lee mas
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, ...
Lee mas
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into ...
Lee mas
Integrated Research in GRID Computing
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Intelligent Computing
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the ...
Lee mas
Intelligent Data Engineering and Automated Learning - IDEAL 2005
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Lee mas
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 ...
Lee mas
Intelligent Information Processing II
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
Lee mas
Intelligent Information Processing and Web Mining
This volume contains selected papers, presented at the international conference on Intelligent Information Processing and ...
Lee mas
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 ...
Lee mas
Intercultural Collaboration
This book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop ...
Lee mas
Interfacing with C++
This book is for people who are interested in learning and exploring electronic interfacing as well as C++ programming in ...
Lee mas
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 ...
Lee mas
