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

1

Informatik zwischen Konstruktion und Verwertung

Materialien der 3. Arbeitstagung "Theorie der Informatik", ... Informatik : Bericht / Universität Bremen ; 2004,1

Nake, Frieder ; Rolf, Arno ; Siefkes, Dirk , 2004

Exemplare: Zentrale:Magazinturm E01 tr 2732; Zentrale:Magazin 01.K.7945

2

Pioniere der Informatik

ihre Lebensgeschichte im Interview ; Interviews mit F. L. B...

Siefkes, Dirk ; Bauer, Friedrich L. , 1999

Exemplare: TB BHV: com 7/40; Zentrale:E02 a inf 005 m/396

3

Sozialgeschichte der Informatik

kulturelle Praktiken und Orientierungen Studien zur Wissenschafts- und Technikforschung;DUV, Sozialwissenschaft

Eulenhöfer, Peter ; Städtler, Klaus ; Siefkes, Dirk. , 1998

Exemplare: Zentrale; TB BHV;

4

Formale Methoden und kleine Systeme

lernen, leben und arbeiten in formalen Umgebungen Theorie der Informatik

Siefkes, Dirk , 1993

Exemplare: DL artec: tb 2394; TB BHV: com 466/24

5

Formalisieren und beweisen

Logik für Informatiker

Siefkes, Dirk - 2., verb. Aufl. . , 1992

Exemplar: TB BHV: com 483/15(2)

6

Finite automata, their algebras, and grammars

towards a theory of formal expressions

Büchi, Julius Richard ; Siefkes, Dirk , c 1989

Exemplar: Zentrale:E02 a mat 750/286

7

GI - 4. Jahrestagung

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

Siefkes, Dirk , 1975

Exemplar: Zentrale:Magazin 01.f.6716

8

The monadic second order theory of all countable ordinals

Decidable theories ; 2;Lecture notes in mathematics ; 328

Büchi, Julius Richard , 1973

Exemplar: Zentrale:Magazin 01.b.0400

9

Büchi's monadic second order successor arithmetic

Decidable theories ; 1;Lecture notes in mathematics ; 120

Siefkes, Dirk , 1970

Exemplar: Zentrale:Magazin 01.b.0399

10

Grundzüge der Logik:

Quine, W. V. ; Siefkes, Dirk - Dt. Erstausg., 1. - 3. Tsd . , 1969

Exemplare: Zentrale:E03 a phi 610 e/449; Zentrale:E03 a phi 610 e/449a