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

1

Über die fruchtbare Vervielfältigung der Gedanken beim Rede..:

Siefkes, Dirk
Forschung & Lehre. 2 (1995) 10 - p. 551-555 , 1995

Exemplare: Zentrale;

2

Wende zur Phantasie. Zur Theoriebildung in der Informatik:

Siefkes, Dirk
Sprache im technischen Zeitalter. 28 (1990) 116 - p. 330-345 , 1990

Exemplare: Zentrale;

3

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

4

Rechnen mit Zahlen oder Rechnen mit Buchstaben

, In: Technikgeschichte / Hrsg.: Verein Deutscher Ingenieure (VDI) ; Gesellschaft für Technikgeschichte (GTG)

numerische Mathematik und Mathematische Logik in der Inform...

Siefkes, Dirk. (2004) 3 - p. 185-199

Exemplare: Zentrale; TB Technik;

5

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

6

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;

7

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

8

Formalisieren und beweisen

Logik für Informatiker

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

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

9

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

10

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

11

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

12

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

13

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