E-LIB Suche - Ergebnisse für: Siefkes, Dirk - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Pioniere der Informatik

Ihre Lebensgeschichte im Interview

Siefkes, Dirk ; Braun, Anette ; Eulenhöfer, Peter.. , 1999

Link: https://doi.org/10.1007/..

2

Sozialgeschichte der Informatik

Kulturelle Praktiken und Orientierungen Springer eBook Collection, Humanities, Social Science

Siefkes, Dirk ; Eulenhöfer, Peter ; Stach, Heike. , 1998

Link: https://doi.org/10.1007/..

3

Formale Methoden und kleine Systeme

Lernen, leben und arbeiten in formalen Umgebungen Springer eBook Collection, Computer Science and Engineering

Siefkes, Dirk , 1993

Link: https://doi.org/10.1007/..

4

Sichtweisen der Informatik

Springer eBook Collection, Computer Science and Engineering

Coy, Wolfgang ; Nake, Frieder ; Pflüger, Jörg-Martin... , 1992

Link: https://doi.org/10.1007/..

Exemplare: Zentrale:E02 h inf 001 mb/476a; Zentrale:E02 a inf 001 mb/476

5

Formalisieren und Beweisen

Logik für Informatiker Springer eBook Collection, Professional and Applied Computing

Siefkes, Dirk - 2., verbesserte Auflage . , 1992

Link: https://doi.org/10.1007/..

6

Formalisieren und Beweisen

Logik für Informatiker Springer eBook Collection, Computer Science and Engineering

Siefkes, Dirk , 1990

Link: https://doi.org/10.1007/..

7

GI-4.Jahrestagung

Berlin, 9.-12. Oktober 1974 Lecture Notes in Computer Science

Siefkes, Dirk , 1975

Link: http://dx.doi.org/10.100..

8

Decidable Theories II

The Monadic Second Order Theory of All Countable Ordinals Lecture Notes in Mathematics ; 328;SpringerLink, Bücher;Springer eBook Collection, Mathematics and Statistics

Büchi, J. Richard ; Siefkes, Dirk ; Müller, G. H.. , 1973

Link: http://dx.doi.org/10.100..
Link: http://dx.doi.org/10.100..

9

Büchi’s Monadic Second Order Successor Arithmetic

Lecture Notes in Mathematics, A collection of informal reports and seminars

Siefkes, Dirk , 1970

Link: http://dx.doi.org/10.100..

10

Decidable Theories I

Lecture Notes in Mathematics ; 120;SpringerLink, Bücher;Springer eBook Collection, Mathematics and Statistics

Müller, Gert H. ; Siefkes, Dirk , 1970

Link: http://dx.doi.org/10.100..
Link: http://dx.doi.org/10.100..

11

GI - 4. Jahrestagung

Berlin, 9. - 12. Oktober 1974 Lecture notes in computer science ; 26

Siefkes, Dirk , 1975

Link: http://dx.doi.org/10.100..

Exemplar: Zentrale:Magazin 01.f.6716

12

GI - 4. Jahrestagung

Berlin, 9.-12. Oktober 1974 Lecture Notes in Computer Science ; 26;SpringerLink, Bücher

Siefkes, Dirk , 1975

Link: https://doi.org/10.1007/..

1-12