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