Zum Inhalt springen Loeckx, Jacques [VerfasserIn]; Sieber, Kurt [VerfasserIn] The foundations of program verification - [2. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Stuttgart [u.a.]: Teubner [u.a.], 1987 Erschienen in: Wiley-Teubner series in computer science Apt, Krzysztof R. [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn] Programmverifikation : sequentielle, parallele und verteilte Programme Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1994 Erschienen in: Springer-Lehrbuch Futschek, Gerald [VerfasserIn] Programmentwicklung und Verifikation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wien [u.a.]: Springer, 1989 Erschienen in: Springers angewandte Informatik Hammer, Rolf [Sonstige Person, Familie und Körperschaft] C++ toolbox for verified computing Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 19XX- Alt, René [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 2991 Backhouse, Roland C. [VerfasserIn] ; Backhouse, Roland Carl [Sonstige Person, Familie und Körperschaft] Program construction and verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986 Erschienen in: Prentice-Hall international series in computer science Polak, Wolfgang [VerfasserIn] Compiler specification and verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1981 Erschienen in: Lecture notes in computer science ; 124 Etessami, Kousha [HerausgeberIn]; Rajamani, Sriram K. [Sonstige Person, Familie und Körperschaft] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3576 Yahav, Eran [HerausgeberIn] ; SAS 18 2011 Venedig Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6887 Emerson, E. Allen [HerausgeberIn]; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: Lecture notes in computer science ; 1855 Alur, Rajeev [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft] ; CAV 16 2004 Boston, Mass Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3114 Bradley, Aaron R. [VerfasserIn]; Manna, Zohar [VerfasserIn] The calculus of computation : decision procedures with applications to verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2007 Halbwachs, Nicolas [HerausgeberIn] ; CAV 11 1999 Trient Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1633 Schellhorn, Gerhard [VerfasserIn]; Reif, Wolfgang [VerfasserIn] Theorems from compiler verification : a problem set for automated theorem provers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1998 Erschienen in: Ulmer Informatik-Berichte ; 98,13 Courcoubetis, Costas [HerausgeberIn] ; CAV 5 1993 Elounda Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1993 Erschienen in: Lecture notes in computer science ; 697 Baber, Robert Laurence [VerfasserIn] Fehlerfreie Programmierung für den Software-Zauberlehrling Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München; Wien: Oldenbourg, 1990 Backhouse, Roland C. [VerfasserIn] Programmkonstruktion und Verifikation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989 Yoeli, Michael [VerfasserIn]; Kol, Rakefet [VerfasserIn] Verification of systems and circuits using LOTOS, Petri Nets, and CCS Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley-Interscience, c2008 Erschienen in: Wiley series on parallel and distributed computing Alur, Rajeev [HerausgeberIn] ; CAV 8 1996 New Brunswick, NJ Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 1996 Erschienen in: Lecture notes in computer science ; 1102 Wolper, Pierre [HerausgeberIn] ; CAV 7 1995 Lüttich Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1995 Erschienen in: Lecture notes in computer science ; 939
Loeckx, Jacques [VerfasserIn]; Sieber, Kurt [VerfasserIn] The foundations of program verification - [2. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Stuttgart [u.a.]: Teubner [u.a.], 1987 Erschienen in: Wiley-Teubner series in computer science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Apt, Krzysztof R. [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn] Programmverifikation : sequentielle, parallele und verteilte Programme Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1994 Erschienen in: Springer-Lehrbuch
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Futschek, Gerald [VerfasserIn] Programmentwicklung und Verifikation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wien [u.a.]: Springer, 1989 Erschienen in: Springers angewandte Informatik
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hammer, Rolf [Sonstige Person, Familie und Körperschaft] C++ toolbox for verified computing Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 19XX-
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alt, René [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 2991
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Backhouse, Roland C. [VerfasserIn] ; Backhouse, Roland Carl [Sonstige Person, Familie und Körperschaft] Program construction and verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986 Erschienen in: Prentice-Hall international series in computer science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Polak, Wolfgang [VerfasserIn] Compiler specification and verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1981 Erschienen in: Lecture notes in computer science ; 124
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Etessami, Kousha [HerausgeberIn]; Rajamani, Sriram K. [Sonstige Person, Familie und Körperschaft] ; CAV 17 2005 Edinburgh Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3576
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Yahav, Eran [HerausgeberIn] ; SAS 18 2011 Venedig Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6887
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Emerson, E. Allen [HerausgeberIn]; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft] ; CAV 12 2000 Chicago, Ill Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: Lecture notes in computer science ; 1855
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alur, Rajeev [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft] ; CAV 16 2004 Boston, Mass Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2004 Erschienen in: Lecture notes in computer science ; 3114
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bradley, Aaron R. [VerfasserIn]; Manna, Zohar [VerfasserIn] The calculus of computation : decision procedures with applications to verification Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Halbwachs, Nicolas [HerausgeberIn] ; CAV 11 1999 Trient Computer aided verification : 11th international conference ; CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1999 Erschienen in: Lecture notes in computer science ; 1633
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schellhorn, Gerhard [VerfasserIn]; Reif, Wolfgang [VerfasserIn] Theorems from compiler verification : a problem set for automated theorem provers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1998 Erschienen in: Ulmer Informatik-Berichte ; 98,13
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Courcoubetis, Costas [HerausgeberIn] ; CAV 5 1993 Elounda Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1993 Erschienen in: Lecture notes in computer science ; 697
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baber, Robert Laurence [VerfasserIn] Fehlerfreie Programmierung für den Software-Zauberlehrling Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München; Wien: Oldenbourg, 1990
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Backhouse, Roland C. [VerfasserIn] Programmkonstruktion und Verifikation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Prentice-Hall Internat., 1989 ; München; Wien: Hanser, 1989
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Yoeli, Michael [VerfasserIn]; Kol, Rakefet [VerfasserIn] Verification of systems and circuits using LOTOS, Petri Nets, and CCS Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley-Interscience, c2008 Erschienen in: Wiley series on parallel and distributed computing
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alur, Rajeev [HerausgeberIn] ; CAV 8 1996 New Brunswick, NJ Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 1996 Erschienen in: Lecture notes in computer science ; 1102
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wolper, Pierre [HerausgeberIn] ; CAV 7 1995 Lüttich Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1995 Erschienen in: Lecture notes in computer science ; 939
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (1.494) Wert ausschließen Bücher (504) Wert ausschließen Hochschulschriften (92) Wert ausschließen Normen (45) Wert ausschließen Konferenzberichte (20) Wert ausschließen Videos (6) Wert ausschließen Elektronische Ressourcen (4) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (7) Wert ausschließen Magazinbestellung (76) Wert ausschließen Verfügbarkeit vor Ort erfragen (3) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (73) Wert ausschließen Zentralbibliothek (19) Wert ausschließen Bestand der TU Dresden (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (49) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (17) Wert ausschließen Namensnennung (CC BY) (8) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (6) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (779) Wert ausschließen Eingeschränkter Zugang (45) Wert ausschließen Ohne Angabe (1.257) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (1.297) Wert ausschließen Nicht zu entscheiden (812) Wert ausschließen Deutsch (38) Wert ausschließen Französisch (25) Wert ausschließen Russisch (10) Wert ausschließen Chinesisch (3) Wert ausschließen Spanisch (2) Wert ausschließen Tschechisch (1) Wert ausschließen Italienisch (1) Wert ausschließen Ndonga (1) Wert ausschließen Polnisch (1) Wert ausschließen Serbisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (763) Wert ausschließen Technik (174) Wert ausschließen Mathematik (143) Wert ausschließen Physik (57) Wert ausschließen Allgemeines (39) Wert ausschließen Wirtschaftswissenschaften (36) Wert ausschließen Medizin (34) Wert ausschließen Chemie und Pharmazie (19) Wert ausschließen Geographie (13) Wert ausschließen Biologie (11) Wert ausschließen Philosophie (11) Wert ausschließen Soziologie (6) Wert ausschließen Allgemeine Naturwissenschaft (2) Wert ausschließen Geologie und Paläontologie (2) Wert ausschließen Geschichte (2) Wert ausschließen Politologie (2) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen Pädagogik (1) Wert ausschließen Sport (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet ACM Special Interest Group on Programming Languages (57) Wert ausschließen Association for Computing Machinery (55) Wert ausschließen ACM Special Interest Group on Software Engineering (41) Wert ausschließen Beckert, Bernhard (31) Wert ausschließen Ulbrich, Mattias (28) Wert ausschließen Association for Computing Machinery-Digital Library (26) Wert ausschließen Huisman, Marieke (26) Wert ausschließen ISO International Organization for Standardization (24) Wert ausschließen ISO Internationale Organisation für Normung (24) Wert ausschließen ISO Organisation Internationale de Normalisation (24) Wert ausschließen Müller, Peter (24) Wert ausschließen Kobayashi, Naoki (22) Wert ausschließen Steffen, Bernhard (22) Wert ausschließen World Bank (22) Wert ausschließen DIN Deutsches Institut für Normung e. V. (20) Wert ausschließen DIN German Institute for Standardization (20) Wert ausschließen Bouajjani, Ahmed (18) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (16) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (16) Wert ausschließen Marché, Claude (14) Wert ausschließen Podelski, Andreas (14) Wert ausschließen Proietti, Maurizio (14) Wert ausschließen Beckert, B. (13) Wert ausschließen Cook, Byron (13) Wert ausschließen Jacobs, Bart (13) Wert ausschließen Katoen, Joost-Pieter (13) Wert ausschließen Kroening, Daniel (13) Wert ausschließen Majumdar, Rupak (13) Wert ausschließen Abdulla, Parosh Aziz (12) Wert ausschließen CEI Commission Electrotechnique Internationale (12) Wert ausschließen Herda, Mihai (12) Wert ausschließen IEC International Electrotechnical Commission (12) Wert ausschließen IEC Internationale Elektrotechnische Kommission (12) Wert ausschließen Qadeer, Shaz (12) Wert ausschließen Unno, Hiroshi (12) Wert ausschließen Barthe, Gilles (11) Wert ausschließen Chin, Wei-Ngan (11) Wert ausschließen Klebanov, Vladimir (11) Wert ausschließen Pettorossi, Alberto (11) Wert ausschließen Atig, Mohamed Faouzi (10) Wert ausschließen De Angelis, Emanuele (10) Wert ausschließen Fioravanti, Fabio (10) Wert ausschließen Vojnar, Tomáš (10) Wert ausschließen Bormer, Thorsten (9) Wert ausschließen Finkbeiner, Bernd (9) Wert ausschließen Gulwani, Sumit (9) Wert ausschließen Havelund, Klaus (9) Wert ausschließen Kuzmin, E. V. (9) Wert ausschließen Leino, K. Rustan M. (9) Wert ausschließen Lisitsa, Alexei (9) Wert ausschließen Meyer, Bertrand (9) Wert ausschließen Rosu, Grigore (9) Wert ausschließen Rybalchenko, Andrey (9) Wert ausschließen Schmitt, Peter H. (9) Wert ausschließen Sharygina, Natasha (9) Wert ausschließen Sokolov, V. A. (9) Wert ausschließen Darulova, Eva (8) Wert ausschließen Gopalakrishnan, Ganesh (8) Wert ausschließen Gurfinkel, Arie (8) Wert ausschließen Gurov, Dilian (8) Wert ausschließen Hähnle, Reiner (8) Wert ausschließen Iosif, Radu (8) Wert ausschließen Kaminski, Benjamin Lucien (8) Wert ausschließen Küsters, Ralf (8) Wert ausschließen Leavens, Gary T. (8) Wert ausschließen Margaria, Tiziana (8) Wert ausschließen Monahan, Rosemary (8) Wert ausschließen Peled, Doron (8) Wert ausschließen Scheben, Christoph (8) Wert ausschließen Siegel, Stephen F. (8) Wert ausschließen Strichman, Ofer (8) Wert ausschließen Vardi, Moshe Y. (8) Wert ausschließen ACM Special Interest Group on Algorithms and Computation Theory (7) Wert ausschließen Ahrendt, Wolfgang (7) Wert ausschließen Alur, Rajeev (7) Wert ausschließen Apt, Krzysztof R. (7) Wert ausschließen Beyer, Dirk (7) Wert ausschließen Bloem, Roderick (7) Wert ausschließen Cortesi, Agostino (7) Wert ausschließen Esparza, Javier (7) Wert ausschließen Grahl, Daniel (7) Wert ausschließen Jhala, Ranjit (7) Wert ausschließen Levi, Giorgio (7) Wert ausschließen Matheja, Christoph (7) Wert ausschließen Nemytykh, Andrei P. (7) Wert ausschließen Rümmer, Philipp (7) Wert ausschließen Sagiv, Mooly (7) Wert ausschließen Summers, Alexander J. (7) Wert ausschließen Terauchi, Tachio (7) Wert ausschließen Truderung, Tomasz (7) Wert ausschließen Tsukada, Takeshi (7) Wert ausschließen Yahav, Eran (7) Wert ausschließen Zarrieß, Benjamin (7) Wert ausschließen ACM Special Interest Group on Logic and Computation (6) Wert ausschließen Anureev, I. S. (6) Wert ausschließen Batz, Kevin (6) Wert ausschließen Birkedal, Lars (6) Wert ausschließen Enea, Constantin (6) Wert ausschließen Farzan, Azadeh (6) Wert ausschließen Gori, Roberta (6) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (439) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (346) Wert ausschließen BASE - Bielefeld Academic Search Engine (307) Wert ausschließen Springer International Publishing (CrossRef) (237) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (154) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (137) Wert ausschließen Lizenzfreie Online-Ressourcen (108) Wert ausschließen Elsevier BV (CrossRef) (102) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (72) Wert ausschließen theses.fr (55) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (47) Wert ausschließen Open Publishing Association (CrossRef) (46) Wert ausschließen Diss online (42) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (40) Wert ausschließen Wiley (CrossRef) (35) Wert ausschließen Springer Nature Switzerland (CrossRef) (25) Wert ausschließen Nautos (ISO-Normen) (24) Wert ausschließen Nautos (DIN-Normen) (20) Wert ausschließen DOAJ Directory of Open Access Journals (19) Wert ausschließen ETH Zürich Research Collection (18) Wert ausschließen Allerton Press (CrossRef) (16) Wert ausschließen Informa UK Limited (CrossRef) (15) Wert ausschließen P.G. Demidov Yaroslavl State University (CrossRef) (15) Wert ausschließen A.P. Ershov Institute of Informatics Systems SB RAS (CrossRef) (14) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (13) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (13) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (11) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (10) Wert ausschließen IOP Publishing (CrossRef) (9) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (8) Wert ausschließen SAGE Publications (CrossRef) (7) Wert ausschließen IOS Press (CrossRef) (6) Wert ausschließen MDPI AG (CrossRef) (6) Wert ausschließen Scientific publications of the Saarland University (UdS) (6) Wert ausschließen Henry - Hydraulic Engineering Repository (5) Wert ausschließen JSTOR Mathematics & Statistics (5) Wert ausschließen Oxford University Press (OUP) (CrossRef) (5) Wert ausschließen SPIE (CrossRef) (5) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (5) Wert ausschließen Hindawi Limited (CrossRef) (4) Wert ausschließen Qucosa (4) Wert ausschließen American Chemical Society (ACS) (CrossRef) (3) Wert ausschließen Augsburg University Publication Server (OPUS) (3) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (3) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (3) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (3) Wert ausschließen AIP Publishing (CrossRef) (2) Wert ausschließen Academy Publisher (CrossRef) (2) Wert ausschließen American Meteorological Society (CrossRef) (2) Wert ausschließen Centre for Evaluation in Education and Science (CEON/CEES) (CrossRef) (2) Wert ausschließen EDP Sciences (CrossRef) (2) Wert ausschließen IGI Global (CrossRef) (2) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences I Archive (2) Wert ausschließen Japan Society of Kansei Engineering (CrossRef) (2) Wert ausschließen Japan Society of Mechanical Engineers (CrossRef) (2) Wert ausschließen Japanese Society of Radiological Technology (CrossRef) (2) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (2) Wert ausschließen Korean Alliance for Health, Physical Education, Recreation, and Dance (CrossRef) (2) Wert ausschließen Lesgaft National State University of Physical Education, Sport and Health, St. Petersburg (CrossRef) (2) Wert ausschließen Medknow (CrossRef) (2) Wert ausschließen Psychological Journal (CrossRef) (2) Wert ausschließen Springer New York (CrossRef) (2) Wert ausschließen Universität Osnabrück: osnaDocs (2) Wert ausschließen ACM (CrossRef) (1) Wert ausschließen AIP (CrossRef) (1) Wert ausschließen AITO - Association Internationale pour les Technologies Objets (CrossRef) (1) Wert ausschließen ASME International (CrossRef) (1) Wert ausschließen American Academy of Pediatrics (AAP) (CrossRef) (1) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Institute of Aeronautics and Astronautics (AIAA) (CrossRef) (1) Wert ausschließen American Society of Civil Engineers (ASCE) (CrossRef) (1) Wert ausschließen An-Najah National University (CrossRef) (1) Wert ausschließen Architectural Institute of Japan (CrossRef) (1) Wert ausschließen Astrakhan State Technical University (CrossRef) (1) Wert ausschließen Atomic Energy Society of Japan (CrossRef) (1) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (1) Wert ausschließen Chernihiv Polytechnic National University (CrossRef) (1) Wert ausschließen Croatian Interdisciplinary Society (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen FSAEIHE South Ural State University (National Research University) (CrossRef) (1) Wert ausschließen Foundation of Computer Science (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Fuji Technology Press Ltd. (CrossRef) (1) Wert ausschließen Georg-August-Universität Göttingen: eDiss (1) Wert ausschließen Hikari, Ltd. (CrossRef) (1) Wert ausschließen ITMO University (CrossRef) (1) Wert ausschließen Information Processing Society of Japan (CrossRef) (1) Wert ausschließen Institute of Electrical Engineers of Japan (IEE Japan) (CrossRef) (1) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (1) Wert ausschließen JMIR Publications Inc. (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences VII Archive (1) Wert ausschließen JSTOR Arts & Sciences XV Archive (1) Wert ausschließen JSTOR Health & General Sciences (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Japan Society for Fuzzy Theory and Intelligent Informatics (CrossRef) (1) Wert ausschließen Japan Society of Photogrammetry and Remote Sensing (CrossRef) (1) Wert ausschließen Knowledge E (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen