<--- Back to Details
First PageDocument Content
S1 / S2 / Dortmund / Dortmund Central Station / S5 / Westfalenstadion / Dortmund Stadtbahn / States of Germany / North Rhine-Westphalia / Rhine-Ruhr S-Bahn
Date: 2008-08-06 04:46:04
S1
S2
Dortmund
Dortmund Central Station
S5
Westfalenstadion
Dortmund Stadtbahn
States of Germany
North Rhine-Westphalia
Rhine-Ruhr S-Bahn

AASC Austrian Association for Statistical Computing 2008 Program

Add to Reading List

Source URL: www.statistik.uni-dortmund.de

Download Document from Source Website

File Size: 3,09 MB

Share Document on Facebook

Similar Documents

Finite automata / Machine learning / Artificial intelligence / Dana Angluin / Finite-state machine / Active learning / Theoretical computer science / Formal languages / Learning / Model checking / Cellular automata / Induction of regular languages

Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

DocID: 1xV62 - View Document

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

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

DocID: 1xUq3 - View Document

PDF Document

DocID: 1xSOs - View Document

PDF Document

DocID: 1xSv1 - View Document

PDF Document

DocID: 1xSm7 - View Document