Skip to contents Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author] Verification of sequential and concurrent programs - [2. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1997 Published in: Graduate texts in computer science Alt, René [Editor] ; Seminar Numerical Software with Result Verification 2003 Dagstuhl Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers Books View online Schließen 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 ; 2991 Futschek, Gerald [Author] Programmentwicklung und Verifikation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wien [u.a.]: Springer, 1989 Published in: Springers angewandte Informatik Laski, Janusz [Author]; Stanley, William [Author] Software verification and analysis : an integrated, hands-on approach Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2009 Lewis, Robert O. [Author] Independent verification and validation : a life cycle engineering process for quality software Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Wiley, 1992 Published in: New dimensions in engineering Baier, Christel [Author]; Katoen, Joost-Pieter [Author] Principles of model checking Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2008 Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Books View online Schließen 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 ; 3576 Liggesmeyer, Peter [Author] Modultest und Modulverifikation : state of the art Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990 Published in: Angewandte Informatik ; 400 Spillner, Andreas [Author]; Linz, Tilo [Author] Basiswissen Softwaretest : Aus- und Weiterbildung zum Certified Tester ; Foundation Level nach ISTQB-Standard - [4., überarb. und aktualisierte Aufl.] Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: dpunkt-Verl., 2010 Broy, Manfred [Editor] KORSO: methods, languages, and tools for the construction of correct software : final report ; [a representative selection of work carried out in the project KORSO ("Korrekte Software")] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 1009 Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6504 Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1855 Backhouse, Roland C. [Author] Programmkonstruktion und Verifikation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989 Aichernig, Bernhard K. [Editor]; Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other] ; FMCO 9 2010 Graz Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6957 Yorav, Karen [Editor] ; International Haifa Verification Conference 3 2007 Haifa Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4899 Alur, Rajeev [Editor]; Peled, Doron A. [Other] ; CAV 16 2004 Boston, Mass Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings Books View online Schließen 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 ; 3114 Namjoshi, Kedar S. [Editor] ; International Haifa Verification Conference 5 2009 Haifa Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers Books View online Schließen 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 ; 6405 Chockler, Hana [Editor]; Hu, Alan J. [Other] ; International Haifa Verification Conference 4 2008 Haifa Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5394 Kersten, Heinrich [Editor] ; Zentralstelle für Sicherheit in der Informationstechnik Bonn Sichere Software : formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, 1990 Bouajjani, Ahmed [Editor]; Maler, Oded [Other] ; CAV 21 2009 Grenoble Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5643
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author] Verification of sequential and concurrent programs - [2. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1997 Published in: Graduate texts in computer science
Alt, René [Editor] ; Seminar Numerical Software with Result Verification 2003 Dagstuhl Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers Books View online Schließen 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 ; 2991
Futschek, Gerald [Author] Programmentwicklung und Verifikation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wien [u.a.]: Springer, 1989 Published in: Springers angewandte Informatik
Laski, Janusz [Author]; Stanley, William [Author] Software verification and analysis : an integrated, hands-on approach Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2009
Lewis, Robert O. [Author] Independent verification and validation : a life cycle engineering process for quality software Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Wiley, 1992 Published in: New dimensions in engineering
Baier, Christel [Author]; Katoen, Joost-Pieter [Author] Principles of model checking Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2008
Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Books View online Schließen 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 ; 3576
Liggesmeyer, Peter [Author] Modultest und Modulverifikation : state of the art Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990 Published in: Angewandte Informatik ; 400
Spillner, Andreas [Author]; Linz, Tilo [Author] Basiswissen Softwaretest : Aus- und Weiterbildung zum Certified Tester ; Foundation Level nach ISTQB-Standard - [4., überarb. und aktualisierte Aufl.] Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: dpunkt-Verl., 2010
Broy, Manfred [Editor] KORSO: methods, languages, and tools for the construction of correct software : final report ; [a representative selection of work carried out in the project KORSO ("Korrekte Software")] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 1009
Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6504
Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1855
Backhouse, Roland C. [Author] Programmkonstruktion und Verifikation Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989
Aichernig, Bernhard K. [Editor]; Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other] ; FMCO 9 2010 Graz Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6957
Yorav, Karen [Editor] ; International Haifa Verification Conference 3 2007 Haifa Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4899
Alur, Rajeev [Editor]; Peled, Doron A. [Other] ; CAV 16 2004 Boston, Mass Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings Books View online Schließen 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 ; 3114
Namjoshi, Kedar S. [Editor] ; International Haifa Verification Conference 5 2009 Haifa Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers Books View online Schließen 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 ; 6405
Chockler, Hana [Editor]; Hu, Alan J. [Other] ; International Haifa Verification Conference 4 2008 Haifa Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5394
Kersten, Heinrich [Editor] ; Zentralstelle für Sicherheit in der Informationstechnik Bonn Sichere Software : formale Spezifikation und Verifikation vertrauenswürdiger Systeme; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, 1990
Bouajjani, Ahmed [Editor]; Maler, Oded [Other] ; CAV 21 2009 Grenoble Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5643
> Media type Skip to next facet Articles (3.559) Wert ausschließen Books (1.026) Wert ausschließen Thesis (85) Wert ausschließen Standards (62) Wert ausschließen Conference Proceedings (27) Wert ausschließen Electronic Resources (17) Wert ausschließen Journals / Newspapers / Series (2) Wert ausschließen Videos (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (13) Wert ausschließen Stack Collection (127) Wert ausschließen Ask for availability (9) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (138) Wert ausschließen Central Library (7) Wert ausschließen TU Dresden holdings (4) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (78) Wert ausschließen In Copyright (71) 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) (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1.088) Wert ausschließen Restricted Access (65) Wert ausschließen Without Specification (3.485) Wert ausschließen Show more show less
> Language Skip to next facet English (2.878) Wert ausschließen Not determined (1.829) Wert ausschließen German (61) Wert ausschließen French (14) Wert ausschließen Ndonga (11) Wert ausschließen Chinese (5) Wert ausschließen Russian (2) Wert ausschließen Arabic (1) Wert ausschließen Persian (1) Wert ausschließen Romanian (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2.731) Wert ausschließen Technology (1.066) Wert ausschließen Mathmatics (907) Wert ausschließen Physics (429) Wert ausschließen General (170) Wert ausschließen Economics (40) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (37) Wert ausschließen Medicine (28) Wert ausschließen Art and art history (16) Wert ausschließen Chemistry and pharmacology (13) Wert ausschließen Pedagogy (13) Wert ausschließen Philosophy (12) Wert ausschließen Biology (10) Wert ausschließen Geography (10) Wert ausschließen Jurisprudence (10) Wert ausschließen General sciences (7) Wert ausschließen Sociology (7) Wert ausschließen Geology and paleontology (5) Wert ausschließen Political science (2) Wert ausschließen American studies (1) Wert ausschließen History (1) Wert ausschließen Show more show less
> Creator Skip to next facet Association for Computing Machinery (148) Wert ausschließen ACM Special Interest Group on Software Engineering (111) Wert ausschließen ACM Special Interest Group on Programming Languages (91) Wert ausschließen Association for Computing Machinery-Digital Library (68) Wert ausschließen Steffen, Bernhard (41) Wert ausschließen Beckert, Bernhard (38) Wert ausschließen Institute of Electrical and Electronics Engineers (36) Wert ausschließen ISO International Organization for Standardization (35) Wert ausschließen ISO Internationale Organisation für Normung (35) Wert ausschließen ISO Organisation Internationale de Normalisation (35) Wert ausschließen Beyer, Dirk (33) Wert ausschließen Müller, Peter (31) Wert ausschließen World Bank (29) Wert ausschließen Reif, Wolfgang (26) Wert ausschließen Huisman, Marieke (24) Wert ausschließen DIN Deutsches Institut für Normung e. V. (23) Wert ausschließen DIN German Institute for Standardization (23) Wert ausschließen Peled, Doron (23) Wert ausschließen CEI Commission Electrotechnique Internationale (20) Wert ausschließen IEC International Electrotechnical Commission (20) Wert ausschließen IEC Internationale Elektrotechnische Kommission (20) Wert ausschließen Kroening, Daniel (20) Wert ausschließen Margaria, Tiziana (20) Wert ausschließen Hähnle, Reiner (19) Wert ausschließen IEEE Computer Society (19) Wert ausschließen Schaefer, Ina (19) Wert ausschließen Ulbrich, Mattias (19) Wert ausschließen World Bank Group (19) Wert ausschließen Havelund, Klaus (18) Wert ausschließen Majumdar, Rupak (18) Wert ausschließen ACM SIGs (17) Wert ausschließen ACM Special Interest Group on Embedded Systems (17) Wert ausschließen Legay, Axel (17) Wert ausschließen Schellhorn, Gerhard (17) Wert ausschließen Chockler, Hana (16) Wert ausschließen International Finance Corporation (16) Wert ausschließen Leino, K. Rustan M. (16) Wert ausschließen Sharygina, Natasha (16) Wert ausschließen ACM Special Interest Group on Design Automation (15) Wert ausschließen Wehrheim, Heike (15) Wert ausschließen Gurov, Dilian (14) Wert ausschließen Meyer, Bertrand (14) Wert ausschließen Vardi, Moshe Y. (14) Wert ausschließen Weissenbacher, Georg (14) Wert ausschließen Ahrendt, Wolfgang (13) Wert ausschließen Bubel, Richard (13) Wert ausschließen Podelski, Andreas (13) Wert ausschließen Wang, Chao (13) Wert ausschließen Barthe, Gilles (12) Wert ausschließen Jhala, Ranjit (12) Wert ausschließen Nepomniaschy, V. A. (12) Wert ausschließen Ball, Thomas (11) Wert ausschließen Biere, Armin (11) Wert ausschließen Bloem, Roderick (11) Wert ausschließen Bultan, Tevfik (11) Wert ausschließen Chaki, Sagar (11) Wert ausschließen Jacobs, Bart (11) Wert ausschließen Leavens, Gary T. (11) Wert ausschließen Leucker, Martin (11) Wert ausschließen Marché, Claude (11) Wert ausschließen Sun, Jun (11) Wert ausschließen Alur, Rajeev (10) Wert ausschließen Anureev, I. S. (10) Wert ausschließen Bartocci, Ezio (10) Wert ausschließen Bensalem, Saddek (10) Wert ausschließen Bouajjani, Ahmed (10) Wert ausschließen Chin, Wei-Ngan (10) Wert ausschließen Falcone, Yliès (10) Wert ausschließen Gurfinkel, Arie (10) Wert ausschließen Holzmann, Gerard J. (10) Wert ausschließen IEEE Computer Society Design Automation Technical Committee (10) Wert ausschließen Kittler, Josef (10) Wert ausschließen Klebanov, Vladimir (10) Wert ausschließen Kröning, Daniel (10) Wert ausschließen Kwiatkowska, Marta (10) Wert ausschließen Margaria-Steffen, Tiziana (10) Wert ausschließen Veith, Helmut (10) Wert ausschließen ACM Special Interest Group on Security, Audit, and Control (9) Wert ausschließen Bozga, Marius (9) Wert ausschließen Cimatti, Alessandro (9) Wert ausschließen Damiani, Ferruccio (9) Wert ausschließen Gupta, Aarti (9) Wert ausschließen Hatcliff, John (9) Wert ausschließen Hunt, Warren A. (9) Wert ausschließen Huuck, Ralf (9) Wert ausschließen Liu, Yang (9) Wert ausschließen Ziv, Avi (9) Wert ausschließen ACM Special Interest Group on Simulation and Modeling (8) Wert ausschließen Alkassar, Eyad (8) Wert ausschließen Basin, David A. (8) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (8) Wert ausschließen Dong, Jin Song (8) Wert ausschließen Finkbeiner, Bernd (8) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (8) Wert ausschließen Hermanns, Holger (8) Wert ausschließen Hutchison, David (8) Wert ausschließen Kanade, Takeo (8) Wert ausschließen Kleinberg, Jon (8) Wert ausschließen Lal, Akash (8) Wert ausschließen Leroy, Xavier (8) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (912) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (687) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (605) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (430) Wert ausschließen Springer International Publishing (CrossRef) (383) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (298) Wert ausschließen BASE - Bielefeld Academic Search Engine (273) Wert ausschließen Elsevier BV (CrossRef) (205) Wert ausschließen Lizenzfreie Online-Ressourcen (167) Wert ausschließen Wiley (CrossRef) (113) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (95) Wert ausschließen ETH Zürich Research Collection (81) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (57) Wert ausschließen Springer Nature Switzerland (CrossRef) (53) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (51) Wert ausschließen Informa UK Limited (CrossRef) (46) Wert ausschließen Diss online (45) Wert ausschließen Allerton Press (CrossRef) (38) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (38) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (37) Wert ausschließen Nautos (ISO-Normen) (35) Wert ausschließen theses.fr (32) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (29) Wert ausschließen Oxford University Press (OUP) (CrossRef) (27) Wert ausschließen SAGE Publications (CrossRef) (27) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (24) Wert ausschließen IOP Publishing (CrossRef) (23) Wert ausschließen Nautos (DIN-Normen) (23) Wert ausschließen Hindawi Limited (CrossRef) (17) Wert ausschließen DOAJ Directory of Open Access Journals (16) Wert ausschließen MDPI AG (CrossRef) (15) Wert ausschließen IOS Press (CrossRef) (14) Wert ausschließen IGI Global (CrossRef) (12) Wert ausschließen Open Publishing Association (CrossRef) (11) Wert ausschließen Science Publications (CrossRef) (11) Wert ausschließen SPIE (CrossRef) (10) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (10) Wert ausschließen UK Simulation Society (CrossRef) (10) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (9) Wert ausschließen Springer Nature Singapore (CrossRef) (8) Wert ausschließen ACTA Press (CrossRef) (7) Wert ausschließen AITO - Association Internationale pour les Technologies Objets (CrossRef) (7) Wert ausschließen ASME International (CrossRef) (7) Wert ausschließen EDP Sciences (CrossRef) (7) Wert ausschließen AIP Publishing (CrossRef) (6) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (6) Wert ausschließen MECS Publisher (CrossRef) (6) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (5) Wert ausschließen Japanese Society for Artificial Intelligence (CrossRef) (5) Wert ausschließen Norwegian Society of Automatic Control (CrossRef) (5) Wert ausschließen Scientific publications of the Saarland University (UdS) (5) Wert ausschließen Emerald (CrossRef) (4) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (4) Wert ausschließen MACAU: Open Access Repository of Kiel University (4) Wert ausschließen NeuroQuantology Journal (CrossRef) (4) Wert ausschließen Academy and Industry Research Collaboration Center (AIRCC) (CrossRef) (3) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (3) Wert ausschließen International Information and Engineering Technology Association (CrossRef) (3) Wert ausschließen JSTOR Mathematics & Statistics (3) Wert ausschließen Medknow (CrossRef) (3) Wert ausschließen National Technical University Kharkiv Polytechnic Institute (CrossRef) (3) Wert ausschließen Nautos (VDI-Normen) (3) Wert ausschließen Qucosa (3) Wert ausschließen Slovenian Association Informatika (CrossRef) (3) Wert ausschließen Augsburg University Publication Server (OPUS) (2) Wert ausschließen Author(s) (CrossRef) (2) Wert ausschließen Canadian Center of Science and Education (CrossRef) (2) Wert ausschließen Centre for Evaluation in Education and Science (CEON/CEES) (CrossRef) (2) Wert ausschließen Copernicus GmbH (CrossRef) (2) Wert ausschließen EJournal Publishing (CrossRef) (2) Wert ausschließen Engineering and Technology Publishing (CrossRef) (2) Wert ausschließen IACSIT Press (CrossRef) (2) Wert ausschließen International Research Publication House (CrossRef) (2) Wert ausschließen JSTOR Health & General Sciences (2) Wert ausschließen JSTOR Life Sciences Archive (2) Wert ausschließen Japan Society for Occupational Health (CrossRef) (2) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (2) Wert ausschließen Korea Information Processing Society (CrossRef) (2) Wert ausschließen Kuban State Agrarian University (CrossRef) (2) Wert ausschließen Moscow State University of Civil Engineering (CrossRef) (2) Wert ausschließen National Aerospace University - Kharkiv Aviation Institute (CrossRef) (2) Wert ausschließen Pensoft Publishers (CrossRef) (2) Wert ausschließen Periodica Polytechnica Budapest University of Technology and Economics (CrossRef) (2) Wert ausschließen Ryazan State Radio Engineering University RSREU (CrossRef) (2) Wert ausschließen SPIIRAS (CrossRef) (2) Wert ausschließen Science Alert (CrossRef) (2) Wert ausschließen Science and Education of the Bauman MSTU (CrossRef) (2) Wert ausschließen The Korea Navigation Institute (CrossRef) (2) Wert ausschließen The Robotics Society of Japan (CrossRef) (2) Wert ausschließen The Royal Society (CrossRef) (2) Wert ausschließen University of Szeged (CrossRef) (2) Wert ausschließen A.P. Ershov Institute of Informatics Systems SB RAS (CrossRef) (1) Wert ausschließen AGHU University of Science and Technology Press (CrossRef) (1) Wert ausschließen Abschlussarbeiten der TU Dresden (1) Wert ausschließen Academy Publisher (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Institute of Aeronautics and Astronautics (AIAA) (CrossRef) (1) Wert ausschließen Asociatia Pentru Inginerie Integrata si Management Industrial (CrossRef) (1) Wert ausschließen Bauman Moscow State Technical University (CrossRef) (1) Wert ausschließen Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP (CrossRef) (1) Wert ausschließen Show more show less