Electronic Books

Total Books: 61 - 80 /156

From Data to Models and Back

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...

Fundamentals of Computation Theory

This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...

Fundamentals of Computation Theory

This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...

Game-Theoretical Semantics

This book is a collection of studies applying game-theoretical concepts and ideas to analysing the semantics of natural language ...

Grammar for Teachers : A Guide to American English for Native and Non-Native Speakers

The purpose of Grammar for Teachers is to encourage readers to develop a solid understanding of the use and function of grammatical ...

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...

Grammatical Picture Generation

The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...

Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...

Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

Handbook of Spatial Logics

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...

Information and Knowledge : A Constructive Type-theoretical Approach

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...

Innovations for Requirement Analysis. From Stakeholders Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...

Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...

KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...

LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...

Total Books: 61 - 80 /156