Search for persons
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
6
Cheap CTL Compassion in NuSMV:
, In:
?
7
Manuscripts, politics and Oriental studies: life and collec..
Islamic manuscripts and books, Volume 19
?
Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science ,
8
A Metalanguage for Guarded Iteration:
, In:
?
Jahrbuch Preußischer Kulturbesitz ... / hrsg. im Auftr. des Stiftungsrats vom Präsidenten der Stiftung Preußischer Kulturbesitz
14
Religiöse Bildung im Osmanischen Reich
, In:die Staatsbibliothek erwirbt 2010 eine umfangreiche islamis...
Copies: Zentrale; Zentrale/Mediathek; ;