This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suiteThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Lire la suiteThe two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Web-Based Learning, ICWL 2008, held ...
Lire la suiteThis book constitutes the proceedings of the 6th International Conference, WAIM 2005, Hangzhou, China, October 11 – 13, ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Web-Age Information Management, WAIM ...
Lire la suiteThe ultimate goal of many information access systems (e.g., digital libraries, the Web, intranets) is to provide the right ...
Lire la suiteContent-oriented XML retrieval has been receiving increasing interest due to the widespread use of eXtensible Markup Language ...
Lire la suiteExamines the crucial role still played by African languages in pedagogy and literatures in the 21st century, generating ...
Lire la suiteIn this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...
Lire la suiteAlthough everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as ...
Lire la suiteThe explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Lire la suiteThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suiteSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Lire la suiteSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Lire la suiteCALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suiteThis Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite