KOBV Portal

Hits per page

hits 1 - 10 | 55 hits

Sorting

Book

Sozialgeschichte der Informatik : kulturelle Praktiken und Orientierungen (1998)

Siefkes, Dirk, 1938-2016 ; Eulenhöfer, Peter. ; Stach, Heike, 1963- ; [et al.]

Wiesbaden :DUV, Dt. Univ.-Verl.,

add to watchlist on the watchlist

Details

UID:

almahu_BV012015860

Format: VI, 318 Seiten : , Diagramme ; , 21 cm.

ISBN: 3-8244-4300-7

Series Statement: Studien zur Wissenschafts- und Technikforschung

Note: spätere Nachdrucke bei DUV Springer Fachmedien Wiesbaden GmbH erschienen ; auf Einband Verschreiber "Dirk Seifkes" anstelle von "Dirk Siefkes" angegeben

Language: German

Subjects: Computer Science , Sociology

RVK:

MR 3600

RVK:

MS 1180

RVK:

SR 800

RVK:

SR 850

Keywords: Informatik ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung

URL: Inhaltsverzeichnis

URL: Cover

URL: Inhaltsverzeichnis

URL: http://elib.tu-darmstadt.de/tocs/58752803.pdf

URL: Inhaltsverzeichnis

Author information: Siefkes, Dirk, 1938-2016

Author information: Stach, Heike, 1963-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

HWR Berlin

EUV Frankfurt

BTU Cottbus

TU Berlin

Book

Pioniere der Informatik : ihre Lebensgeschichte im Interview ; Interviews mit F. L. Bauer, C. Floyd, J. Weizenbaum, N. Wirth und H. Zemanek (1999)

Siefkes, Dirk [Sonstige] 1938-2016 ; Bauer, Friedrich L. [Sonstige] 1924-2015

Berlin [u.a.] : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV012211476

Format: XIII, 143 S. , Ill.

ISBN: 3540648577

Language: German

Subjects: Computer Science

RVK:

SR 500

RVK:

SR 800

RVK:

ST 110

Keywords: Informatiker ; Bauer, Friedrich L. 1924-2015 ; Autobiografie ; Floyd, Christiane 1943- ; Autobiografie ; Weizenbaum, Joseph 1923-2008 ; Autobiografie ; Wirth, Niklaus 1934-2024 ; Autobiografie ; Zemanek, Heinz 1920-2014 ; Autobiografie ; Biografie

Author information: Siefkes, Dirk 1938-2016

Author information: Bauer, Friedrich L. 1924-2015

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

HWR Berlin

EUV Frankfurt

FH Potsdam

BTU Cottbus

TU Berlin

Technikmuseum Berlin

Book

Formalisieren und beweisen : Logik für Informatiker (1990)

Siefkes, Dirk 1938-2016

Braunschweig :Vieweg,

add to watchlist on the watchlist

Details

UID:

almafu_BV004070321

Format: XIII, 259 S. : , Ill., graph. Darst.

ISBN: 3-528-04757-7 , 978-3-528-04757-3

Note: Hier auch später erschienene, unveränderte Nachdrucke. - Literaturverz. S. 245 - 252

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-322-85621-0

Language: German

Subjects: Computer Science , Mathematics

RVK:

SK 130

RVK:

ST 120

RVK:

ST 130

Keywords: Logik ; Informatik ; Mathematische Logik ; Informatik ; Einführung ; Einführung ; Einführung

URL: Inhaltstext

Author information: Siefkes, Dirk 1938-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

Zentrum Info.arbeit Bundeswehr

BTU Cottbus

TU Berlin

Book

Formale Methoden und kleine Systeme : lernen, leben und arbeiten in formalen Umgebungen (1993)

Siefkes, Dirk 1938-2016

Braunschweig u.a. :Vieweg,

add to watchlist on the watchlist

Details

UID:

almafu_BV005772007

Format: 190 S. : Ill.

ISBN: 3-528-05199-X

Series Statement: Theorie der Informatik

Language: German

Subjects: Computer Science , Mathematics

RVK:

SK 960

RVK:

ST 120

RVK:

ST 125

Keywords: Kleines System ; Formalisierung ; Mathematische Logik ; Informatik

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Siefkes, Dirk 1938-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

UB Potsdam

BTU Cottbus

TU Berlin

UdK Berlin

Online Resource

The monadic second order theory of all countable ordinals (1973)

Büchi, Julius Richard [Verfasser] 1924-1984 ; Siefkes, Dirk 1938-2016 ; Müller, Gert H. 1923-2006

Berlin ; Heidelberg ; New York : Springer-Verlag

add to watchlist on the watchlist

Details

UID:

b3kat_BV041962393

Format: 1 Online-Ressource (VI, 217 Seiten)

ISBN: 9783540063452

Series Statement: Lecture notes in mathematics 328

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-540-46946-9

Language: English

Subjects: Mathematics

RVK:

SK 130

RVK:

SI 850

Keywords: Ordinalzahl

DOI: 10.1007/BFb0082720

URL: Volltext (URL des Erstveröffentlichers)

Author information: Büchi, Julius Richard 1924-1984

Author information: Siefkes, Dirk 1938-2016

Author information: Müller, Gert H. 1923-2006

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

GI-Jahrestagung; 4: Gl - 4. Jahrestagung : Berlin, 9. - 12. Oktober 1974 (1975)

Gesellschaft für Informatik [Verfasser] ; Siefkes, Dirk [Sonstige] 1938-2016

Berlin ; Heidelberg [u.a.] : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV036050275

Format: 1 Online-Ressource (IX, 748 S.) , Ill., graph. Darst.

ISBN: 3540071415 , 0387071415

Series Statement: Lecture notes in computer science 26

In: 4

Language: German

DOI: 10.1007/3-540-07141-5

URL: Volltext

Author information: Siefkes, Dirk 1938-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Büchi's Monadic Second Order Successor Arithmetic (1970)

Siefkes, Dirk [Verfasser] 1938-2016 ; Müller, Gert H. 1923-2006

Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg GmbH

add to watchlist on the watchlist

Details

UID:

b3kat_BV042451161

Format: 1 Online-Ressource (XII, 130 Seiten)

ISBN: 9783662366783

Series Statement: Lecture Notes in Mathematics 120

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-35848-1

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Berechenbarkeit

DOI: 10.1007/978-3-662-36678-3

URL: Volltext (URL des Erstveröffentlichers)

Author information: Siefkes, Dirk 1938-2016

Author information: Müller, Gert H. 1923-2006

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Pioniere der Informatik : ihre Lebensgeschichte im Interview ; Interviews mit F. L. Bauer, C. Floyd, J. Weizenbaum, N. Wirth und H. Zemanek (1999)

Siefkes, Dirk, 1938-2016. ; Bauer, Friedrich L., 1924-2015.

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV012211476

Format: XIII, 143 S. : , Ill.

ISBN: 3-540-64857-7

Language: German

Subjects: Computer Science

RVK:

SR 500

RVK:

SR 800

RVK:

ST 110

Keywords: Informatiker ; 1924-2015 Bauer, Friedrich L. ; Autobiografie ; 1943- Floyd, Christiane ; Autobiografie ; 1923-2008 Weizenbaum, Joseph ; Autobiografie ; 1934-2024 Wirth, Niklaus ; Autobiografie ; 1920-2014 Zemanek, Heinz ; Autobiografie ; Biografie ; Autobiographie ; Autobiografie ; Autobiografie

URL: Inhaltsverzeichnis

URL: Cover

URL: Inhaltstext

URL: http://www.springer.com/de/book/9783540648574

Author information: Siefkes, Dirk, 1938-2016.

Author information: Bauer, Friedrich L., 1924-2015.

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

UB Potsdam

Berlin VÖBB/ZLB

Book

Grundzüge der Logik / (1969)

Quine, W. V. 1908-2000 ; Siefkes, Dirk 1938-2016

Frankfurt am Main :Suhrkamp,

add to watchlist on the watchlist

Details

UID:

almafu_BV002288256

Format: 344 S.

Edition: Dt. Erstausg., 1. - 3. Tsd.

Uniform Title: Methods of logic

Language: German

Subjects: Law , Theology , Philosophy , Sociology

RVK:

BF 8400

RVK:

CC 2400

RVK:

CI 6554

RVK:

MR 1050

RVK:

PI 3020

Keywords: Logik ; Methodologie ; Mathematische Logik ; Einführung ; Einführung

Author information: Siefkes, Dirk 1938-2016

Author information: Quine, W. V. 1908-2000

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

FH Potsdam

TU Berlin

Book

Formalisieren und beweisen : Logik für Informatiker (1992)

Siefkes, Dirk [Verfasser] 1938-2016

Braunschweig [u.a.] : Vieweg

add to watchlist on the watchlist

Details

UID:

b3kat_BV004759642

Format: XIII, 259 S. , Ill., graph. Darst.

Edition: 2., verb. Aufl.

ISBN: 3528147571

Language: German

Subjects: Computer Science , Mathematics

RVK:

SK 130

RVK:

ST 120

Keywords: Mathematische Logik ; Informatik ; Logik ; Informatik ; Einführung

URL: Inhaltsverzeichnis

Author information: Siefkes, Dirk 1938-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TH Brandenburg

BTU Cottbus

TU Berlin

hits 1 - 10 | 55 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg