Skip to contents George, Chris [Other] ; RAISE Method Group, RAISE Language Group The RAISE specification language : the RAISE Language Group - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Prentice Hall, 1992 Published in: BCS practitioner series Graham, Ian [Author]; Henderson-Sellers, Brian [Author]; Younessi, Houman [Author] The OPEN process specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: ACM Press [u.a.], c 1997 Published in: The OPEN series Tennent, Robert D. [Author]; Tennent, R. D. [Author] Specifying software : a hands-on introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2002 Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems - [2. ed. extensively rev. and updated] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2011 Published in: Texts in computer science Davis, Alan Mark [Author] Software requirements : analysis and specification - [5. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, N.J. [u.a.]: Prentice-Hall, 1990 Partsch, Helmut A. [Author] ; Partsch, Helmut A. [Other] Specification and transformation of programs : a formal approach to software development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science Horebeek, Ivo van [Author] ; Lewi, Johan [Other] Algebraic specifications in software engineering : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989 Möller, Bernhard [Editor] ; International Federation for Information Processing Working Group on Algorithmic Languages and Calculi Formal program development : IFIP TC2/WG 2.1 state-of-the-art report Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 755 Knuth, Előd [Editor]; Neuhold, Erich J. [Editor] ; Conference on Operating Systems 1982 Visegrád Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23 - 27, 1982 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1983 Published in: Lecture notes in computer science ; 152 Jackson, Michael [Author] Software requirements & specifications : a lexicon of practice, principles and prejudices - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow [u.a.]: Addison-Wesley, 1995 ; Wokingham [u.a.]: Addison-Wesley, 1995 Published in: ACM Press books Prehn, Sœren [Editor] ; Europäische Kommission VDM Europe Working Group, VDM 4 1991 Noordwijkerhout Formal software development methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands October 21 - 25, 1991; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer-Verl., 19XX- Published in: Lecture notes in computer science ; . Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1998 Published in: Graduate texts in computer science Leszak, Marek [Author]; Eggert, Horst [Author] Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989 Published in: Informatik-Fachberichte ; 197 Turner, Kenneth J. [Editor] ; University of Stirling, International Conference on Formal Description Techniques 1 1988 Stirling Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6 - 9 September, 1988 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: North-Holland, 1989 Leue, Stefan [Editor]; Systä, Tarja Johanna [Other] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3466 Malloy, Brian [Editor]; Staab, Steffen [Other]; Brand, Mark van den [Other] ; SLE 3 2010 Eindhoven Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6563 Nissanke, Nimal [Author] Formal specification : techniques and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 1999 Bowen, Jonathan P. [Editor] ; ZB 1 2000 York ZB 2000: formal specification and development in Z and B : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2000 Published in: Lecture notes in computer science ; 1878 Julliand, Jacques [Editor]; Kouchnarenko, Olga [Other] ; International Conference of B Users 7 2007 Besançon B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4355 Treharne, Helen [Editor]; King, Steve [Other]; Henson, Martin [Other]; Schneider, Steve [Other] ; ZB 4 2005 Guildford ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3455
George, Chris [Other] ; RAISE Method Group, RAISE Language Group The RAISE specification language : the RAISE Language Group - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Prentice Hall, 1992 Published in: BCS practitioner series
Graham, Ian [Author]; Henderson-Sellers, Brian [Author]; Younessi, Houman [Author] The OPEN process specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: ACM Press [u.a.], c 1997 Published in: The OPEN series
Tennent, Robert D. [Author]; Tennent, R. D. [Author] Specifying software : a hands-on introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2002
Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems - [2. ed. extensively rev. and updated] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2011 Published in: Texts in computer science
Davis, Alan Mark [Author] Software requirements : analysis and specification - [5. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, N.J. [u.a.]: Prentice-Hall, 1990
Partsch, Helmut A. [Author] ; Partsch, Helmut A. [Other] Specification and transformation of programs : a formal approach to software development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
Horebeek, Ivo van [Author] ; Lewi, Johan [Other] Algebraic specifications in software engineering : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989
Möller, Bernhard [Editor] ; International Federation for Information Processing Working Group on Algorithmic Languages and Calculi Formal program development : IFIP TC2/WG 2.1 state-of-the-art report Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 755
Knuth, Előd [Editor]; Neuhold, Erich J. [Editor] ; Conference on Operating Systems 1982 Visegrád Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23 - 27, 1982 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1983 Published in: Lecture notes in computer science ; 152
Jackson, Michael [Author] Software requirements & specifications : a lexicon of practice, principles and prejudices - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow [u.a.]: Addison-Wesley, 1995 ; Wokingham [u.a.]: Addison-Wesley, 1995 Published in: ACM Press books
Prehn, Sœren [Editor] ; Europäische Kommission VDM Europe Working Group, VDM 4 1991 Noordwijkerhout Formal software development methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands October 21 - 25, 1991; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer-Verl., 19XX- Published in: Lecture notes in computer science ; .
Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1998 Published in: Graduate texts in computer science
Leszak, Marek [Author]; Eggert, Horst [Author] Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989 Published in: Informatik-Fachberichte ; 197
Turner, Kenneth J. [Editor] ; University of Stirling, International Conference on Formal Description Techniques 1 1988 Stirling Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6 - 9 September, 1988 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: North-Holland, 1989
Leue, Stefan [Editor]; Systä, Tarja Johanna [Other] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3466
Malloy, Brian [Editor]; Staab, Steffen [Other]; Brand, Mark van den [Other] ; SLE 3 2010 Eindhoven Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6563
Nissanke, Nimal [Author] Formal specification : techniques and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 1999
Bowen, Jonathan P. [Editor] ; ZB 1 2000 York ZB 2000: formal specification and development in Z and B : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2000 Published in: Lecture notes in computer science ; 1878
Julliand, Jacques [Editor]; Kouchnarenko, Olga [Other] ; International Conference of B Users 7 2007 Besançon B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4355
Treharne, Helen [Editor]; King, Steve [Other]; Henson, Martin [Other]; Schneider, Steve [Other] ; ZB 4 2005 Guildford ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3455
> Media type Skip to next facet Articles (591) Wert ausschließen Standards (263) Wert ausschließen Books (191) Wert ausschließen Thesis (32) Wert ausschließen Conference Proceedings (8) Wert ausschließen Electronic Resources (7) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (4) Wert ausschließen Stack Collection (36) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (38) Wert ausschließen Central Library (3) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (267) Wert ausschließen In Copyright - Non-commercial Use Permitted (47) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (5) Wert ausschließen Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (185) Wert ausschließen Restricted Access (263) Wert ausschließen Without Specification (604) Wert ausschließen Show more show less
> Language Skip to next facet English (609) Wert ausschließen Not determined (395) Wert ausschließen German (127) Wert ausschließen French (6) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (603) Wert ausschließen Technology (537) Wert ausschließen Mathmatics (194) Wert ausschließen Physics (163) Wert ausschließen Economics (17) Wert ausschließen General (16) Wert ausschließen Medicine (16) Wert ausschließen Pedagogy (9) Wert ausschließen Biology (6) Wert ausschließen Chemistry and pharmacology (6) Wert ausschließen Geography (6) Wert ausschließen Geology and paleontology (4) Wert ausschließen Political science (2) Wert ausschließen Sociology (2) Wert ausschließen General sciences (1) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen History (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Philosophy (1) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet ISO International Organization for Standardization (145) Wert ausschließen ISO Internationale Organisation für Normung (145) Wert ausschließen ISO Organisation Internationale de Normalisation (145) Wert ausschließen DIN Deutsches Institut für Normung e. V. (103) Wert ausschließen DIN German Institute for Standardization (103) Wert ausschließen CEI Commission Electrotechnique Internationale (92) Wert ausschließen IEC International Electrotechnical Commission (92) Wert ausschließen IEC Internationale Elektrotechnische Kommission (92) Wert ausschließen ISO/CEI JTC 1/SC 7 (69) Wert ausschließen ISO/IEC JTC 1/SC 7 (69) Wert ausschließen ISO/IEC JTC 1/SC 7 Software and Systems Engineering (69) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (59) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (59) Wert ausschließen IEEE The Institute of Electrical and Electronics Engineers, Inc (21) Wert ausschließen VDI - The Association of German Engineers (13) Wert ausschließen VDI Verein Deutscher Ingenieure e.V. (13) Wert ausschließen VDI/VDE Society Measurement and Automation (12) Wert ausschließen VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik (12) Wert ausschließen Müller, Peter (11) Wert ausschließen Reed, Rick (11) Wert ausschließen Ehrig, Hartmut (9) Wert ausschließen DIN-Normenausschuss Sicherheitstechnische Grundsätze (NASG) (8) Wert ausschließen ISO/TC 171 Applications en gestion des documents (8) Wert ausschließen ISO/TC 171 Document management applications (8) Wert ausschließen ISO/TC 171 Dokumenten Management - Verfahren und Anwendungen (8) Wert ausschließen ISO/TC 22 Road vehicles (8) Wert ausschließen ISO/TC 22 Straßenfahrzeuge (8) Wert ausschließen ISO/TC 22 Véhicules routiers (8) Wert ausschließen Safety Design Principles Standards Committee (8) Wert ausschließen Bowen, Jonathan P. (7) Wert ausschließen ISO/CEI JTC 1 Technologies de l'information (7) Wert ausschließen ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology (7) Wert ausschließen ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik (7) Wert ausschließen ISO/TC 199 Safety of machinery (7) Wert ausschließen ISO/TC 199 Sicherheit von Maschinen und Geräten (7) Wert ausschließen ISO/TC 199 Sécurité des machines (7) Wert ausschließen Kuzmin, E. V. (7) Wert ausschließen Ludewig, Jochen (7) Wert ausschließen DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS) (6) Wert ausschließen DIN-Normenausschuss Maschinenbau (NAM) (6) Wert ausschließen Heating and Ventilation Technology Standards Committee (6) Wert ausschließen Mechanical Engineering Standards Committee (6) Wert ausschließen Memmel, Thomas (6) Wert ausschließen Basin, David A. (5) Wert ausschließen DIN Standards Committee Road Vehicles and Mobility (5) Wert ausschließen DIN-Normenausschuss Auto und Mobilität (NAAutomobil) (5) Wert ausschließen Frank, Ulrich (5) Wert ausschließen Gotzhein, Reinhard (5) Wert ausschließen Hähnle, Reiner (5) Wert ausschließen ISO/TC 159 Ergonomics (5) Wert ausschließen ISO/TC 159 Ergonomie (5) Wert ausschließen Liu, Shaoying (5) Wert ausschließen Meseguer, José (5) Wert ausschließen Meyer, Bertrand (5) Wert ausschließen Reiterer, Harald (5) Wert ausschließen Sokolov, V. A. (5) Wert ausschließen Aerospace Standards Committee (4) Wert ausschließen Astesiano, Egidio (4) Wert ausschließen Bert, Didier (4) Wert ausschließen Broy, Manfred (4) Wert ausschließen Brucker, Achim D. (4) Wert ausschließen DIN-Normenausschuss Ergonomie (NAErg) (4) Wert ausschließen DIN-Normenausschuss Feuerwehrwesen (FNFW) (4) Wert ausschließen DIN-Normenausschuss Luft- und Raumfahrt (NL) (4) Wert ausschließen Damm, Werner (4) Wert ausschließen Dasgupta, Pallab (4) Wert ausschließen Ergonomics Standards Committee (4) Wert ausschließen Firefighting and Fire Protection Standards Committee (4) Wert ausschließen Frias, Marcelo F. (4) Wert ausschließen ISO/CEI JTC 1/SC 27 Techniques de sécurité des technologies de l'information (4) Wert ausschließen ISO/IEC JTC 1/SC 27 IT Security techniques (4) Wert ausschließen ISO/IEC JTC 1/SC 27 IT Sicherheitsverfahren (4) Wert ausschließen ISO/TC 184 Automation systems and integration (4) Wert ausschließen ISO/TC 184 Industrielle Automatisierungssysteme (4) Wert ausschließen ISO/TC 184 Systèmes d'automatisation industrielle et intégration (4) Wert ausschließen ISO/TC 205 Building environment design (4) Wert ausschließen ISO/TC 205 Conception de l'environnement intérieur des bâtiments (4) Wert ausschließen ISO/TC 205 Umweltgerechte Planung von Gebäuden (4) Wert ausschließen ISO/TC 299 Roboter und Robotikgeräte (4) Wert ausschließen ISO/TC 299 Robots and robotic devices (4) Wert ausschließen ISO/TC 299 Robots et composants robotiques (4) Wert ausschließen Jiang, Xiangqian (4) Wert ausschließen Orejas, Fernando (4) Wert ausschließen Palanque, Philippe (4) Wert ausschließen Reif, Wolfgang (4) Wert ausschließen Ryabukhin, D. A. (4) Wert ausschließen Schäfer, Wilhelm (4) Wert ausschließen Association for Computing Machinery (3) Wert ausschließen Barringer, Howard (3) Wert ausschließen Basin, David (3) Wert ausschließen Belta, Calin (3) Wert ausschließen Bibel, Wolfgang (3) Wert ausschließen Bidoit, Michel (3) Wert ausschließen Bjørner, Dines (3) Wert ausschließen Choppy, Christine (3) Wert ausschließen Dastani, Mehdi (3) Wert ausschließen Daun, Marian (3) Wert ausschließen Desel, Jörg (3) Wert ausschließen Engels, Gregor (3) Wert ausschließen European Electronic Chips & Systems Design Initiative (3) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (198) Wert ausschließen Verbunddaten SWB (159) Wert ausschließen Nautos (ISO-Normen) (145) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (107) Wert ausschließen Nautos (DIN-Normen) (103) Wert ausschließen BASE - Bielefeld Academic Search Engine (77) Wert ausschließen Springer International Publishing (CrossRef) (63) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (58) Wert ausschließen ETH Zürich Research Collection (47) Wert ausschließen Elsevier BV (CrossRef) (30) Wert ausschließen Lizenzfreie Online-Ressourcen (27) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (15) Wert ausschließen Nautos (VDI-Normen) (13) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (12) Wert ausschließen Allerton Press (CrossRef) (11) Wert ausschließen Informa UK Limited (CrossRef) (9) Wert ausschließen Diss online (8) Wert ausschließen SAGE Publications (CrossRef) (8) Wert ausschließen Wiley (CrossRef) (7) Wert ausschließen Emerald (CrossRef) (6) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (6) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (6) Wert ausschließen MDPI AG (CrossRef) (6) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (5) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (5) Wert ausschließen Open Publishing Association (CrossRef) (5) Wert ausschließen Springer Nature Switzerland (CrossRef) (5) Wert ausschließen ASME International (CrossRef) (3) Wert ausschließen Croatian Communications and Information Society (CrossRef) (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (3) Wert ausschließen Georg-August-Universität Göttingen: eDiss (3) Wert ausschließen Insight Society (CrossRef) (3) Wert ausschließen theses.fr (3) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (2) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (2) Wert ausschließen Nautos (DWA-Normen) (2) Wert ausschließen SPIIRAS (CrossRef) (2) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (2) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (2) Wert ausschließen ACTA Press (CrossRef) (1) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP (CrossRef) (1) Wert ausschließen Cosmos Scholars Publishing House (CrossRef) (1) Wert ausschließen Fakultas Ilmu Komputer Universitas Brawijaya (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Fuji Technology Press Ltd. (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen ITMO University (CrossRef) (1) Wert ausschließen International Research Publication House (CrossRef) (1) Wert ausschließen MIT Press - Journals (CrossRef) (1) Wert ausschließen National Library of Serbia (CrossRef) (1) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (1) Wert ausschließen Private Company Technology Center (CrossRef) (1) Wert ausschließen Qucosa (1) Wert ausschließen SPIE-Intl Soc Optical Eng (CrossRef) (1) Wert ausschließen Science Publishing Corporation (CrossRef) (1) Wert ausschließen Science Publishing Group (CrossRef) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Springer Nature Singapore (CrossRef) (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen Universidad Nacional de Colombia (CrossRef) (1) Wert ausschließen Universitas Negeri Yogyakarta (CrossRef) (1) Wert ausschließen Universität Osnabrück: osnaDocs (1) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (1) Wert ausschließen Show more show less