

















Foundations of Information and Knowledge Systems
584,-

Deductive Software Verification - The KeY Book
1 340,-

Structural Information and Communication Complexity
584,-

Declarative Programming and Knowledge Management
476,-

Trends in Functional Programming
584,-

New Directions in Logic, Language, and Computation
476,-

Implementation and Application of Automata
584,-

Functional and Constraint Logic Programming
584,-

Models, Algorithms, Logics and Tools
584,-

Functional and Constraint Logic Programming
584,-

Foundations of Information and Knowledge Systems
584,-

Deductive Software Verification - The KeY Book
1 340,-

Structural Information and Communication Complexity
584,-

Declarative Programming and Knowledge Management
476,-

Trends in Functional Programming
584,-

New Directions in Logic, Language, and Computation
476,-

Implementation and Application of Automata
584,-

Functional and Constraint Logic Programming
584,-

Models, Algorithms, Logics and Tools
584,-

Functional and Constraint Logic Programming
584,-