Bernhard Steffen - PDFSEARCH.IO - Document Search Engine

Bernhard Steffen
Results: 18

#	Item
1	Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: English - Date: 2016-11-23 09:11:46 Computing Software engineering Computer science Formal methods Theoretical computer science Bernhard Steffen Model checking Large-scale Complex IT Systems European Joint Conferences on Theory and Practice of Software Software development ACM Transactions on Programming Languages and Systems Draft:Tiziana Margaria
2	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2013-12-17 10:29:35
3	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2013-12-20 09:50:38
4	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2013-12-05 12:25:13
5	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2014-01-16 09:25:35
6	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2014-01-23 14:00:27
7	Mathematik für Informatiker 1 Vorlesungsskriptum WintersemesterGabriele Kern-Isberner Bernhard Steffen Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2013-12-13 06:16:42
8	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2013-12-18 11:00:45
9	The KeY System 1.0 (Deduction Component) Bernhard Beckert, Martin Giese, Reiner H¨ ahnle, Vladimir Klebanov, Philipp R¨ ummer, Steffen Schlager, and Peter H. Schmitt Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-09-18 03:47:51
10	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: German - Date: 2014-02-13 06:31:35