Electronic Books

Total Books: 41 - 60 /80

Frontiers of Combining Systems

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Intelligent Data Engineering and Automated Learning - IDEAL 2005

Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...

Intelligent Data Engineering and Automated Learning - IDEAL 2006

This volume of Lecture Notes in Computer Science contains accepted - pers presented at IDEAL 2006 held at the University ...

Intelligent Information Processing III

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Intelligent interactive multimedia systems for e-Healthcare applications / Authors:Amit Kumar Tyagi, Ajith Abraham, A. Kaklauskas

includes high-quality research on various aspects of intelligent interactive multimedia technologies in healthcare services. ...

Interactive TV: a Shared Experience

This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held ...

Introduction to the Theory of Computation / Michael Sipser

Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Logic for Programming, Aritficial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Logical Foundations of Computer Science

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

Mathematical Knowledge Management (vol. # 3863)

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Total Books: 41 - 60 /80