Electronic Books

Total Books: 641 - 660 /1271

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 ...

Total Books: 641 - 660 /1271