Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf

Declarative Programming and Knowledge Management, Fachbücher von Ricardo Rocha

Verified Software: Theories, Tools and Experiments, Fachbücher

Knowledge Engineering and Knowledge Management, Fachbücher

Recent Advances in Constraints, Fachbücher von Francesca Rossi

Logic, Language, and Computation, Fachbücher

Financial Cryptography and Data Security, Fachbücher

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Fachbücher von Joaquin Garcia-Alfaro

Database Systems for Advanced Applications, Fachbücher von Bernhard Thalheim

Implementation and Application of Functional Languages, Fachbücher von Ralf Hinze

Energy Efficiency in Large Scale Distributed Systems, Fachbücher

Parameterized and Exact Computation, Fachbücher

Radio Frequency Identification: Security and Privacy Issues, Fachbücher von Michael Hutter

Constraint Solving and Language Processing, Fachbücher

Lightweight Cryptography for Security and Privacy, Fachbücher

Theory and Applications of Formal Argumentation, Fachbücher