Electronic Books

Total Books: 61 - 80 /1122
NoIMG
Advances in Proof-Theoretic Semantics

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Agent Communication

In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...

Lire la suite
Agent Communication II

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as ...

Lire la suite
Agent-Oriented Software Engineering V

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...

Lire la suite
Agent-Oriented Software Engineering VI

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...

Lire la suite
Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Lire la suite
Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Lire la suite
Algebra and Coalgebra in Computer Science

CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...

Lire la suite
Algebra, Meaning, and Computation

This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...

Lire la suite
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 ...

Lire la suite
Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Lire la suite
Algebraic Informatics

It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...

Lire la suite
Total Books: 61 - 80 /1122