Title: Das V-Modell XT: Grundlagen, Methodik und Anwendungen, Author: Reinhard Hïhn
Title: Einführung in Linux, Author: Thomas Kessel
Title: Algorithmik: Die Kunst des Rechnens, Author: David Harel
Title: CIL Programming: Under the Hood of .NET, Author: Jason Bock
Title: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets, Author: Wolfgang Reisig
Title: Learning Search Control Knowledge for Equational Deduction, Author: Stephan Schulz
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs

Pagination Links