Skip to contents Schöning, Uwe [Author] Theoretische Informatik - kurzgefasst - [4. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg; Berlin: Spektrum, Akad. Verl., 2001 Published in: Spektrum-Hochschultaschenbuch Aho, Alfred V. [Author] ; Ullman, Jeffrey D. [Author] Foundations of computer science - [C ed., 6.pr.] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Computer Science Press, 2000 Published in: Principles of computer science series Schöning, Uwe [Author] Theoretische Informatik - kurzgefaßt - [3. Aufl, 1. korr. Nachdruck] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg; Berlin: Spektrum, Akad. Verl., 1999 Published in: Spektrum-Hochschultaschenbuch Bauer, Thomas [Author] ; Dadam, Peter [Author] A distributed execution environment for large-scale workflow management systems with subnets and server migration Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,03 Cyrluk, David [Author] ; Möller, Oliver [Author] ; Rueß, Harald [Author] An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,08 Biechele, Bernd [Other] ; Universität Ulm, Fakultät für Informatik [Other] Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,09 Bartels, Falk [Other] Formalizing fixed-point theory in PVS Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,10 Achatz, Klaus [Author] ; Partsch, Helmuth [Author] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fakultät für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,13 Heinlein, Christian [Author] ; Dadam, Peter [Author] Interaction expressions - a powerful formalism for describing inter-workflow dependencies Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,04 Dold, Axel [Other] Mechanized semantics of simple imperative programming constructs Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,11 Arvind, Vikraman [Author] ; Torán, Jacobo [Author] A nonadaptive NC checker for permutation group intersection Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,07 Arvind, Vikraman [Author] ; Köbler, Johannes [Author] On pseudorandomness and resource-bounded measure Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,05 Messner, Jochen [Author] Pattern matching in trace monoids Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fakultät für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,01 Lindner, Wolfgang [Author] ; Schuler, Rainer [Author] A small span theorem within P Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,02 Pepper, Peter [Author] Grundlagen der Informatik - [2., verb. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1995 Hollas, Boris [Author] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Vieweg, [2015] Hoffmann, Dirk W. [Author] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [München]: Hanser, [2015] Algorithms and theory of computation handbook / 1, General concepts and techniques - [2. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla: Chapman & Hall, 2010 Published in: Algorithms and theory of computation handbook / ed. by Mikhail J. Atallah, Marina Blanton ; 1 Vossen, Gottfried [Author] ; Witt, Kurt-Ulrich [Author] Grundkurs theoretische Informatik : eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen - [5., durchges. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2011 Published in: Studium Schöning, Uwe [Author] Theoretische Informatik - kurz gefasst - [Nachdr. der 5. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum Akademischer Verlag, 2009 Published in: HochschulTaschenbuch
Schöning, Uwe [Author] Theoretische Informatik - kurzgefasst - [4. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg; Berlin: Spektrum, Akad. Verl., 2001 Published in: Spektrum-Hochschultaschenbuch
Aho, Alfred V. [Author] ; Ullman, Jeffrey D. [Author] Foundations of computer science - [C ed., 6.pr.] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Computer Science Press, 2000 Published in: Principles of computer science series
Schöning, Uwe [Author] Theoretische Informatik - kurzgefaßt - [3. Aufl, 1. korr. Nachdruck] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg; Berlin: Spektrum, Akad. Verl., 1999 Published in: Spektrum-Hochschultaschenbuch
Bauer, Thomas [Author] ; Dadam, Peter [Author] A distributed execution environment for large-scale workflow management systems with subnets and server migration Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,03
Cyrluk, David [Author] ; Möller, Oliver [Author] ; Rueß, Harald [Author] An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,08
Biechele, Bernd [Other] ; Universität Ulm, Fakultät für Informatik [Other] Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,09
Bartels, Falk [Other] Formalizing fixed-point theory in PVS Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,10
Achatz, Klaus [Author] ; Partsch, Helmuth [Author] From descriptive specifications to operational ones : a powerful transformation rule, its applications and variants Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fakultät für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,13
Heinlein, Christian [Author] ; Dadam, Peter [Author] Interaction expressions - a powerful formalism for describing inter-workflow dependencies Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,04
Dold, Axel [Other] Mechanized semantics of simple imperative programming constructs Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,11
Arvind, Vikraman [Author] ; Torán, Jacobo [Author] A nonadaptive NC checker for permutation group intersection Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,07
Arvind, Vikraman [Author] ; Köbler, Johannes [Author] On pseudorandomness and resource-bounded measure Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,05
Messner, Jochen [Author] Pattern matching in trace monoids Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fakultät für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,01
Lindner, Wolfgang [Author] ; Schuler, Rainer [Author] A small span theorem within P Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,02
Pepper, Peter [Author] Grundlagen der Informatik - [2., verb. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1995
Hollas, Boris [Author] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Vieweg, [2015]
Hoffmann, Dirk W. [Author] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [München]: Hanser, [2015]
Algorithms and theory of computation handbook / 1, General concepts and techniques - [2. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla: Chapman & Hall, 2010 Published in: Algorithms and theory of computation handbook / ed. by Mikhail J. Atallah, Marina Blanton ; 1
Vossen, Gottfried [Author] ; Witt, Kurt-Ulrich [Author] Grundkurs theoretische Informatik : eine anwendungsbezogene Einführung - für Studierende in allen Informatik-Studiengängen - [5., durchges. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Vieweg + Teubner, 2011 Published in: Studium
Schöning, Uwe [Author] Theoretische Informatik - kurz gefasst - [Nachdr. der 5. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Spektrum Akademischer Verlag, 2009 Published in: HochschulTaschenbuch
> Media type Skip to next facet Books (1.025) Books ausschließen Thesis (59) Thesis ausschließen Journals / Newspapers / Series (13) Journals / Newspapers / Series ausschließen Conference Proceedings (9) Conference Proceedings ausschließen Articles (8) Articles ausschließen Videos (4) Videos ausschließen Sound Recordings (1) Sound Recordings ausschließen Show more show less
> Availability Skip to next facet Open Shelves (96) Open Shelves ausschließen Stack Collection (345) Stack Collection ausschließen Ask for availability (28) Ask for availability ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (377) Departmental Library DrePunct ausschließen Central Library (87) Central Library ausschließen TU Dresden holdings (12) TU Dresden holdings ausschließen Branch Library of Medicine (1) Branch Library of Medicine ausschließen Branch Library of Forestry (1) Branch Library of Forestry ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (36) Attribution (CC BY) ausschließen In Copyright (20) In Copyright ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (5) Attribution - Non Commercial - No Derivs (CC BY-NC-ND) ausschließen In Copyright - Non-commercial Use Permitted (3) In Copyright - Non-commercial Use Permitted ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (2) Attribution - Non Commercial - Share Alike (CC BY-NC-SA) ausschließen Attribution - Share Alike (CC BY-SA) (2) Attribution - Share Alike (CC BY-SA) ausschließen Attribution - No Derivs (CC BY-ND) (1) Attribution - No Derivs (CC BY-ND) ausschließen Show more show less
> Access State Skip to next facet Open Access (231) Open Access ausschließen Restricted Access (8) Restricted Access ausschließen Without Specification (459) Without Specification ausschließen Show more show less
> Language Skip to next facet English (957) English ausschließen German (166) German ausschließen Without Specification (3) Without Specification ausschließen Show more show less
> Subject Skip to next facet Computer science (1.060) Computer science ausschließen Mathmatics (666) Mathmatics ausschließen Technology (34) Technology ausschließen Germanic and Scandinavian studies (24) Germanic and Scandinavian studies ausschließen General (21) General ausschließen General sciences (15) General sciences ausschließen Economics (11) Economics ausschließen Musicology (10) Musicology ausschließen Philosophy (10) Philosophy ausschließen Physics (8) Physics ausschließen Psychology (8) Psychology ausschließen Sociology (8) Sociology ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (7) General and comparative linguistics and literary studies, indo-european, non-european languages and literatures ausschließen Pedagogy (5) Pedagogy ausschließen Medicine (4) Medicine ausschließen Biology (3) Biology ausschließen Art and art history (3) Art and art history ausschließen Chemistry and pharmacology (1) Chemistry and pharmacology ausschließen History (1) History ausschließen Political science (1) Political science ausschließen Show more show less
> Creator Skip to next facet European Association for Computer Science Logic (24) European Association for Computer Science Logic ausschließen Steffen, Bernhard (21) Steffen, Bernhard ausschließen Calude, Cristian (20) Calude, Cristian ausschließen Institute of Electrical and Electronics Engineers (19) Institute of Electrical and Electronics Engineers ausschließen Rozenberg, Grzegorz (17) Rozenberg, Grzegorz ausschließen Pandu Rangan, C. (16) Pandu Rangan, C. 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 Hromkovič, Juraj (12) Hromkovič, Juraj ausschließen Karhumäki, Juhani (12) Karhumäki, Juhani ausschließen Otto, Friedrich (12) Otto, Friedrich 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 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 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 Bieliková, Mária (6) Bieliková, Mária ausschließen Choffrut, Christian (6) Choffrut, Christian ausschließen Dadam, Peter (6) Dadam, Peter ausschließen Dassow, Jürgen (6) Dassow, Jürgen ausschließen Dinneen, Michael J. (6) Dinneen, Michael J. 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 König, Barbara (6) König, Barbara ausschließen Leeuwen, Jan (6) Leeuwen, Jan ausschließen Lingas, Andrzej (6) Lingas, Andrzej ausschließen Moldt, Daniel (6) Moldt, Daniel ausschließen Niedermeier, Rolf (6) Niedermeier, Rolf ausschließen Wagner, Klaus W. (6) Wagner, Klaus W. ausschließen Widmayer, Peter (6) Widmayer, Peter ausschließen Broy, Manfred (5) Broy, Manfred ausschließen Dawar, Anuj (5) Dawar, Anuj ausschließen Enjalbert, Patrice (5) Enjalbert, Patrice ausschließen Fülöp, Zoltán (5) Fülöp, Zoltán ausschließen Goldreich, Oded (5) Goldreich, Oded ausschließen Hedtstück, Ulrich (5) Hedtstück, Ulrich ausschließen Hirsch, Edward A. (5) Hirsch, Edward A. ausschließen Huth, Michael (5) Huth, Michael 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 Kutrib, Martin (5) Kutrib, Martin 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 Păun, Gheorghe (5) Păun, Gheorghe 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 Berenbrink, Petra (4) Berenbrink, Petra ausschließen Blum, Norbert (4) Blum, Norbert ausschließen Carl Hanser Verlag (4) Carl Hanser Verlag 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 Hagiya, Masami (4) Hagiya, Masami ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (966) Verbunddaten SWB ausschließen BASE - Bielefeld Academic Search Engine (91) BASE - Bielefeld Academic Search Engine ausschließen Lizenzfreie Online-Ressourcen (91) Lizenzfreie Online-Ressourcen ausschließen Diss online (57) Diss online ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (15) ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (12) University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) ausschließen RUB-Repository (Ruhr-Universität Bochum) (11) 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 Qucosa (6) 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 Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) (3) University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) 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 ETH Zürich Research Collection (1) ETH Zürich Research Collection 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 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 Show more show less