Informatik

Informatik Economic Modeling Using Artificial Intelligence Methods

Informatik Tensors in Image Processing and Computer Vision

Informatik Crosscutting, what is and what is not?

Informatik Verified Software: Theories, Tools, Experiments

Informatik Logic Programming New Frontiers

Informatik Locally Decodable Codes and Private Information Retrieval Schemes

Informatik Text, Speech and Dialogue

Informatik Digital Watermarking

Informatik Forecast Stock Index using Neural Networks and Evolutionary Computing

Informatik Intelligent Computer Mathematics

Informatik Tests and Proofs

Informatik Facing the Multicore-Challenge III

Informatik Computing and Combinatorics

Informatik Site Suitability Assessment for Establishment of Bioretention Systems

Informatik Computer-Aided Design of User Interfaces V

Informatik Verification and Synthesis of Digital Circuits

Informatik Rotation Transforms for Computer Graphics

Informatik Model Driven Engineering Languages and Systems

Informatik Konzeption eines Empfehlungssystems für Forschungsnetzwerke

Informatik Cryptography in Constant Parallel Time