Zum Inhalt springen Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl., korr. Nachdr.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 2003 Erschienen in: Hochschultaschenbuch Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 2001 Erschienen in: Spektrum-Hochschultaschenbuch Aho, Alfred V. [Verfasser:in]; Ullman, Jeffrey D. [Verfasser:in] Foundations of computer science - [C ed., 6.pr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York [u.a.]: Computer Science Press, 2000 Erschienen in: Principles of computer science series Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefaßt - [3. Aufl, 1. korr. Nachdruck] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 1999 Erschienen in: Spektrum-Hochschultaschenbuch Bauer, Thomas [Verfasser:in]; Dadam, Peter [Verfasser:in] A distributed execution environment for large-scale workflow management systems with subnets and server migration Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,03 Heinlein, Christian [Verfasser:in]; Dadam, Peter [Verfasser:in] Interaction expressions - a powerful formalism for describing inter-workflow dependencies Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,04 Arvind, Vikraman [Verfasser:in]; Köbler, Johannes [Verfasser:in] On pseudorandomness and resource-bounded measure Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,05 Messner, Jochen [Verfasser:in] Pattern matching in trace monoids Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fakultät für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,01 Lindner, Wolfgang [Verfasser:in]; Schuler, Rainer [Verfasser:in] A small span theorem within P Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,02 Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefaßt - [3. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 1997 Erschienen in: HochschulTaschenbuch Cyrluk, David [Verfasser:in]; Möller, Oliver [Verfasser:in]; Rueß, Harald [Verfasser:in] An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,08 Biechele, Bernd [Sonstige Person, Familie und Körperschaft] ; Universität Ulm Fakultät für Informatik Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,09 Bartels, Falk [Sonstige Person, Familie und Körperschaft] Formalizing fixed-point theory in PVS Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,10 Achatz, Klaus [Verfasser:in]; Partsch, Helmut [Verfasser:in] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fakultät für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,13 Pepper, Peter [Verfasser:in] Grundlagen der Informatik - [2., verb. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München; Wien: Oldenbourg, 1995 Dold, Axel [Sonstige Person, Familie und Körperschaft] Mechanized semantics of simple imperative programming constructs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,11 Arvind, Vikraman [Verfasser:in]; Torán, Jacobo [Verfasser:in] A nonadaptive NC checker for permutation group intersection Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,07 Hollas, Boris [Verfasser:in] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer Vieweg, [2015] Hoffmann, Dirk W. [Verfasser:in] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [München]: Hanser, [2015] Algorithms and theory of computation handbook / 1, General concepts and techniques - [2. ed.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boca Raton, Fla: Chapman & Hall, 2010 Erschienen in: Algorithms and theory of computation handbook / ed. by Mikhail J. Atallah, Marina Blanton ; 1,2
Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl., korr. Nachdr.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 2003 Erschienen in: Hochschultaschenbuch
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 2001 Erschienen in: Spektrum-Hochschultaschenbuch
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Aho, Alfred V. [Verfasser:in]; Ullman, Jeffrey D. [Verfasser:in] Foundations of computer science - [C ed., 6.pr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York [u.a.]: Computer Science Press, 2000 Erschienen in: Principles of computer science series
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefaßt - [3. Aufl, 1. korr. Nachdruck] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 1999 Erschienen in: Spektrum-Hochschultaschenbuch
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bauer, Thomas [Verfasser:in]; Dadam, Peter [Verfasser:in] A distributed execution environment for large-scale workflow management systems with subnets and server migration Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,03
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heinlein, Christian [Verfasser:in]; Dadam, Peter [Verfasser:in] Interaction expressions - a powerful formalism for describing inter-workflow dependencies Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,04
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Arvind, Vikraman [Verfasser:in]; Köbler, Johannes [Verfasser:in] On pseudorandomness and resource-bounded measure Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,05
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Messner, Jochen [Verfasser:in] Pattern matching in trace monoids Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fakultät für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,01
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lindner, Wolfgang [Verfasser:in]; Schuler, Rainer [Verfasser:in] A small span theorem within P Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1997 Erschienen in: Ulmer Informatik-Berichte ; 97,02
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefaßt - [3. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Heidelberg; Berlin: Spektrum, Akad. Verl., 1997 Erschienen in: HochschulTaschenbuch
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cyrluk, David [Verfasser:in]; Möller, Oliver [Verfasser:in]; Rueß, Harald [Verfasser:in] An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,08
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Biechele, Bernd [Sonstige Person, Familie und Körperschaft] ; Universität Ulm Fakultät für Informatik Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,09
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bartels, Falk [Sonstige Person, Familie und Körperschaft] Formalizing fixed-point theory in PVS Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,10
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Achatz, Klaus [Verfasser:in]; Partsch, Helmut [Verfasser:in] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fakultät für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,13
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pepper, Peter [Verfasser:in] Grundlagen der Informatik - [2., verb. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München; Wien: Oldenbourg, 1995
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Dold, Axel [Sonstige Person, Familie und Körperschaft] Mechanized semantics of simple imperative programming constructs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,11
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Arvind, Vikraman [Verfasser:in]; Torán, Jacobo [Verfasser:in] A nonadaptive NC checker for permutation group intersection Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1996 Erschienen in: Ulmer Informatik-Berichte ; 96,07
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hollas, Boris [Verfasser:in] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer Vieweg, [2015]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hoffmann, Dirk W. [Verfasser:in] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [München]: Hanser, [2015]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Algorithms and theory of computation handbook / 1, General concepts and techniques - [2. ed.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boca Raton, Fla: Chapman & Hall, 2010 Erschienen in: Algorithms and theory of computation handbook / ed. by Mikhail J. Atallah, Marina Blanton ; 1,2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (985) Wert ausschließen Hochschulschriften (71) Wert ausschließen Konferenzberichte (20) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (13) Wert ausschließen Aufsätze (11) Wert ausschließen Videos (4) Wert ausschließen Audios (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (85) Wert ausschließen Magazinbestellung (333) Wert ausschließen Verfügbarkeit vor Ort erfragen (29) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (367) Wert ausschließen Zentralbibliothek (86) Wert ausschließen Bestand der TU Dresden (11) Wert ausschließen Zweigbibliothek Medizin (1) Wert ausschließen Zweigbibliothek Forstwissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (25) Wert ausschließen Namensnennung (CC BY) (24) Wert ausschließen Urheberrechtsschutz (19) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (5) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (2) Wert ausschließen Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) (1) Wert ausschließen Namensnennung - Keine Bearbeitung (CC BY-ND) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (253) Wert ausschließen Eingeschränkter Zugang (10) Wert ausschließen Ohne Angabe (437) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (944) Wert ausschließen Deutsch (166) Wert ausschließen Ohne Angabe (3) Wert ausschließen Russisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (1.048) Wert ausschließen Mathematik (611) Wert ausschließen Technik (29) Wert ausschließen Allgemeines (15) Wert ausschließen Allgemeine Naturwissenschaft (13) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (13) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (10) Wert ausschließen Wirtschaftswissenschaften (9) Wert ausschließen Philosophie (8) Wert ausschließen Musikwissenschaft (7) Wert ausschließen Physik (6) Wert ausschließen Psychologie (5) Wert ausschließen Pädagogik (4) Wert ausschließen Soziologie (4) Wert ausschließen Biologie (2) Wert ausschließen Kunst und Kunstgeschichte (2) Wert ausschließen Medizin (2) Wert ausschließen Anglistik, Amerikanistik (1) Wert ausschließen Geschichte (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet European Association for Computer Science Logic (22) Wert ausschließen Calude, Cristian (18) Wert ausschließen Institute of Electrical and Electronics Engineers (18) Wert ausschließen Hromkovič, Juraj (16) Wert ausschließen Pandu Rangan, C. (16) Wert ausschließen Rozenberg, Grzegorz (16) Wert ausschließen Steffen, Bernhard (15) Wert ausschließen Hutchison, David (14) Wert ausschließen Kanade, Takeo (14) Wert ausschließen Kittler, Josef (14) Wert ausschließen Kleinberg, Jon (14) Wert ausschließen Mattern, Friedemann (14) Wert ausschließen Mitchell, John C. (14) Wert ausschließen Naor, Moni (14) Wert ausschließen Nierstrasz, Oscar (14) Wert ausschließen Sudan, Madhu (14) Wert ausschließen Terzopoulos, Demetri (14) Wert ausschließen Tygar, Doug (14) Wert ausschließen Vardi, Moshe Y. (14) Wert ausschließen Weikum, Gerhard (14) Wert ausschließen Schöning, Uwe (13) Wert ausschließen Otto, Friedrich (12) Wert ausschließen Widmayer, Peter (11) Wert ausschließen Diekert, Volker (10) Wert ausschließen Ibarra, Oscar H. (10) Wert ausschließen Karhumäki, Juhani (10) Wert ausschließen Voronkov, Andrei (10) Wert ausschließen König, Barbara (9) Wert ausschließen Lamersdorf, Winfried (9) Wert ausschließen Merz, Michael (9) Wert ausschließen Rovan, Branislav (9) Wert ausschließen Tarlecki, Andrzej (9) Wert ausschließen Arvind, Vikraman (8) Wert ausschließen Kiltz, Eike (8) Wert ausschließen Löwe, Benedikt (8) Wert ausschließen Moldt, Daniel (8) Wert ausschließen Thomas, Wolfgang (8) Wert ausschließen Wiedermann, Jiří (8) Wert ausschließen Dadam, Peter (7) Wert ausschließen Dershowitz, Nachum (7) Wert ausschließen Hoffmann, Dirk W. (7) Wert ausschließen IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (7) Wert ausschließen Mayr, Ernst W. (7) Wert ausschließen Nielsen, Mogens (7) Wert ausschließen Schloss Dagstuhl, Leibniz-Zentrum für Informatik (7) Wert ausschließen Ésik, Zoltán (7) Wert ausschließen Choffrut, Christian (6) Wert ausschließen Dassow, Jürgen (6) Wert ausschließen Du, Dingzhu (6) Wert ausschließen European Association for Theoretical Computer Science (6) Wert ausschließen Fakultät für Mathematik (6) Wert ausschließen Hedtstück, Ulrich (6) Wert ausschließen Leeuwen, Jan (6) Wert ausschließen Lingas, Andrzej (6) Wert ausschließen Wagner, Klaus W. (6) Wert ausschließen Bieliková, Mária (5) Wert ausschließen Blum, Norbert (5) Wert ausschließen Broy, Manfred (5) Wert ausschließen Dawar, Anuj (5) Wert ausschließen Dinneen, Michael J. (5) Wert ausschließen Enjalbert, Patrice (5) Wert ausschließen Fülöp, Zoltán (5) Wert ausschließen Hirsch, Edward A. (5) Wert ausschließen IEEE Computer Society (5) Wert ausschließen Koubek, Václav (5) Wert ausschließen Královic̆, Rastislav (5) Wert ausschließen Kutrib, Martin (5) Wert ausschließen Liu, Zhiming (5) Wert ausschließen Margenstern, Maurice (5) Wert ausschließen Montanari, Ugo (5) Wert ausschließen Niedermeier, Rolf (5) Wert ausschließen Ong, Luke (5) Wert ausschließen Paterson, Michael S. (5) Wert ausschließen Priese, Lutz (5) Wert ausschließen Prívara, Igor (5) Wert ausschließen Salomaa, Arto (5) Wert ausschließen Szepietowski, Andrzej (5) Wert ausschließen Virbitskaite, Irina (5) Wert ausschließen Vossen, Gottfried (5) Wert ausschließen Witt, Kurt-Ulrich (5) Wert ausschließen Zimmermann, Karl-Heinz (5) Wert ausschließen Alt, Helmut (4) Wert ausschließen Baeza-Yates, Ricardo (4) Wert ausschließen Bartels, Falk (4) Wert ausschließen Cavalcanti, Ana (4) Wert ausschließen Cerone, Antonio (4) Wert ausschließen Champarnaud, Jean-Marc (4) Wert ausschließen Chen, Danny Z. (4) Wert ausschließen Cooper, Stuart B. (4) Wert ausschließen Costa, José Félix (4) Wert ausschließen Dold, Axel (4) Wert ausschließen Domaratzki, Michael (4) Wert ausschließen Durand, Bruno (4) Wert ausschließen Erk, Katrin (4) Wert ausschließen Finkel, Alain (4) Wert ausschließen Freivalds, Rūsinš (4) Wert ausschließen Goldreich, Oded (4) Wert ausschließen Hagiya, Masami (4) Wert ausschließen Heinlein, Christian (4) Wert ausschließen Huth, Michael (4) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (908) Wert ausschließen BASE - Bielefeld Academic Search Engine (141) Wert ausschließen Lizenzfreie Online-Ressourcen (75) Wert ausschließen Diss online (52) Wert ausschließen ETH Zürich Research Collection (25) Wert ausschließen Hamburg University, Department of Informatics: INFDok (18) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (14) Wert ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (12) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (11) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (10) Wert ausschließen Digital Library Thüringen (9) Wert ausschließen Fachkatalog Technikgeschichte (8) Wert ausschließen University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) (7) Wert ausschließen Qucosa (5) Wert ausschließen Scientific publications of the Saarland University (UdS) (5) Wert ausschließen Abschlussarbeiten der TU Dresden (3) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (3) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (3) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen University of Potsdam: publish.UP (3) Wert ausschließen REPOSIT HAW Hamburg (2) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (2) Wert ausschließen TORE TUHH Open Research (Hamburg University of Technology) (2) Wert ausschließen Universität Osnabrück: osnaDocs (2) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Freie Universität Berlin: Refubium (FU Berlin) (1) Wert ausschließen Georg-August-Universität Göttingen: eDiss (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen PUB - Publications at Bielefeld University (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen Publication Server of Tier University (OPUS) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Würzburg University: Online Publication Service (1) Wert ausschließen bonndoc - The Repository of the University of Bonn (1) Wert ausschließen noah.nrw (1) Wert ausschließen zeige weitere weniger zeigen