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