Kommissar Kurt Wallander untersucht eine Reihe rätselhafter Verbrechen und scheinbar motivloser M...

Folge 1: Die weiße LöwinSeit Tagen fehlt jede Spur von der Lehrerin Inga Hedemann , die sich in d...

Es ist Heiligabend. Rachel und ihre Geschwister Hannah, Abner und Aaron sind auf dem Weg zu ihrem...

Bis zum Jahr 2062 werden wir Maschinen entwickelt haben, die so intelligent sind wie wir, prognos...

This book is devoted to recent progress made in solving propositional satisfiability and relat...

Constraint programming is a powerful paradigm for solving combinatorial search problems that draw...

Computational social choice is an expanding field that merges classical topics like economics and...

There are few other human inventions that are likely to have as large an impact on our lives as m...

A scientist who has spent a career developing Artificial Intelligence takes a realistic look at t...

By 2062 we will have built machines as intelligent as us - so the leading artificial intelligence...

This book constitutes the refereed proceedings of the 20th International Conference on Theory and...

This book constitutes the refereed proceedings of the 7th International Conference on Principles ...