Skip to contents Demetrovics, János [Author]; Knuth, Előd [Author]; Radó, Péter [Author] Avtomatizirovannye metody specifikacii Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: "Mir", 1989 Kubiak, Ryszard [Author]; Rudziński, Roman [Author]; Sokołowski, Stefan [Author] An introduction to programming with specifications : a mathematical approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Pr., 1991 Published in: Automatic Programming Information Centre: APIC series ; 35 Reck, Martin [Author] Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakten Datentypen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Forkel-Verl., 1991 Published in: Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; 47 b Hatley, Derek J. [Author]; Pirbhai, Imtiaz A. [Author] Strategies for real-time system specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Dorset House Publ., 1988 Bidoit, Michel [Author]; Mosses, Peter D. [Author] ; Mossakowski, Till [Other] CASL user manual : introduction to using the common algebraic specification language Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2900 Dömges, Ralf [Author] Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999 Published in: Aachener Informatik-Berichte ; 99,9 Goldsack, Stephen J. [Editor] Ada for specification : possibilities and limitations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1985 Published in: The Ada companion series Brüggemann, Hans H. [Author] Spezifikation von objektorientierten Rechten : Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1997 Published in: DuD-Fachbeiträge Hußmann, Heinrich [Author] Nondeterminism in algebraic specifications and algebraic programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 1993 Published in: Progress in theoretical computer science ; 8 Becker, Klaus P. [Author] Rewrite operationalization of clausal specifications with predefined structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994 Waite, William M. [Author]; Grosch, Josef [Author]; Schröer, Friedrich Wilhelm [Author] Three compiler specifications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD, 1989 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 16600 Craig, Iain D. [Author] Formal refinement for operating system kernels Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2007 Feijs, Loe M. [Author]; Jonkers, Hans B. [Author] ; Feijs, L. M. G. [Other]; Jonkers, H. B. M. [Other] Formal specification and design - [1. digital printed paperback version 2005] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2005 Published in: Cambridge tracts in theoretical computer science ; 35.2005 Tan, Yang Meng [Author] Formal specification techniques for engineering modular C programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publ., 1996 Published in: The Kluwer international series in software engineering ; 1 Loeckx, Jacques [Author]; Ehrich, Hans-Dieter [Author]; Wolf, Markus [Author] Specification of abstract data types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1996 ; Chichester [u.a.]: Wiley Teubner, 1996 Published in: Wiley-Teubner computing Börger, Egon [Editor] Specification and validation methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Oxford Univ. Press, 1995 Published in: International schools for computer scientists- Oxford science publications Breu, Michael [Author] Endliche Implementierung algebraischer Spezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1991 Bergstra, J. A. [Other]; Heering, J. [Other]; Klint, Paul [Other]; Bergstra, Jan A. [Editor] Algebraic specification - [1. printed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989 Published in: ACM Press frontiers series Ehrich, Hans-Dieter [Author]; Gogolla, Martin [Author]; Lipeck, Udo W. [Author] Algebraische Spezifikation abstrakter Datentypen : eine Einführung in die Theorie ; mit Beispielen und Übungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1989 Published in: Leitfäden und Monographien der Informatik Ehrig, Hartmut [Author]; Mahr, Bernd [Author] Fundamentals of algebraic specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1985- Published in: EATCS monographs on theoretical computer science ; .
Demetrovics, János [Author]; Knuth, Előd [Author]; Radó, Péter [Author] Avtomatizirovannye metody specifikacii Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Moskva: "Mir", 1989
Kubiak, Ryszard [Author]; Rudziński, Roman [Author]; Sokołowski, Stefan [Author] An introduction to programming with specifications : a mathematical approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Pr., 1991 Published in: Automatic Programming Information Centre: APIC series ; 35
Reck, Martin [Author] Methoden und Beschreibungsmittel für die Programmentwicklung : von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakten Datentypen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Forkel-Verl., 1991 Published in: Schriftenreihe Integrierte Datenverarbeitung in der Praxis ; 47 b
Hatley, Derek J. [Author]; Pirbhai, Imtiaz A. [Author] Strategies for real-time system specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Dorset House Publ., 1988
Bidoit, Michel [Author]; Mosses, Peter D. [Author] ; Mossakowski, Till [Other] CASL user manual : introduction to using the common algebraic specification language Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2900
Dömges, Ralf [Author] Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999 Published in: Aachener Informatik-Berichte ; 99,9
Goldsack, Stephen J. [Editor] Ada for specification : possibilities and limitations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1985 Published in: The Ada companion series
Brüggemann, Hans H. [Author] Spezifikation von objektorientierten Rechten : Erlaubnisse, Verbote, Klassenhierarchien, Prioritäten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1997 Published in: DuD-Fachbeiträge
Hußmann, Heinrich [Author] Nondeterminism in algebraic specifications and algebraic programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 1993 Published in: Progress in theoretical computer science ; 8
Becker, Klaus P. [Author] Rewrite operationalization of clausal specifications with predefined structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994
Waite, William M. [Author]; Grosch, Josef [Author]; Schröer, Friedrich Wilhelm [Author] Three compiler specifications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD, 1989 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 16600
Craig, Iain D. [Author] Formal refinement for operating system kernels Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2007
Feijs, Loe M. [Author]; Jonkers, Hans B. [Author] ; Feijs, L. M. G. [Other]; Jonkers, H. B. M. [Other] Formal specification and design - [1. digital printed paperback version 2005] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2005 Published in: Cambridge tracts in theoretical computer science ; 35.2005
Tan, Yang Meng [Author] Formal specification techniques for engineering modular C programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publ., 1996 Published in: The Kluwer international series in software engineering ; 1
Loeckx, Jacques [Author]; Ehrich, Hans-Dieter [Author]; Wolf, Markus [Author] Specification of abstract data types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1996 ; Chichester [u.a.]: Wiley Teubner, 1996 Published in: Wiley-Teubner computing
Börger, Egon [Editor] Specification and validation methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Oxford Univ. Press, 1995 Published in: International schools for computer scientists- Oxford science publications
Breu, Michael [Author] Endliche Implementierung algebraischer Spezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1991
Bergstra, J. A. [Other]; Heering, J. [Other]; Klint, Paul [Other]; Bergstra, Jan A. [Editor] Algebraic specification - [1. printed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989 Published in: ACM Press frontiers series
Ehrich, Hans-Dieter [Author]; Gogolla, Martin [Author]; Lipeck, Udo W. [Author] Algebraische Spezifikation abstrakter Datentypen : eine Einführung in die Theorie ; mit Beispielen und Übungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1989 Published in: Leitfäden und Monographien der Informatik
Ehrig, Hartmut [Author]; Mahr, Bernd [Author] Fundamentals of algebraic specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1985- Published in: EATCS monographs on theoretical computer science ; .
> Media type Skip to next facet Standards (5.539) Wert ausschließen Books (1.113) Wert ausschließen Articles (105) Wert ausschließen Thesis (66) Wert ausschließen Conference Proceedings (11) Wert ausschließen Journals / Newspapers / Series (10) Wert ausschließen Electronic Resources (4) Wert ausschließen Videos (2) Wert ausschließen Images (2) Wert ausschließen Microforms (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (92) Wert ausschließen Stack Collection (324) Wert ausschließen Ask for availability (19) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (344) Wert ausschließen Central Library (86) Wert ausschließen TU Dresden holdings (5) Wert ausschließen Branch Library of Forestry (3) Wert ausschließen Branch Library of Educationen (2) Wert ausschließen Branch Library of Medicine (2) Wert ausschließen in transfer (1) Wert ausschließen Branch Library of Law (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (5.553) Wert ausschließen In Copyright - Non-commercial Use Permitted (35) Wert ausschließen Attribution - No Derivs (CC BY-ND) (8) Wert ausschließen Attribution (CC BY) (5) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (4) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Attribution - Share Alike (CC BY-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (602) Wert ausschließen Restricted Access (5.547) Wert ausschließen Without Specification (294) Wert ausschließen Show more show less
> Language Skip to next facet English (3.918) Wert ausschließen German (3.382) Wert ausschließen Not determined (21) Wert ausschließen French (18) Wert ausschließen Russian (5) Wert ausschließen Chinese (2) Wert ausschließen Japanese (2) Wert ausschließen Ukrainian (2) Wert ausschließen No linguistic content (1) Wert ausschließen Polish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (5.591) Wert ausschließen Computer science (1.311) Wert ausschließen Medicine (400) Wert ausschließen Geology and paleontology (381) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (289) Wert ausschließen Economics (240) Wert ausschließen Physics (198) Wert ausschließen Mathmatics (183) Wert ausschließen Chemistry and pharmacology (167) Wert ausschließen Sociology (103) Wert ausschließen General (64) Wert ausschließen Sports science (44) Wert ausschließen Biology (14) Wert ausschließen Allgemeine Naturwissenschaften (13) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (13) Wert ausschließen Geography (12) Wert ausschließen Psychology (8) Wert ausschließen Jurisprudence (6) Wert ausschließen Musicology (5) Wert ausschließen Pedagogy (5) Wert ausschließen General sciences (4) Wert ausschließen Philosophy (4) Wert ausschließen Art and art history (3) Wert ausschließen Germanic and Scandinavian studies (2) Wert ausschließen History (2) Wert ausschließen American studies (1) Wert ausschließen Military science (1) Wert ausschließen Political science (1) Wert ausschließen Show more show less
> Creator Skip to next facet DIN Deutsches Institut für Normung e. V. (2.919) Wert ausschließen DIN German Institute for Standardization (2.919) Wert ausschließen ISO International Organization for Standardization (2.618) Wert ausschließen ISO Internationale Organisation für Normung (2.618) Wert ausschließen ISO Organisation Internationale de Normalisation (2.618) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (1.244) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (1.244) Wert ausschließen CEI Commission Electrotechnique Internationale (378) Wert ausschließen IEC International Electrotechnical Commission (378) Wert ausschließen IEC Internationale Elektrotechnische Kommission (378) Wert ausschließen DIN Standards Committee Building and Civil Energeering (164) Wert ausschließen DIN-Normenausschuss Bauwesen (NABau) (164) Wert ausschließen ISO/CEI JTC 1 Technologies de l'information (162) Wert ausschließen ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology (162) Wert ausschließen ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik (162) Wert ausschließen DIN-Normenausschuss Kunststoffe (FNK) (132) Wert ausschließen Plastics Standards Committee (132) Wert ausschließen ISO/TC 22 Road vehicles (122) Wert ausschließen ISO/TC 22 Straßenfahrzeuge (122) Wert ausschließen ISO/TC 22 Véhicules routiers (122) Wert ausschließen DIN Standards Committee Health Technologies (105) Wert ausschließen DIN-Normenausschuss Gesundheitstechnologien (NAGesuTech) (105) Wert ausschließen ISO/TC 2 Fasteners (105) Wert ausschließen ISO/TC 2 Mechanische Verbindungselemente (105) Wert ausschließen ISO/TC 2 Éléments de fixation (105) Wert ausschließen ISO/TC 20 Aircraft and space vehicles (101) Wert ausschließen ISO/TC 20 Aéronautique et espace (101) Wert ausschließen ISO/TC 20 Luft- und Raumfahrzeuge (101) Wert ausschließen DIN-Normenausschuss Mechanische Verbindungselemente (FMV) (97) Wert ausschließen Fasteners Standards Committee (97) Wert ausschließen ISO/TC 8 Navires et technologie maritime (95) Wert ausschließen ISO/TC 8 Schiffe und Meerestechnik (95) Wert ausschließen ISO/TC 8 Ships and marine technology (95) Wert ausschließen ISO/TC 45 Kautschuk und Kautschukerzeugnisse (82) Wert ausschließen ISO/TC 45 Rubber and rubber products (82) Wert ausschließen ISO/TC 45 Élastomères et produits à base d'élastomères (82) Wert ausschließen ISO/TC 67 Materialien, Ausrüstungen und Offshore-Bauwerke für die Erdöl-, petrochemische und Erdgasindustrie (77) Wert ausschließen ISO/TC 67 Materials, equipment and offshore structures for petroleum, petrochemical and natural gas industries (77) Wert ausschließen ISO/TC 67 Matériel, équipement et structures en mer pour les industries pétrolière, pétrochimique et du gaz naturel (77) Wert ausschließen ISO/TC 61 Kunststoffe (76) Wert ausschließen ISO/TC 61 Plastics (76) Wert ausschließen ISO/TC 61 Plastiques (76) Wert ausschließen Aerospace Standards Committee (74) Wert ausschließen DIN-Normenausschuss Luft- und Raumfahrt (NL) (74) Wert ausschließen ISO/TC 34 Food products (74) Wert ausschließen ISO/TC 34 Lebensmittelerzeugnisse (74) Wert ausschließen ISO/TC 34 Produits alimentaires (74) Wert ausschließen DIN-Normenausschuss Technische Grundlagen (NATG) (68) Wert ausschließen Fundamental Technical Standards Committee (68) Wert ausschließen DIN-Normenstelle Schiffs- und Meerestechnik (NSMT) (66) Wert ausschließen Shipbuilding and Marine Technology Standards Committee (66) Wert ausschließen DIN-Normenausschuss Erdöl- und Erdgasgewinnung (NÖG) (65) Wert ausschließen DIN-Normenausschuss Materialprüfung (NMP) (65) Wert ausschließen Materials Testing Standards Committee (65) Wert ausschließen Petroleum and Natural Gas Industries Standards Committee (65) Wert ausschließen ISO/TC 23 Tracteurs et matériels agricoles et forestiers (64) Wert ausschließen ISO/TC 23 Tractors and machinery for agriculture and forestry (64) Wert ausschließen ISO/TC 23 Traktoren und Maschinen für Land- und Forstwirtschaft (64) Wert ausschließen ISO/TC 17 Acier (61) Wert ausschließen ISO/TC 17 Stahl (61) Wert ausschließen ISO/TC 17 Steel (61) Wert ausschließen DIN-Normenausschuss Maschinenbau (NAM) (54) Wert ausschließen Mechanical Engineering Standards Committee (54) Wert ausschließen ISO/TC 106 Art dentaire (52) Wert ausschließen ISO/TC 106 Dentistry (52) Wert ausschließen ISO/TC 106 Zahnheilkunde (52) Wert ausschließen ISO/TC 29 Petit outillage (51) Wert ausschließen ISO/TC 29 Small tools (51) Wert ausschließen ISO/TC 29 Werkzeuge (51) Wert ausschließen DIN-Normenausschuss Dental (NADENT) (50) Wert ausschließen Dentistry Standards Committee (50) Wert ausschließen ISO/TC 213 Dimensional and geometrical product specifications and verification (50) Wert ausschließen ISO/TC 213 Geometrische Produktspezifikationen und -prüfung (50) Wert ausschließen ISO/TC 213 Spécifications et vérification dimensionnelles et géométriques des produits (50) Wert ausschließen ISO/TC 54 Essential oils (41) Wert ausschließen ISO/TC 54 Huiles essentielles (41) Wert ausschließen ISO/TC 54 Ätherische Öle (41) Wert ausschließen DIN-Normenausschuss Rohrleitungen und Dampfkesselanlagen (NARD) (39) Wert ausschließen Piping and Boiler Plant Standards Committee (39) Wert ausschließen DIN-Normenausschuss Informationstechnik und Anwendungen (NIA) (38) Wert ausschließen ISO/CEI JTC 1/SC 31 (38) Wert ausschließen ISO/IEC JTC 1/SC 31 (38) Wert ausschließen ISO/IEC JTC 1/SC 31 Automatische Identifikation und Datenerfassungsverfahren (38) Wert ausschließen Information Technology and selected IT Applications Standards Committee (38) Wert ausschließen DIN-Normenausschuss Schweißen und verwandte Verfahren (NAS) (37) Wert ausschließen Welding and allied processes (37) Wert ausschließen ISO/CEI JTC 1/SC 25 Interconnexion des appareils de traitement de l'information (36) Wert ausschließen ISO/IEC JTC 1/SC 25 Interconnection of information technology equipment (36) Wert ausschließen ISO/IEC JTC 1/SC 25 Verbindung von Einrichtungen der Informationstechnik (36) Wert ausschließen DIN Standards Committee Road Vehicles and Mobility (34) Wert ausschließen DIN-Normenausschuss Auto und Mobilität (NAAutomobil) (34) Wert ausschließen DIN-Normenausschuss Pigmente und Füllstoffe (NPF) (34) Wert ausschließen ISO/TC 76 Appareils de transfusion, de perfusion et d'injection à usage médical et pharmaceutique (34) Wert ausschließen ISO/TC 76 Transfusion, infusion and injection equipment for medical and pharmaceutical use (34) Wert ausschließen ISO/TC 76 Transfusions-, Infusions- und Injektionsgeräte zur medizinischen und pharmazeutischen Verwendung (34) Wert ausschließen Pigments and Extenders Standards Committee (34) Wert ausschließen DIN-Normenausschuss Druckgasanlagen (NDG) (32) Wert ausschließen DIN-Normenausschuss Feinmechanik und Optik (NAFuO) (32) Wert ausschließen ISO/TC 150 Chirurgische Implantate (32) Wert ausschließen ISO/TC 150 Implants chirurgicaux (32) Wert ausschließen Show more show less
> Collection Skip to next facet Nautos (DIN-Normen) (2.918) Wert ausschließen Nautos (ISO-Normen) (2.618) Wert ausschließen Verbunddaten SWB (951) Wert ausschließen Lizenzfreie Online-Ressourcen (333) Wert ausschließen BASE - Bielefeld Academic Search Engine (223) Wert ausschließen EconStor (German National Library of Economics, ZBW) (65) Wert ausschließen Diss online (62) Wert ausschließen ETH Zürich Research Collection (35) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (34) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (22) Wert ausschließen Qucosa (17) Wert ausschließen Wiley (CrossRef) (16) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (15) Wert ausschließen Scientific publications of the Saarland University (UdS) (12) Wert ausschließen Eldorado - Repositorium der TU Dortmund (8) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (8) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (6) Wert ausschließen noah.nrw (6) Wert ausschließen Qucosa Technische Universität Chemnitz (5) Wert ausschließen Augsburg University Publication Server (OPUS) (4) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Georg-August-Universität Göttingen: eDiss (4) Wert ausschließen REPOSIT HAW Hamburg (4) Wert ausschließen University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) (4) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (3) Wert ausschließen Münster University (WWU): miami (3) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (3) Wert ausschließen Wissenschaftliche Verlagsgesellschaft mbH (CrossRef) (3) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (2) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (2) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen TH Köln: ePublications (2) Wert ausschließen Universitätsbibliothek Paderborn: Digitale Sammlungen (2) Wert ausschließen Verlag C.H.Beck oHG (CrossRef) (2) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (2) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (1) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen Duncker & Humblot E-Books Wirtschaftswissenschaften 1996-2005 (1) Wert ausschließen Felix Meiner Verlag GmbH (CrossRef) (1) Wert ausschließen Freie Universität Berlin: Refubium (FU Berlin) (1) Wert ausschließen Georg Thieme Verlag (CrossRef) (1) Wert ausschließen German Federal Highway Research Institute (BASt): Electronic BASt Archive (ELBA) (1) Wert ausschließen Hamburg University, Department of Informatics: INFDok (1) Wert ausschließen Hogrefe Publishing Group (CrossRef) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Nautos (DWA-Normen) (1) Wert ausschließen Nautos (PAS-Normen) (1) Wert ausschließen Nautos (VDI-Normen) (1) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen PUB - Publications at Bielefeld University (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 Publication Server of Weimar Bauhaus-University / Online-Publikations-System der Bauhaus-Universität Weimar (1) Wert ausschließen Qucosa Technische Universität Dresden (1) Wert ausschließen SLUB/Deutsche Fotothek Arthistoricum (1) Wert ausschließen SLUB/Deutsche Fotothek Fotos (1) Wert ausschließen SSOAR Social Science Open Access Repository (1) Wert ausschließen Springer Fachmedien Wiesbaden GmbH (CrossRef) (1) Wert ausschließen Sächsische Bibliografie (1) Wert ausschließen TORE TUHH Open Research (Hamburg University of Technology) (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen University of Freiburg: FreiDok (1) Wert ausschließen o-bib (VDB - The Association of German Librarians) (1) Wert ausschließen Show more show less