7 Ergebnisse für: etaps
-
Samuel Kounev - Lehrstuhl für Informatik II
https://se.informatik.uni-wuerzburg.de/staff/samuel_kounev/
Keine Beschreibung vorhanden.
-
Joost-Pieter Katoen - Home page
http://www-i2.informatik.rwth-aachen.de/~katoen/
Keine Beschreibung vorhanden.
-
Compiler.co.de - Ihr Compiler Shop
http://www.compiler.co.de
Conquer Compiler Complexity als Buch von Xiaoqing Wu, Engineering a Compiler, The Republican Compiler als Buch von Unknown Author, Loop Transformations for Restructuring Compilers als Buch von Utpal Banerjee, Compiler Construction als Buch von,
-
Tools and Algorithms for the Construction and Analysis of Systems: 18th ... - Google Books
https://books.google.de/books?id=lu7CBAAAQBAJ&pg=PR2
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which…
-
Mitgliederverzeichnis
https://www.leopoldina.org/de/mitglieder/mitgliederverzeichnis/member/1104/
Die Leopoldina - Nationale Akademie der Wissenschaften ist die weltweit älteste Wissenschaftsakademie und hat die Aufgabe, Politik und Öffentlichkeit in gesellschaftlich relevanten Fragen zu beraten.
-
Prof. Dr. Susanne Busse -- Publications
http://informatik.fh-brandenburg.de/~busse/publications/index.html
Keine Beschreibung vorhanden.
-
Prof. Dr. Steffen Staab | Institute WeST
http://west.uni-koblenz.de/de/ueber-uns/team/prof-dr-steffen-staab
Kurzlebenslauf