The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Continue readingThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Continue readingEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue readingThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue readingThis textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue readingThis book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
Continue readingMultiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to ...
Continue readingThe second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference ...
Continue readingThe 20 International Conference on Industrial, Engineering and Other Applications of Applied Intelligent S- tems (IEA/AIE-2007) ...
Continue readingThis volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, ...
Continue readingThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, ...
Continue readingConstitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, ...
Continue readingThis volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...
Continue readingThis book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
Continue readingThisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
Continue readingThis volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...
Continue reading