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

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

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

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

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

Knowledge Engineering and Knowledge Management, Fachbücher

Logic, Language, and Computation, Fachbücher

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

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

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

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

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

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