Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf, Hans Tompits, Jörg Pührer, ...

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

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

Recent Advances in Constraints, Fachbücher von Sylvain Soliman, François Fages, Francesca Rossi

Data Privacy Management and Autonomous Spontaneous Security, Fachbücher von Nora Cuppens-Boulahia, Simon Foley, Georgios...

Financial Cryptography and Data Security, Fachbücher von Tatsuaki Okamoto, Rainer Böhme

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Fachbücher von Jordi Herrera-Joancomar...

Logic, Language, and Computation, Fachbücher von Daniel Hole, Martin Aher, Clemens Kupke, Emil Jerábek

Inductive Logic Programming, Fachbücher von Vitor Santos Costa, Aline Marins Paes, Gerson Zaverucha

Information Security Applications, Fachbücher von Moti, Jae-Kwang Yi, Okyeon Yung, Lee

Radio Frequency Identification: Security and Privacy Issues, Fachbücher von Michael Hutter, Jörn-Marc Schmidt

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

Database Systems for Advanced Applications, Fachbücher von Mong Li Lee, Agus Muliantara, Ngurah Agus Sanjaya, Wook-Shin ...

Applications of Declarative Programming and Knowledge Management, Fachbücher von Armin Wolf, Michael Hanus, Dietmar Seip...

Inductive Logic Programming, Fachbücher von Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi

Declarative Programming And Knowledge Management Conference On