Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
اقرأ المزيد
Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
اقرأ المزيد
Advances in Visual Computing : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II
The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
اقرأ المزيد
Advances in Web Based Learning - ICWL 2008 : 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Web-Based Learning, ICWL 2008, held ...
اقرأ المزيد
Advances in Web-Age Information Management (vol. # 3739)
This book constitutes the proceedings of the 6th International Conference, WAIM 2005, Hangzhou, China, October 11 – 13, ...
اقرأ المزيد
Advances in Web-Age Information Management (vol. # 4016)
This book constitutes the refereed proceedings of the 7th International Conference on Web-Age Information Management, WAIM ...
اقرأ المزيد
Advances in XML Information Retrieval
The ultimate goal of many information access systems (e.g., digital libraries, the Web, intranets) is to provide the right ...
اقرأ المزيد
Advances in XML Information Retrieval and Evaluation
Content-oriented XML retrieval has been receiving increasing interest due to the widespread use of eXtensible Markup Language ...
اقرأ المزيد
African Languages and Literatures in the 21st Century
Examines the crucial role still played by African languages in pedagogy and literatures in the 21st century, generating ...
اقرأ المزيد
Agent Communication
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...
اقرأ المزيد
Agent Communication II
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as ...
اقرأ المزيد
Agent-Oriented Software Engineering V
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
اقرأ المزيد
Agent-Oriented Software Engineering VI
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
اقرأ المزيد
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيد
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيد
Algebra and Coalgebra in Computer Science
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
اقرأ المزيد
Algebra, Meaning, and Computation
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
اقرأ المزيد
Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
اقرأ المزيد
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيد
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيد
