Electronic Books

Total Books: 81 - 100 /135

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logic, Language, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Mechanical System Dynamics

This textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Modelling in Mathematical Programming

This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...

Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

Natural Language Processing and Information Systems (vol. # 3999)

This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to ...

Nature Inspired Problem-Solving Methods in Knowledge Engineering

The second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference ...

New Trends in Applied Artificial Intelligence

The 20 International Conference on Industrial, Engineering and Other Applications of Applied Intelligent S- tems (IEA/AIE-2007) ...

On the Move to Meaningful Internet Systems: OTM 2008 Workshops : OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings

This volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, ...

Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, ...

Practical Aspects of Declarative Languages (vol. # 3350)

Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, ...

Practical Aspects of Declarative Languages (vol. # 3819)

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...

Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...

Practice and Theory of Automated Timetabling V

Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...

Practice and Theory of Automated Timetabling VI

This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...

Total Books: 81 - 100 /135