Title: Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, Author: Jesper Larsson Träff
Title: Programmiersprache DIST: Dateneingabe, Datenstrukturierung, Author: Jürgen Läuter
Title: Qed at Large: A Survey of Engineering of Formally Verified Software, Author: Talia Ringer
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
Title: Fundamentals of Programming Languages, Author: Chris Chancellor
Title: M�glichkeiten zur Gestaltung verbindlicher Telekooperation, Author: Moritz Strasser

Pagination Links