Zum Inhalt springen Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl.] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Merkliste 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] Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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 Medientyp: Bücher Merkliste 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 [Sonstige Person, Familie und Körperschaft] Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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, Helmuth [Verfasser:in] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Medientyp: Bücher Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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 Vossen, Gottfried [Verfasser:in] ; Witt, Kurt-Ulrich [Verfasser:in] Grundkurs theoretische Informatik : eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen - [5., durchges. Aufl.] Medientyp: Bücher Online ansehen Schließen Merkliste Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Vieweg + Teubner, 2011 Erschienen in: Studium
Schöning, Uwe [Verfasser:in] Theoretische Informatik - kurzgefasst - [4. Aufl.] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Merkliste 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] Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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 Medientyp: Bücher Merkliste 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 [Sonstige Person, Familie und Körperschaft] Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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, Helmuth [Verfasser:in] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Medientyp: Bücher Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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 Medientyp: Bücher Merkliste 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 Medientyp: Bücher Merkliste 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] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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.] Medientyp: Bücher Online ansehen Schließen Merkliste 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.
Vossen, Gottfried [Verfasser:in] ; Witt, Kurt-Ulrich [Verfasser:in] Grundkurs theoretische Informatik : eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen - [5., durchges. Aufl.] Medientyp: Bücher Online ansehen Schließen Merkliste Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Vieweg + Teubner, 2011 Erschienen in: Studium
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Zur nächsten Facette springen Bücher (1.011) Bücher ausschließen Hochschulschriften (69) Hochschulschriften ausschließen Konferenzberichte (20) Konferenzberichte ausschließen Zeitschriften / Zeitungen / Schriftenreihen (13) Zeitschriften / Zeitungen / Schriftenreihen ausschließen Aufsätze (11) Aufsätze ausschließen Videos (4) Videos ausschließen Audios (1) Audios ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Zur nächsten Facette springen Freihand verfügbar (87) Freihand verfügbar ausschließen Magazinbestellung (333) Magazinbestellung ausschließen Verfügbarkeit vor Ort erfragen (28) Verfügbarkeit vor Ort erfragen ausschließen zeige weitere weniger zeigen
> Standort Zur nächsten Facette springen Bereichsbibliothek DrePunct (366) Bereichsbibliothek DrePunct ausschließen Zentralbibliothek (80) Zentralbibliothek ausschließen Bestand der TU Dresden (10) Bestand der TU Dresden ausschließen Zweigbibliothek Medizin (1) Zweigbibliothek Medizin ausschließen Zweigbibliothek Forstwissenschaft (1) Zweigbibliothek Forstwissenschaft ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Zur nächsten Facette springen Namensnennung (CC BY) (30) Namensnennung (CC BY) ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (27) Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet ausschließen Urheberrechtsschutz (14) Urheberrechtsschutz ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (5) Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) ausschließen Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) (2) Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (2) Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) ausschließen Namensnennung - Keine Bearbeitung (CC BY-ND) (1) Namensnennung - Keine Bearbeitung (CC BY-ND) ausschließen zeige weitere weniger zeigen
> Zugangsstatus Zur nächsten Facette springen Freier Zugang (260) Freier Zugang ausschließen Eingeschränkter Zugang (9) Eingeschränkter Zugang ausschließen Ohne Angabe (454) Ohne Angabe ausschließen zeige weitere weniger zeigen
> Sprache Zur nächsten Facette springen Englisch (964) Englisch ausschließen Deutsch (168) Deutsch ausschließen Ohne Angabe (3) Ohne Angabe ausschließen zeige weitere weniger zeigen
> Fachgebiet Zur nächsten Facette springen Informatik (1.066) Informatik ausschließen Mathematik (643) Mathematik ausschließen Technik (33) Technik ausschließen Germanistik, Niederlandistik, Skandinavistik (31) Germanistik, Niederlandistik, Skandinavistik ausschließen Allgemeines (17) Allgemeines ausschließen Allgemeine Naturwissenschaft (16) Allgemeine Naturwissenschaft ausschließen Wirtschaftswissenschaften (11) Wirtschaftswissenschaften ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (8) Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen ausschließen Musikwissenschaft (8) Musikwissenschaft ausschließen Philosophie (8) Philosophie ausschließen Physik (7) Physik ausschließen Soziologie (7) Soziologie ausschließen Psychologie (5) Psychologie ausschließen Pädagogik (5) Pädagogik ausschließen Kunst und Kunstgeschichte (3) Kunst und Kunstgeschichte ausschließen Medizin (3) Medizin ausschließen Biologie (2) Biologie ausschließen Chemie und Pharmazie (1) Chemie und Pharmazie ausschließen Geschichte (1) Geschichte ausschließen zeige weitere weniger zeigen
> Person/Institution Zur nächsten Facette springen European Association for Computer Science Logic (23) European Association for Computer Science Logic ausschließen Steffen, Bernhard (21) Steffen, Bernhard ausschließen Calude, Cristian (19) Calude, Cristian ausschließen Institute of Electrical and Electronics Engineers (18) Institute of Electrical and Electronics Engineers ausschließen Hromkovič, Juraj (17) Hromkovič, Juraj ausschließen Pandu Rangan, C. (16) Pandu Rangan, C. ausschließen Rozenberg, Grzegorz (16) Rozenberg, Grzegorz ausschließen Hutchison, David (14) Hutchison, David ausschließen Kanade, Takeo (14) Kanade, Takeo ausschließen Kittler, Josef (14) Kittler, Josef ausschließen Kleinberg, Jon (14) Kleinberg, Jon ausschließen Mattern, Friedemann (14) Mattern, Friedemann ausschließen Mitchell, John C. (14) Mitchell, John C. ausschließen Naor, Moni (14) Naor, Moni ausschließen Nierstrasz, Oscar (14) Nierstrasz, Oscar ausschließen Sudan, Madhu (14) Sudan, Madhu ausschließen Terzopoulos, Demetri (14) Terzopoulos, Demetri ausschließen Tygar, Doug (14) Tygar, Doug ausschließen Vardi, Moshe Y. (14) Vardi, Moshe Y. ausschließen Weikum, Gerhard (14) Weikum, Gerhard ausschließen Schöning, Uwe (13) Schöning, Uwe ausschließen Widmayer, Peter (12) Widmayer, Peter ausschließen Karhumäki, Juhani (11) Karhumäki, Juhani ausschließen Diekert, Volker (10) Diekert, Volker ausschließen Ibarra, Oscar H. (10) Ibarra, Oscar H. ausschließen Voronkov, Andrei (10) Voronkov, Andrei ausschließen König, Barbara (9) König, Barbara ausschließen Lamersdorf, Winfried (9) Lamersdorf, Winfried ausschließen Merz, Michael (9) Merz, Michael ausschließen Rovan, Branislav (9) Rovan, Branislav ausschließen Tarlecki, Andrzej (9) Tarlecki, Andrzej ausschließen Du, Dingzhu (8) Du, Dingzhu ausschließen Kiltz, Eike (8) Kiltz, Eike ausschließen Löwe, Benedikt (8) Löwe, Benedikt ausschließen Margaria, Tiziana (8) Margaria, Tiziana ausschließen Moldt, Daniel (8) Moldt, Daniel ausschließen Thomas, Wolfgang (8) Thomas, Wolfgang ausschließen Wiedermann, Jiří (8) Wiedermann, Jiří ausschließen Arvind, Vikraman (7) Arvind, Vikraman ausschließen Dershowitz, Nachum (7) Dershowitz, Nachum ausschließen Hoffmann, Dirk W. (7) Hoffmann, Dirk W. ausschließen IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing (7) IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ausschließen Mayr, Ernst W. (7) Mayr, Ernst W. ausschließen Nielsen, Mogens (7) Nielsen, Mogens ausschließen Schloss Dagstuhl, Leibniz-Zentrum für Informatik (7) Schloss Dagstuhl, Leibniz-Zentrum für Informatik ausschließen Ésik, Zoltán (7) Ésik, Zoltán ausschließen Choffrut, Christian (6) Choffrut, Christian ausschließen Dadam, Peter (6) Dadam, Peter ausschließen European Association for Theoretical Computer Science (6) European Association for Theoretical Computer Science ausschließen Fakultät für Mathematik (6) Fakultät für Mathematik ausschließen IEEE Computer Society (6) IEEE Computer Society ausschließen Leeuwen, Jan (6) Leeuwen, Jan ausschließen Lingas, Andrzej (6) Lingas, Andrzej ausschließen Niedermeier, Rolf (6) Niedermeier, Rolf ausschließen Otto, Friedrich (6) Otto, Friedrich ausschließen Wagner, Klaus W. (6) Wagner, Klaus W. ausschließen Bieliková, Mária (5) Bieliková, Mária ausschließen Broy, Manfred (5) Broy, Manfred ausschließen Dassow, Jürgen (5) Dassow, Jürgen ausschließen Dawar, Anuj (5) Dawar, Anuj ausschließen Dinneen, Michael J. (5) Dinneen, Michael J. ausschließen Enjalbert, Patrice (5) Enjalbert, Patrice ausschließen Fülöp, Zoltán (5) Fülöp, Zoltán ausschließen Hedtstück, Ulrich (5) Hedtstück, Ulrich ausschließen Hirsch, Edward A. (5) Hirsch, Edward A. ausschließen International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 12., 2024, Chersonēsos (5) International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 12., 2024, Chersonēsos ausschließen Itō, Masami (5) Itō, Masami ausschließen Koubek, Václav (5) Koubek, Václav ausschließen Královic̆, Rastislav (5) Královic̆, Rastislav ausschließen Liu, Zhiming (5) Liu, Zhiming ausschließen Margenstern, Maurice (5) Margenstern, Maurice ausschließen Montanari, Ugo (5) Montanari, Ugo ausschließen Ong, Luke (5) Ong, Luke ausschließen Paterson, Michael S. (5) Paterson, Michael S. ausschließen Priese, Lutz (5) Priese, Lutz ausschließen Prívara, Igor (5) Prívara, Igor ausschließen Salomaa, Arto (5) Salomaa, Arto ausschließen Szepietowski, Andrzej (5) Szepietowski, Andrzej ausschließen Vossen, Gottfried (5) Vossen, Gottfried ausschließen Witt, Kurt-Ulrich (5) Witt, Kurt-Ulrich ausschließen Zimmermann, Karl-Heinz (5) Zimmermann, Karl-Heinz ausschließen Alt, Helmut (4) Alt, Helmut ausschließen Baeza-Yates, Ricardo (4) Baeza-Yates, Ricardo ausschließen Blum, Norbert (4) Blum, Norbert ausschließen Cavalcanti, Ana (4) Cavalcanti, Ana ausschließen Cerone, Antonio (4) Cerone, Antonio ausschließen Champarnaud, Jean-Marc (4) Champarnaud, Jean-Marc ausschließen Chen, Danny Z. (4) Chen, Danny Z. ausschließen Cooper, Stuart B. (4) Cooper, Stuart B. ausschließen Costa, José Félix (4) Costa, José Félix ausschließen Domaratzki, Michael (4) Domaratzki, Michael ausschließen Durand, Bruno (4) Durand, Bruno ausschließen Erk, Katrin (4) Erk, Katrin ausschließen Finkel, Alain (4) Finkel, Alain ausschließen Freivalds, Rūsinš (4) Freivalds, Rūsinš ausschließen Goldreich, Oded (4) Goldreich, Oded ausschließen Hagiya, Masami (4) Hagiya, Masami ausschließen Huth, Michael (4) Huth, Michael ausschließen IEEE Computer Society, Technical Committee on Multiple Valued Logic (4) IEEE Computer Society, Technical Committee on Multiple Valued Logic ausschließen Italiano, Giuseppe F. (4) Italiano, Giuseppe F. ausschließen zeige weitere weniger zeigen
> Kollektion Zur nächsten Facette springen Verbunddaten SWB (936) Verbunddaten SWB ausschließen BASE - Bielefeld Academic Search Engine (132) BASE - Bielefeld Academic Search Engine ausschließen Lizenzfreie Online-Ressourcen (82) Lizenzfreie Online-Ressourcen ausschließen Diss online (57) Diss online ausschließen ETH Zürich Research Collection (25) ETH Zürich Research Collection ausschließen Hamburg University, Department of Informatics: INFDok (18) Hamburg University, Department of Informatics: INFDok ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (14) ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) ausschließen RUB-Repository (Ruhr-Universität Bochum) (10) RUB-Repository (Ruhr-Universität Bochum) ausschließen Digital Library Thüringen (9) Digital Library Thüringen ausschließen Fachkatalog Technikgeschichte (8) Fachkatalog Technikgeschichte ausschließen OPARU (OPen Access Repository of Ulm University) (7) OPARU (OPen Access Repository of Ulm University) ausschließen University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) (7) University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (6) University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) ausschließen Qucosa (5) Qucosa ausschließen Scientific publications of the Saarland University (UdS) (5) Scientific publications of the Saarland University (UdS) ausschließen Abschlussarbeiten der TU Dresden (3) Abschlussarbeiten der TU Dresden ausschließen KITopen (Karlsruhe Institute of Technologie) (3) KITopen (Karlsruhe Institute of Technologie) ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (3) SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover ausschließen Springer Science and Business Media LLC (CrossRef) (3) Springer Science and Business Media LLC (CrossRef) ausschließen University of Potsdam: publish.UP (3) University of Potsdam: publish.UP ausschließen REPOSIT HAW Hamburg (2) REPOSIT HAW Hamburg ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (2) Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt ausschließen TORE TUHH Open Research (Hamburg University of Technology) (2) TORE TUHH Open Research (Hamburg University of Technology) ausschließen Universität Osnabrück: osnaDocs (2) Universität Osnabrück: osnaDocs ausschließen Augsburg University Publication Server (OPUS) (1) Augsburg University Publication Server (OPUS) ausschließen Eldorado - Repositorium der TU Dortmund (1) Eldorado - Repositorium der TU Dortmund ausschließen Freie Universität Berlin: Refubium (FU Berlin) (1) Freie Universität Berlin: Refubium (FU Berlin) ausschließen Georg-August-Universität Göttingen: eDiss (1) Georg-August-Universität Göttingen: eDiss ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server ausschließen PUB - Publications at Bielefeld University (1) PUB - Publications at Bielefeld University ausschließen Publication Server of Goethe University Frankfurt am Main (1) Publication Server of Goethe University Frankfurt am Main ausschließen Publication Server of Tier University (OPUS) (1) Publication Server of Tier University (OPUS) ausschließen Springer Berlin Heidelberg (CrossRef) (1) Springer Berlin Heidelberg (CrossRef) ausschließen TU Berlin: Deposit Once (1) TU Berlin: Deposit Once ausschließen Würzburg University: Online Publication Service (1) Würzburg University: Online Publication Service ausschließen bonndoc - The Repository of the University of Bonn (1) bonndoc - The Repository of the University of Bonn ausschließen noah.nrw (1) noah.nrw ausschließen zeige weitere weniger zeigen