Informatik

Informatik Fundamental Approaches to Software Engineering

Informatik Advances in Brain Inspired Cognitive Systems

Informatik NASA Formal Methods

Informatik Static Analysis

Informatik Transactions on Petri Nets and Other Models of Concurrency VII

Informatik Expert F# 2.0

Informatik Multiple Classifier Systems

Informatik PHP Solutions

Informatik The History of Visual Magic in Computers

Informatik Evolution and Challenges in System Development

Informatik Progress in Cryptology -- AFRICACRYPT 2013

Informatik Computational Intelligence for Optimization

Informatik Gene Selection using MFSPSO

Informatik Fractal Geometry Analysis of Color Textural Images

Informatik Advances in Knowledge Discovery and Data Mining

Informatik Causal Models and Intelligent Data Management

Informatik Genetic Programming Theory and Practice X

Informatik Computational Linguistics and Intelligent Text Processing

Informatik Software Reuse

Informatik Computational Intelligence: Research Frontiers