Libri di mathematical logic and formal languages

Theory and Applications of Satisfiability Testing – SAT 2013

ECOOP 2012 – Object-Oriented Programming

Entity-relationship approach, ER '93

A Proof Theory for Description Logics

Developments in Language Theory

Mathematical Foundations of Computer Science 2012

KI 2012: Advances in Artificial Intelligence

Verification, Model Checking, and Abstract Interpretation

Objects, Models, Components, Patterns

New Frontiers in Artificial Intelligence

Mathematics of Program Construction

Incomplete Information System and Rough Set Theory

Graph Transformations

Membrane Computing

Foundations of Software Science and Computational Structures

Argumentation in Multi-Agent Systems

Reasoning Web. Semantic Technologies for Advanced Query Answering

Hardware and Software: Verification and Testing

Argumentation in Multi-Agent Systems

Data Engineering and Management