Skip to contents Monin, Jean-François [Author]; Monin, Jean François [Author] ; Hinchey, Michael Gerard [Other] Understanding formal methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2003 Krieg-Brückner, Bernd [Other] ; Universität Bremen Fachbereich Mathematik, Informatik UniForM workbench : universelle Entwicklungsumgebung für formale Methoden Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Univ., Fachbereich Mathematik und Informatik, 1995 Published in: Informatik ; 95,8 Ford, Neville J. [Author]; Ford, Judith M. [Author] Introducing formal methods : a less mathematical approach - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY [u.a.]: Ellis Horwood, 1993 Published in: Ellis Horwood series in computers and their applications Tamminga, Allard [Author] ; Riedel, Katharina [Editor] Universität Greifswald Formale Methoden in der philosophischen Forschung : Antrittsvorlesung an der Universität Greifswald Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Greifswald: Universität Greifswald, 2023 Published in: Greifswalder Universitätsreden ; NF,156 Priami, Corrado [Editor] Transactions on Computational Systems Biology / 12, Special issue on modeling methodologies / Corrado Priami ... (ed.) Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Transactions on Computational Systems Biology ; 12 - Lecture notes in computer science ; 5945 Spies, Katharina [Author] Eine Methode zur formalen Modellierung von Betriebssystemkonzepten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: SFB 342, 1998 Published in: Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / A ; 98,3 - Technische Universität München: Institut für Informatik, Technische Universität München ; 98,9 Peleska, Jan [Author] Formal methods and the development of dependable systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612 Voss, Markus [Author] Systemobjektorientierte strukturierte Analyse und dienstorientierter Entwurf als Konstruktionsmethodik im Rahmen einer Informatiksystemtechnik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997 Tochtermann, Klaus [Author] Ein Modell für Hypermedia : Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1995 Published in: Berichte aus der Informatik Weißhahn, Guido [Author]; Rönsch, Torsten [Author]; Sachsen, Pierre [Author] Entscheidungsunterstützung / 1, Multiattributive Nutzentheorie und Formale Begriffsanalyse Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Inst. für Allgemeine Psychologie u. Methoden d. Psychologie, 1998 Published in: Entscheidungsunterstützung / Guido Weißhahn; Torsten Rönsch; Pierre Sachse ; 1 - Technische Universität Dresden: Forschungsberichte ; 52 König, Hartmut [Author] Protocol Engineering : Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2003 Published in: Leitfäden der Informatik Boiten, Eerke [Other]; Boiten, Eerke A. [Editor] ; IFM 4 2004 Canterbury Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2999 Eirund, Helmut [Author]; Müller, Bernd [Author]; Schreiber, Gerlinde [Author] Formale Beschreibungsverfahren der Informatik : ein Arbeitsbuch für die Praxis - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig [u.a.]: Teubner, 2000 Published in: Informatik & Praxis 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 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 Hußmann, Heinrich [Author] Formal foundations for software engineering methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1322 Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author] Software design for resilient computer systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2016] Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6154
Monin, Jean-François [Author]; Monin, Jean François [Author] ; Hinchey, Michael Gerard [Other] Understanding formal methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2003
Krieg-Brückner, Bernd [Other] ; Universität Bremen Fachbereich Mathematik, Informatik UniForM workbench : universelle Entwicklungsumgebung für formale Methoden Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Univ., Fachbereich Mathematik und Informatik, 1995 Published in: Informatik ; 95,8
Ford, Neville J. [Author]; Ford, Judith M. [Author] Introducing formal methods : a less mathematical approach - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY [u.a.]: Ellis Horwood, 1993 Published in: Ellis Horwood series in computers and their applications
Tamminga, Allard [Author] ; Riedel, Katharina [Editor] Universität Greifswald Formale Methoden in der philosophischen Forschung : Antrittsvorlesung an der Universität Greifswald Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Greifswald: Universität Greifswald, 2023 Published in: Greifswalder Universitätsreden ; NF,156
Priami, Corrado [Editor] Transactions on Computational Systems Biology / 12, Special issue on modeling methodologies / Corrado Priami ... (ed.) Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Transactions on Computational Systems Biology ; 12 - Lecture notes in computer science ; 5945
Spies, Katharina [Author] Eine Methode zur formalen Modellierung von Betriebssystemkonzepten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: SFB 342, 1998 Published in: Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / A ; 98,3 - Technische Universität München: Institut für Informatik, Technische Universität München ; 98,9
Peleska, Jan [Author] Formal methods and the development of dependable systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612
Voss, Markus [Author] Systemobjektorientierte strukturierte Analyse und dienstorientierter Entwurf als Konstruktionsmethodik im Rahmen einer Informatiksystemtechnik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997
Tochtermann, Klaus [Author] Ein Modell für Hypermedia : Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1995 Published in: Berichte aus der Informatik
Weißhahn, Guido [Author]; Rönsch, Torsten [Author]; Sachsen, Pierre [Author] Entscheidungsunterstützung / 1, Multiattributive Nutzentheorie und Formale Begriffsanalyse Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Inst. für Allgemeine Psychologie u. Methoden d. Psychologie, 1998 Published in: Entscheidungsunterstützung / Guido Weißhahn; Torsten Rönsch; Pierre Sachse ; 1 - Technische Universität Dresden: Forschungsberichte ; 52
König, Hartmut [Author] Protocol Engineering : Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2003 Published in: Leitfäden der Informatik
Boiten, Eerke [Other]; Boiten, Eerke A. [Editor] ; IFM 4 2004 Canterbury Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2999
Eirund, Helmut [Author]; Müller, Bernd [Author]; Schreiber, Gerlinde [Author] Formale Beschreibungsverfahren der Informatik : ein Arbeitsbuch für die Praxis - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig [u.a.]: Teubner, 2000 Published in: Informatik & Praxis
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
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
Hußmann, Heinrich [Author] Formal foundations for software engineering methods Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1322
Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author] Software design for resilient computer systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2016]
Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6154
> Media type Skip to next facet Articles (5.436) Wert ausschließen Books (2.185) Wert ausschließen Thesis (201) Wert ausschließen Conference Proceedings (19) Wert ausschließen Journals / Newspapers / Series (14) Wert ausschließen Standards (7) Wert ausschließen Electronic Resources (4) Wert ausschließen Videos (4) Wert ausschließen Microforms (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (137) Wert ausschließen Stack Collection (550) Wert ausschließen Ask for availability (21) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (516) Wert ausschließen Central Library (170) Wert ausschließen Branch Library of Educationen (16) Wert ausschließen TU Dresden holdings (14) Wert ausschließen Branch Library of Law (6) Wert ausschließen Branch Library of Medicine (2) Wert ausschließen Branch Library of Forestry (2) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (30) Wert ausschließen Attribution (CC BY) (23) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (10) Wert ausschließen In Copyright - Non-commercial Use Permitted (8) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (3) Wert ausschließen Attribution - Share Alike (CC BY-SA) (3) Wert ausschließen Public Domain Mark - No Copyright (3) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1.219) Wert ausschließen Restricted Access (17) Wert ausschließen Without Specification (5.956) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (4.668) Wert ausschließen English (2.840) Wert ausschließen German (297) Wert ausschließen French (70) Wert ausschließen Russian (14) Wert ausschließen Spanish (9) Wert ausschließen Latin (5) Wert ausschließen Chinese (4) Wert ausschließen Czech (3) Wert ausschließen Portuguese (3) Wert ausschließen Ndonga (2) Wert ausschließen Romanian (2) Wert ausschließen Japanese (1) Wert ausschließen Polish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1.479) Wert ausschließen Mathmatics (572) Wert ausschließen Technology (381) Wert ausschließen Philosophy (121) Wert ausschließen General (102) Wert ausschließen Physics (99) Wert ausschließen Economics (97) Wert ausschließen Chemistry and pharmacology (68) Wert ausschließen Sociology (55) Wert ausschließen Medicine (50) Wert ausschließen Pedagogy (44) Wert ausschließen Psychology (39) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (38) Wert ausschließen Geography (33) Wert ausschließen Theology and religious studies (32) Wert ausschließen Biology (29) Wert ausschließen Art and art history (29) Wert ausschließen History (25) Wert ausschließen Political science (18) Wert ausschließen General sciences (16) Wert ausschließen Jurisprudence (16) Wert ausschließen Musicology (10) Wert ausschließen Geology and paleontology (4) Wert ausschließen Ethnology and ethnography (2) Wert ausschließen Germanic and Scandinavian studies (2) Wert ausschließen Classical archaeology (2) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (2) Wert ausschließen Slavic studies (2) Wert ausschließen Byzantine studies (1) Wert ausschließen Military science (1) Wert ausschließen Show more show less
> Creator Skip to next facet Steffen, Bernhard (102) Wert ausschließen Liu, Shaoying (59) Wert ausschließen Association for Computing Machinery (58) Wert ausschließen Institute of Electrical and Electronics Engineers (55) Wert ausschließen Sun, Jun (55) Wert ausschließen Legay, Axel (51) Wert ausschließen ter Beek, Maurice H. (51) Wert ausschließen Dong, Jin Song (48) Wert ausschließen Woodcock, Jim (48) Wert ausschließen Margaria, Tiziana (47) Wert ausschließen Gnesi, Stefania (42) Wert ausschließen Johnsen, Einar Broch (42) Wert ausschließen Association for Computing Machinery-Digital Library (41) Wert ausschließen Leuschel, Michael (40) Wert ausschließen Liu, Yang (39) Wert ausschließen Duan, Zhenhua (38) Wert ausschließen Hähnle, Reiner (38) Wert ausschließen Cavalcanti, Ana (37) Wert ausschließen Cerone, Antonio (36) Wert ausschließen Butler, Michael (35) Wert ausschließen Schaefer, Ina (34) Wert ausschließen ACM Special Interest Group on Software Engineering (33) Wert ausschließen Beckert, Bernhard (33) Wert ausschließen Fantechi, Alessandro (33) Wert ausschließen Huisman, Marieke (33) Wert ausschließen Wehrheim, Heike (32) Wert ausschließen Vardi, Moshe Y. (31) Wert ausschließen World Bank (31) Wert ausschließen Larsen, Peter Gorm (30) Wert ausschließen Nierstrasz, Oscar (28) Wert ausschließen Bernardo, Marco (27) Wert ausschließen Tian, Cong (27) Wert ausschließen Weikum, Gerhard (27) Wert ausschließen Havelund, Klaus (26) Wert ausschließen Liu, Zhiming (26) Wert ausschließen Mitchell, John C. (26) Wert ausschließen Reif, Wolfgang (26) Wert ausschließen Wirsing, Martin (26) Wert ausschließen Hutchison, David (25) Wert ausschließen Kanade, Takeo (25) Wert ausschließen Kittler, Josef (25) Wert ausschließen Kleinberg, Jon (25) Wert ausschließen Mattern, Friedemann (25) Wert ausschließen Naor, Moni (25) Wert ausschließen Pandu Rangan, C. (25) Wert ausschließen Sudan, Madhu (25) Wert ausschließen Terzopoulos, Demetri (25) Wert ausschließen Tygar, Doug (25) Wert ausschließen Beyer, Dirk (24) Wert ausschließen Aichernig, Bernhard K. (23) Wert ausschließen Bensalem, Saddek (23) Wert ausschließen Ferrari, Alessio (23) Wert ausschließen Qin, Shengchao (23) Wert ausschließen Schneider, Gerardo (23) Wert ausschließen De Nicola, Rocco (22) Wert ausschließen Derrick, John (22) Wert ausschließen IEEE Computer Society (22) Wert ausschließen Leucker, Martin (22) Wert ausschließen Ahrendt, Wolfgang (21) Wert ausschließen Howar, Falk (21) Wert ausschließen Maibaum, Tom (21) Wert ausschließen Hermanns, Holger (20) Wert ausschließen Larsen, Kim G. (20) Wert ausschließen Bonsangue, Marcello M. (19) Wert ausschließen Bozga, Marius (19) Wert ausschließen Chin, Wei-Ngan (19) Wert ausschließen Méry, Dominique (19) Wert ausschließen Sampaio, Augusto (19) Wert ausschließen Zhu, Huibiao (19) Wert ausschließen Barthe, Gilles (18) Wert ausschließen Bowen, Jonathan P. (18) Wert ausschließen Jones, Cliff B. (18) Wert ausschließen Larsen, Kim Guldstrand (18) Wert ausschließen Peled, Doron (18) Wert ausschließen Steffen, Martin (18) Wert ausschließen Zavattaro, Gianluigi (18) Wert ausschließen Abrial, Jean-Raymond (17) Wert ausschließen Baier, Christel (17) Wert ausschließen Graf, Susanne (17) Wert ausschließen Haxthausen, Anne E. (17) Wert ausschließen Katoen, Joost-Pieter (17) Wert ausschließen Salaün, Gwen (17) Wert ausschließen Seceleanu, Cristina (17) Wert ausschließen Ábrahám, Erika (17) Wert ausschließen ACM Special Interest Group on Design Automation (16) Wert ausschließen Basile, Davide (16) Wert ausschließen Bravetti, Mario (16) Wert ausschließen Broy, Manfred (16) Wert ausschließen Cimatti, Alessandro (16) Wert ausschließen Finkbeiner, Bernd (16) Wert ausschließen Kowalewski, Stefan (16) Wert ausschließen Margaria-Steffen, Tiziana (16) Wert ausschließen Ogata, Kazuhiro (16) Wert ausschließen Peleska, Jan (16) Wert ausschließen Schlatte, Rudolf (16) Wert ausschließen Smith, Graeme (16) Wert ausschließen Tahar, Sofiène (16) Wert ausschließen Wang, Xiaobing (16) Wert ausschließen Ölveczky, Peter Csaba (16) Wert ausschließen International Association for Computer and Information Science (15) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (2.342) Wert ausschließen Verbunddaten SWB (1.822) Wert ausschließen Springer International Publishing (CrossRef) (1.787) Wert ausschließen BASE - Bielefeld Academic Search Engine (359) Wert ausschließen Lizenzfreie Online-Ressourcen (227) Wert ausschließen Elsevier BV (CrossRef) (169) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (163) Wert ausschließen theses.fr (150) Wert ausschließen Springer Nature Switzerland (CrossRef) (143) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (139) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (118) Wert ausschließen Diss online (114) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (85) Wert ausschließen Wiley (CrossRef) (64) Wert ausschließen Open Publishing Association (CrossRef) (52) Wert ausschließen DOAJ Directory of Open Access Journals (40) Wert ausschließen SAGE Publications (CrossRef) (40) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (36) Wert ausschließen Informa UK Limited (CrossRef) (34) Wert ausschließen Oxford University Press (OUP) (CrossRef) (33) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (28) Wert ausschließen Springer Nature Singapore (CrossRef) (24) Wert ausschließen IOP Publishing (CrossRef) (16) Wert ausschließen JSTOR Arts & Sciences II Archive (16) Wert ausschließen American Chemical Society (ACS) (CrossRef) (15) Wert ausschließen MDPI AG (CrossRef) (14) Wert ausschließen Scientific publications of the Saarland University (UdS) (13) Wert ausschließen Hindawi Limited (CrossRef) (11) Wert ausschließen JSTOR Mathematics & Statistics (11) Wert ausschließen Augsburg University Publication Server (OPUS) (10) Wert ausschließen JSTOR (CrossRef) (10) Wert ausschließen ETH Zürich Research Collection (9) Wert ausschließen Qucosa (9) Wert ausschließen EconStor (German National Library of Economics, ZBW) (8) Wert ausschließen Elsevier (CrossRef) (8) Wert ausschließen Emerald (CrossRef) (8) Wert ausschließen JSTOR Arts & Sciences I Archive (8) Wert ausschließen SPIE (CrossRef) (8) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (8) Wert ausschließen JSTOR Arts & Sciences III Archive (7) Wert ausschließen National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (CrossRef) (7) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (7) Wert ausschließen SSOAR Social Science Open Access Repository (7) Wert ausschließen Foundation of Computer Science (CrossRef) (6) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (6) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (6) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (6) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (5) Wert ausschließen Research Institute of Signal Processing, Japan (CrossRef) (5) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (5) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (5) Wert ausschließen AIP Publishing (CrossRef) (4) Wert ausschließen ASME International (CrossRef) (4) Wert ausschließen Eighteenth Century Collections Online / ECCO (4) Wert ausschließen Eldorado - Repositorium der TU Dortmund (4) Wert ausschließen IOS Press (CrossRef) (4) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (4) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (4) Wert ausschließen JSTOR Language & Literature Archive (4) Wert ausschließen Korean Institute of Information Scientists and Engineers (CrossRef) (4) Wert ausschließen Nautos (ISO-Normen) (4) Wert ausschließen Academy and Industry Research Collaboration Center (AIRCC) (CrossRef) (3) Wert ausschließen EDP Sciences (CrossRef) (3) Wert ausschließen F1000 Research Ltd (CrossRef) (3) Wert ausschließen Frontiers Media SA (CrossRef) (3) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (3) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (3) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (3) Wert ausschließen National Library of Serbia (CrossRef) (3) Wert ausschließen Obuda University (CrossRef) (3) Wert ausschließen OpenEdition (CrossRef) (3) Wert ausschließen The Society of Instrument and Control Engineers (CrossRef) (3) Wert ausschließen Weierstrass Institute for Applied Analysis and Stochastics publication server (3) Wert ausschließen ACM Press (CrossRef) (2) Wert ausschließen ASTES Journal (CrossRef) (2) Wert ausschließen Allerton Press (CrossRef) (2) Wert ausschließen American Astronomical Society (CrossRef) (2) Wert ausschließen American Physical Society (APS) (CrossRef) (2) Wert ausschließen BMJ (CrossRef) (2) Wert ausschließen Duke University Press (CrossRef) (2) Wert ausschließen Hans Publishers (CrossRef) (2) Wert ausschließen IGI Global (CrossRef) (2) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (2) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (2) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (2) Wert ausschließen JSTOR Arts & Sciences VII Archive (2) Wert ausschließen JSTOR Arts & Sciences VIII Archive (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen MACAU: Open Access Repository of Kiel University (2) Wert ausschließen Nautos (VDI-Normen) (2) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (2) Wert ausschließen Plekhanov Russian University of Economics (PRUE) (CrossRef) (2) Wert ausschließen Qucosa Technische Universität Dresden (2) Wert ausschließen Railway Technical Research Institute (CrossRef) (2) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (2) Wert ausschließen Scalable Computing: Practice and Experience (CrossRef) (2) Wert ausschließen Sächsische Bibliografie (2) Wert ausschließen The Science and Information Organization (CrossRef) (2) Wert ausschließen Tomsk State University (CrossRef) (2) Wert ausschließen Tsinghua University Press (CrossRef) (2) Wert ausschließen Show more show less