( en | de | ru )

 

Disambiguation of "Siefkes, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
Using Inductive Counting to Simulate Nondeterministic Computation.

, , and . MFCS, volume 452 of Lecture Notes in Computer Science, page 187-194. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dirk Siefkes

Martin Siefkes

Hermannus Siefkes

Frauke Siefkes

Tjark Siefkes

 

Other publications of authors with the same name

Umdenken auf kleine Systeme - Können wir zu einer ökologischen Orientierung der Informatik finden?. Inform. Spektrum, 19 (3): 141-156 (1996)Grammars for Terms and Automata - On a book by the late J. Richard Büchi.. Computation Theory and Logic, volume 270 of Lecture Notes in Computer Science, page 349-359. Springer, (1987)Using Inductive Counting to Simulate Nondeterministic Computation., , and . MFCS, volume 452 of Lecture Notes in Computer Science, page 187-194. Springer, (1990)Informatics as Cultural Development. The Creation of Programming Languages, , and . ~, No.~97-2, page 16--26. (1997)Informatics as Cultural Development -- Case Studies from the Social History of Information Technology, , and . Research Report -- http://tal.cs.tu-berlin.de/RoteReihe/RR97-02.rtf -- geprüft: 14.~April~2002, No.~97-2. Technical University Berlin -- Department of Computer Science, (1997)Computer und Ökosystem - zwei Metaphern fürs Denken und Lernen.. Informatik cui bono?, page 167-171. Springer, (1992)Formalisieren und Beweisen - Logik für Informatiker.. Vieweg, (1990)AG~Kulturelle Aufregung: Informatik als kulturelle Entwicklung. Informatik: Aufregung zu einer Disziplin. Arbeitstagung mit ungewissem Ausgang, page 7--9. Berlin, Technische Universität, (Dezember 2001)http://tal.cs.tu-berlin.de:80/siefkes/Heppenheim/Heppenheimbericht.pdf -- geprüft: 3.~Juli~2008.Informatikobjekte enstehen durch Hybridisierung. Techniken der Softwareentwicklung und Entwicklung der Softwaretechnik. Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy? Visionen und Wirklichkeit -- Tagungsband, page 798--803. Berlin, GI/OCG-Jahrestagung, 25.-28.~September 2001, Springer, (September 2001)http://tal.cs.tu-berlin.de/siefkes/texte/2002/Eso.html -- geprüft: 24.~Juli~2008.Theorie der Informatik und Verantwortung von Informatikern. Wie sich informatische und kulturelle Entwicklung in Informatikmustern mischt. Informatik und Gesellschaft. Verflechtungen und Perspektiven, volume 4 of Kritische Informatik, Münster, Hamburg, Berlin, Wien, London, LIT Verlag, (2006)http://tal.cs.tu-berlin.de/siefkes/texte/2005/Fiff1.8.05.pdf -- geprüft: 24.~April~2006.