Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 28.05. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Leipzig will open at 13:00 on Wednesday 28 May due to a staff assembly.

Die Lesesäle der Deutschen Nationalbibliothek Frankfurt öffnen am Donnerstag, den 05.06. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Frankfurt will open at 13:00 on Thursday, 5 June due to a staff assembly.

Ergebnis der Suche nach: Dirk and Siefkes
im Bestand: Gesamter Bestand

1 - 10 von 50

	1	Theorie der Informatik zwischen den Stühlen Siefkes, Dirk. - Berlin : Technische Universität Berlin, 2020
	2	Correctness, completeness, and consistency of equational data type specifications Padawitz, Peter. - Berlin : Technische Universität Berlin, 2016
	3	Theorie der Informatik zwischen den Stühlen Siefkes, Dirk. - Berlin : TU, Professoren der Fak. IV, 2007
	4	THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS † Enthalten in Mathematical logic quarterly Bd. 29, 2006, Nr. 5: 289-312. 24 S.
	5	Undecidable Extensions of Monadic Second Order Successor Arithmetic Enthalten in Mathematical logic quarterly Bd. 17, 2006, Nr. 1: 385-394. 10 S.
	6	Hybridization in computer science Siefkes, Dirk. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2002
	7	Sozialgeschichte und kulturelle Theorie der Informatik Siefkes, Dirk. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2002
	8	Die Rolle von Schemata in der Informatik als kultureller Entwicklung Siefkes, Dirk. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1999
	9	Pioniere der Informatik Berlin : Springer, 1999
	10	Pioniere der Informatik Berlin, Heidelberg : Springer Berlin Heidelberg, 1999