This book constitutes the thoroughly refereed post-proceedings of the 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, held in Auck......
This book constitutes the refereed proceedings of the 4th International Conference, EsTAL 2004, held in Alicante, Spain in October 2004. The 42 revis......
Proceedings of the 9th Latin American Conference on the Applications of the Mössbauer Effect, LACAME 2004, held in Mexico City, Mexico, 19-24 Sep......
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this boo......
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Lan......
This book constitutes the thoroughly refereed joint post-proceedings of four international workshops held in conjunction with the 21st International C......
This book constitutes the refereed proceedings of the 6th International Conference on Discovery Science, DS 2003, held in Sapporo, Japan in October 20......
This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in......
This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 200......
This book constitutes the thoroughly refereed postproceedings of the First International Workshop on Rapid Integration of Software Engineering Techniq......
The four volume set LNAI 3681, LNAI 3682, LNAI 3683, and LNAI 3684 constitute the refereed proceedings of the 9th International Conference on Knowledg......
This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Principles of Distributed Systems, OPODIS 2004, ......
This collection of 13 selected papers originates from the International Seminar on Local Pattern Detection, held in Dagstuhl Castle, Germany in April ......
This book constitutes the thoroughly refereed post-proceedings of the Second Workshop on Intelligent Media Technology for Communicative Intelligence, ......
This book constitutes the refereed proceedings of the second International Conference on Detection of Intrusions and Malware, and Vulnerability Assess......
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Sys......
This book constitutes the refereed proceedings of the 15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005, held in Sarat......
This book constitutes the thoroughly refereed postproceedings of the 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, held in Bath, UK ......
This two volume work on "Positivity in Algebraic Geometry" contains a contemporary account of a body of work in complex algebraic geometry loosely cen......
The present text offers a graduate level treatment of time dependent phenomena in condensed matter physics. Conventional ideas of linear response theo......
