Zum Inhalt springen Kowalk, Wolfgang Peter [Verfasser:in] Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen 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. Mannheim [u.a.]: BI-Wiss.-Verl., c 1993 Baumert, Andreas [Verfasser:in] RAKFORM : bibliothekarische Titelaufnahmen nach den Regeln für die alphabetische Katalogisierung in der EDV; Bedienungsanleitung und Quellcode für die programmierte Verarbeitung Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hannover: Univ. Hannover, Forschungsstelle EDV, 1989 Erschienen in: Forschungsstelle EDV: Schriftenreihe der Forschungsstelle EDV ; 2 Buth, Bettina [Verfasser:in] Operation refinement proofs for VDM-like specifications Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1995 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9501 Soltys, Michael [Verfasser:in] An introduction to the analysis of algorithms - [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. New Jersey, NJ [u.a.]: World Scientific, 2012 Weber-Wulff, Debora [Verfasser:in] Contributions to mechanical proofs of correctness for compiler front ends Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9707 Alifanov, O. M. [Verfasser:in] Inverse heat transfer problems 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 [u.a.]: Springer, 1994 Erschienen in: International series in heat and mass transfer Harel, David [Verfasser:in]; Feldman, Yishai A. [Verfasser:in] Algorithmics : the spirit of computing - [3., edition] 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, 2012 Meyer, Bertrand [Herausgeber:in] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures 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 [u.a.]: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7007 Bradley, Aaron R. [Verfasser:in]; Manna, Zohar [Verfasser:in] The calculus of computation : decision procedures with applications to verification 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 [u.a.]: Springer, 2007 Braun, Markus [Verfasser:in] Steigerung der Effizienz simulationsbasierter Verifikation durch Einsatz von testüberdeckungsgeführter Simulation - [1. 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. Herzogenrath: Shaker, 2006 Erschienen in: Technische Informatik Staffans, Olof [Verfasser:in] Well-posed linear systems - [1. publ.] 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. Cambridge [u.a.]: Cambridge University Press, 2005 Erschienen in: Encyclopedia of mathematics and its applications ; 103 Preußig, Jörg [Verfasser:in] Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 2000 Erschienen in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2000,4 Morais de Assis Silva, Flávio [Verfasser:in] A transaction model based on mobile agents Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1999 Hantzschmann, Karli [Verfasser:in] Probleme und Perspektiven der teilautomatischen Parallelprogrammentwicklung mit UNITY Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1997 Dittmer, Ingo [Verfasser:in] Konstruktion guter Algorithmen : sichere und korrekte Software 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. Stuttgart: Teubner, 1996 Erschienen in: Informatik & Praxis Wei, Jiawang [Verfasser:in] Fixpoint transformations and parallel asynchronous iterative algorithms 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 [u.a.]: Oldenbourg, 1994 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 229 Schieder, Birgit [Verfasser:in] Logic and proof method of recursion Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1994 Kock, Gerd [Verfasser:in] Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Bücher 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, 1992 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201 Baber, Robert Laurence [Verfasser:in] Fehlerfreie Programmierung für den Software-Zauberlehrling 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, 1990 Kleuker, Stephan [Verfasser:in] Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation - [1. 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. Wiesbaden: Vieweg + Teubner, 2009 Erschienen in: Studium ; Datenbanken und Softwareentwicklung - Datenbanken und Softwareentwicklung
Kowalk, Wolfgang Peter [Verfasser:in] Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen 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. Mannheim [u.a.]: BI-Wiss.-Verl., c 1993
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baumert, Andreas [Verfasser:in] RAKFORM : bibliothekarische Titelaufnahmen nach den Regeln für die alphabetische Katalogisierung in der EDV; Bedienungsanleitung und Quellcode für die programmierte Verarbeitung Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hannover: Univ. Hannover, Forschungsstelle EDV, 1989 Erschienen in: Forschungsstelle EDV: Schriftenreihe der Forschungsstelle EDV ; 2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Buth, Bettina [Verfasser:in] Operation refinement proofs for VDM-like specifications Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1995 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9501
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Soltys, Michael [Verfasser:in] An introduction to the analysis of algorithms - [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. New Jersey, NJ [u.a.]: World Scientific, 2012
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Weber-Wulff, Debora [Verfasser:in] Contributions to mechanical proofs of correctness for compiler front ends Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9707
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alifanov, O. M. [Verfasser:in] Inverse heat transfer problems 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 [u.a.]: Springer, 1994 Erschienen in: International series in heat and mass transfer
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Harel, David [Verfasser:in]; Feldman, Yishai A. [Verfasser:in] Algorithmics : the spirit of computing - [3., edition] 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, 2012
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meyer, Bertrand [Herausgeber:in] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures 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 [u.a.]: Springer, 2012 Erschienen in: Lecture notes in computer science ; 7007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bradley, Aaron R. [Verfasser:in]; Manna, Zohar [Verfasser:in] The calculus of computation : decision procedures with applications to verification 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 [u.a.]: Springer, 2007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Braun, Markus [Verfasser:in] Steigerung der Effizienz simulationsbasierter Verifikation durch Einsatz von testüberdeckungsgeführter Simulation - [1. 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. Herzogenrath: Shaker, 2006 Erschienen in: Technische Informatik
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Staffans, Olof [Verfasser:in] Well-posed linear systems - [1. publ.] 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. Cambridge [u.a.]: Cambridge University Press, 2005 Erschienen in: Encyclopedia of mathematics and its applications ; 103
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Preußig, Jörg [Verfasser:in] Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 2000 Erschienen in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2000,4
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Morais de Assis Silva, Flávio [Verfasser:in] A transaction model based on mobile agents Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1999
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hantzschmann, Karli [Verfasser:in] Probleme und Perspektiven der teilautomatischen Parallelprogrammentwicklung mit UNITY Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1997
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Dittmer, Ingo [Verfasser:in] Konstruktion guter Algorithmen : sichere und korrekte Software 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. Stuttgart: Teubner, 1996 Erschienen in: Informatik & Praxis
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wei, Jiawang [Verfasser:in] Fixpoint transformations and parallel asynchronous iterative algorithms 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 [u.a.]: Oldenbourg, 1994 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 229
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schieder, Birgit [Verfasser:in] Logic and proof method of recursion Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1994
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kock, Gerd [Verfasser:in] Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Bücher 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, 1992 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baber, Robert Laurence [Verfasser:in] Fehlerfreie Programmierung für den Software-Zauberlehrling 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, 1990
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kleuker, Stephan [Verfasser:in] Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation - [1. 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. Wiesbaden: Vieweg + Teubner, 2009 Erschienen in: Studium ; Datenbanken und Softwareentwicklung - Datenbanken und Softwareentwicklung
> 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 (501) Wert ausschließen Aufsätze (323) Wert ausschließen Hochschulschriften (33) Wert ausschließen Bilder (17) Wert ausschließen Konferenzberichte (10) Wert ausschließen Videos (6) Wert ausschließen Elektronische Ressourcen (4) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (2) Wert ausschließen Medienkombinationen (1) Wert ausschließen Noten (1) Wert ausschließen Normen (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (128) Wert ausschließen Magazinbestellung (143) Wert ausschließen Verfügbarkeit vor Ort erfragen (21) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (193) Wert ausschließen Bereichsbibliothek DrePunct (63) Wert ausschließen Zweigbibliothek Medizin (12) Wert ausschließen Bestand der TU Dresden (9) Wert ausschließen Zweigbibliothek Erziehungswissenschaften (6) Wert ausschließen Zweigbibliothek Rechtswissenschaft (2) Wert ausschließen Zweigbibliothek Forstwissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (23) Wert ausschließen Urheberrechtsschutz (9) Wert ausschließen Namensnennung (CC BY) (6) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (4) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (4) Wert ausschließen Public Domain Mark - Kein Urheberrechtsschutz (3) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (2) Wert ausschließen Namensnennung - Keine Bearbeitung (CC BY-ND) (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (276) Wert ausschließen Eingeschränkter Zugang (22) Wert ausschließen Ohne Angabe (321) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Deutsch (567) Wert ausschließen Englisch (265) Wert ausschließen Nicht zu entscheiden (36) Wert ausschließen Russisch (22) Wert ausschließen Französisch (18) Wert ausschließen Kein linguistischer Inhalt (16) Wert ausschließen Italienisch (3) Wert ausschließen Norwegisch (3) Wert ausschließen Spanisch (3) Wert ausschließen Chinesisch (1) Wert ausschließen Dänisch (1) Wert ausschließen Ungarisch (1) Wert ausschließen Multiple (1) Wert ausschließen Polnisch (1) Wert ausschließen Rumänisch (1) Wert ausschließen Ukrainisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (179) Wert ausschließen Mathematik (131) Wert ausschließen Medizin (89) Wert ausschließen Soziologie (82) Wert ausschließen Politologie (81) Wert ausschließen Wirtschaftswissenschaften (64) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (52) Wert ausschließen Technik (51) Wert ausschließen Allgemeines (50) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (38) Wert ausschließen Philosophie (36) Wert ausschließen Geschichte (33) Wert ausschließen Chemie und Pharmazie (30) Wert ausschließen Pädagogik (24) Wert ausschließen Kunst und Kunstgeschichte (23) Wert ausschließen Rechtswissenschaft (23) Wert ausschließen Psychologie (20) Wert ausschließen Physik (17) Wert ausschließen Geographie (14) Wert ausschließen Theologie und Religionswissenschaft (13) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (11) Wert ausschließen Biologie (10) Wert ausschließen Anglistik, Amerikanistik (9) Wert ausschließen Allgemeine Naturwissenschaft (6) Wert ausschließen Sport (5) Wert ausschließen Romanistik (4) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (3) Wert ausschließen Slawistik (3) Wert ausschließen Musikwissenschaft (2) Wert ausschließen Geologie und Paläontologie (1) Wert ausschließen Klassische Archäologie (1) Wert ausschließen Militärwissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Weskamp, Heinrich (13) Wert ausschließen Roller, Heinrich (10) Wert ausschließen Schlüter, Peter (10) Wert ausschließen Ferreira, Afonso (9) Wert ausschließen Meyer, Bertrand (9) Wert ausschließen Thomas, Anke (7) Wert ausschließen Broy, Manfred (5) Wert ausschließen Hofmann, Bernd (5) Wert ausschließen Hähnle, Reiner (5) Wert ausschließen Müller, Peter (5) Wert ausschließen Rolim, José (5) Wert ausschließen Beckert, Bernhard (4) Wert ausschließen Bornkessel, Christian (4) Wert ausschließen Gensichen, Volker (4) Wert ausschließen Lavrentʹev, Michail Michajlovič (4) Wert ausschließen Lumpe, Günter (4) Wert ausschließen Reif, Wolfgang (4) Wert ausschließen Schubert, Karsten (4) Wert ausschließen Ur, Shmuel (4) Wert ausschließen Bakušinskij, Anatolij Borisovič (3) Wert ausschließen Basin, David A. (3) Wert ausschließen Bin, Eyal (3) Wert ausschließen Brade, Wilfried (3) Wert ausschließen Chovanec, Michal (3) Wert ausschließen Diehl, Stephan (3) Wert ausschließen Erdl, Marc Fabian (3) Wert ausschließen Goerigk, Wolfgang (3) Wert ausschließen Hausser, Erich (3) Wert ausschließen Heberle, Andreas (3) Wert ausschließen Heberling, Dirk (3) Wert ausschließen Jacobebbinghaus, Peter (3) Wert ausschließen Kopacz, Thomas (3) Wert ausschließen Kropf, Thomas (3) Wert ausschließen Mohrenweiser, Jens (3) Wert ausschließen Nickenig, Karin (3) Wert ausschließen Paquin, Ernst (3) Wert ausschließen Probst, Christian W. (3) Wert ausschließen Reinhard Wilhelm (3) Wert ausschließen Rohrlich, Michael (3) Wert ausschließen Schießl, Sascha (3) Wert ausschließen Schmid, Detlef (3) Wert ausschließen Schweizer, Charlotte (3) Wert ausschließen Steffen, Bernhard (3) Wert ausschließen Strobl, Dominik (3) Wert ausschließen Tautenhahn, Ulrich (3) Wert ausschließen Thesing, Stephan (3) Wert ausschließen Walter, Ute (3) Wert ausschließen Weikum, Gerhard (3) Wert ausschließen Westend-Verlag (3) Wert ausschließen Zwick, Thomas (3) Wert ausschließen Abate, Carmine (2) Wert ausschließen Anastasopoulos, Charis (2) Wert ausschließen Anikonov, Yu. E. (2) Wert ausschließen Antoniadis, Christina (2) Wert ausschließen Anzengruber, Stephan W. (2) Wert ausschließen Arnold, Klaus (2) Wert ausschließen Batoulis, Kimon (2) Wert ausschließen Becht, Florian Sebastian (2) Wert ausschließen Beckmann, Edmund (2) Wert ausschließen Behrens, Michael (2) Wert ausschließen Bibliographisches Institut & F. A. Brockhaus AG Mannheim Dudenredaktion (2) Wert ausschließen Bilardi, Gianfranco (2) Wert ausschließen Bodingbauer, Martin (2) Wert ausschließen Brezinka, Christoph (2) Wert ausschließen Bruckner, Pascal (2) Wert ausschließen Brunner, Johann K. (2) Wert ausschließen Bublak, Robert (2) Wert ausschließen Böhm, AG (2) Wert ausschließen Bünger, Carsten (2) Wert ausschließen Bürger, Steven (2) Wert ausschließen Carstiuc, Alex (2) Wert ausschließen Chockler, Hana (2) Wert ausschließen Cicognani, Massimo (2) Wert ausschließen Claass, Johanna (2) Wert ausschließen Czejkowska, Agnieszka (2) Wert ausschließen DDZ (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Dubois, Catherine (2) Wert ausschließen Duru, Sadik (2) Wert ausschließen Ehmann, Hermann (2) Wert ausschließen Feldman, Yishai A. (2) Wert ausschließen Feldon, Mark (2) Wert ausschließen Feldt, Louise (2) Wert ausschließen Ferchl, Irene (2) Wert ausschließen FinanzBuch Verlag (2) Wert ausschließen Fruja, Nicu Georgian (2) Wert ausschließen Gamisch, Annett (2) Wert ausschließen Gnant, Michael (2) Wert ausschließen Goll, Joachim (2) Wert ausschließen Graw, Günter (2) Wert ausschließen Gross, Thomas (2) Wert ausschließen Groth, Klaus J. (2) Wert ausschließen Grunwald, Armin (2) Wert ausschließen Gubisch, Martin (2) Wert ausschließen Gurevich, Yuri (2) Wert ausschließen Gutfleisch, Ralf (2) Wert ausschließen Gyurcsik, René (2) Wert ausschließen Harel, David (2) Wert ausschließen Henggi, Bruno (2) Wert ausschließen Henschler, R. (2) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (459) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (126) Wert ausschließen Lizenzfreie Online-Ressourcen (87) Wert ausschließen BASE - Bielefeld Academic Search Engine (76) Wert ausschließen Diss online (59) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (42) Wert ausschließen EMH Swiss Medical Publishers, Ltd. (CrossRef) (28) Wert ausschließen ETH Zürich Research Collection (23) Wert ausschließen SLUB/Deutsche Fotothek Arthistoricum (16) Wert ausschließen SLUB/Deutsche Fotothek Fotos (16) Wert ausschließen DOAJ Directory of Open Access Journals (15) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (12) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (12) Wert ausschließen Sächsische Bibliografie (11) Wert ausschließen EconStor (German National Library of Economics, ZBW) (10) Wert ausschließen Wiley (CrossRef) (10) Wert ausschließen Scientific publications of the Saarland University (UdS) (8) Wert ausschließen Qucosa (7) Wert ausschließen VDI Verlag GmbH (CrossRef) (5) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Augsburg University Publication Server (OPUS) (3) Wert ausschließen Det Kgl. Bibliotek/Royal Danish Library (CrossRef) (3) Wert ausschließen Eldorado - Repositorium der TU Dortmund (3) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (3) Wert ausschließen Nomos Verlag (CrossRef) (3) Wert ausschließen Peter Lang, International Academic Publishers (CrossRef) (3) Wert ausschließen SSOAR Social Science Open Access Repository (3) Wert ausschließen Wissenschaftliche Verlagsgesellschaft mbH (CrossRef) (3) Wert ausschließen Arachnologische Gesellschaft e.v. (CrossRef) (2) Wert ausschließen Georg Thieme Verlag (CrossRef) (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (2) Wert ausschließen S. Karger AG (CrossRef) (2) Wert ausschließen Verlag C.H.Beck oHG (CrossRef) (2) Wert ausschließen Abschlussarbeiten der TU Dresden (1) Wert ausschließen American Library Association (CrossRef) (1) Wert ausschließen Berlin-Brandenburgischen Akademie der Wissenschaften (BBAW): Publications (1) Wert ausschließen Brill Deutschland GmbH (CrossRef) (1) Wert ausschließen Deutscher Arzte-Verlag GmbH (CrossRef) (1) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen Duncker & Humblot GmbH (CrossRef) (1) Wert ausschließen Erich Schmidt Verlag GmbH & Co. KG (CrossRef) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences II Archive (1) Wert ausschließen JSTOR Arts & Sciences XV Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Nautos (DIN-Normen) (1) Wert ausschließen Norwegian Medical Association (CrossRef) (1) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen Oekom Publishers GmbH (CrossRef) (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen OpenEdition (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen PUB - Publications at Bielefeld University (1) Wert ausschließen Philosophy Documentation Center (CrossRef) (1) Wert ausschließen Publication Server of CAMPUS 02 University of Applied Sciences (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Scandinavian University Press / Universitetsforlaget AS (CrossRef) (1) Wert ausschließen University Library J. C. Senckenberg (CrossRef) (1) Wert ausschließen University of Chicago Press (CrossRef) (1) Wert ausschließen Vandenhoeck & Ruprecht GmbH & Co, KG (CrossRef) (1) Wert ausschließen Verlag Dr. Otto Schmidt (CrossRef) (1) Wert ausschließen Vittorio Klostermann GMBH (CrossRef) (1) Wert ausschließen mediarep (1) Wert ausschließen noah.nrw (1) Wert ausschließen zeige weitere weniger zeigen