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