Zum Inhalt springen Holzmann, Gerard J. To Code Is Human Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2015 Erschienen in: IEEE Software Holzmann, Gerard J. Fault Intolerance [Reliable Code] Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2014 Erschienen in: IEEE Software Holzmann, Gerard J. Mars code Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2014 Erschienen in: Communications of the ACM Holzmann, Gerard J. Landing a Spacecraft on Mars Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2013 Erschienen in: IEEE Software Holzmann, Gerard J. Model Checking Software: Proving Properties of Concurrent Programs : (Extended Abstract) : (Extended Abstract) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Model Checking Software Holzmann, Gerard J. A Three-Step Program for Recovering Hackers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2013 Erschienen in: Computer Holzmann, Gerard J. Model Checking Software: Parallelizing the Spin Model Checker Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Model Checking Software Holzmann, Gerard J. Tools and Algorithms for the Construction and Analysis of Systems: Reliable Software Development: Analysis-Aware Design Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2011 Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems Holzmann, Gerard J. Formal Techniques for Distributed Systems: Formal Software Verification: How Close Are We? Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Formal Techniques for Distributed Systems Holzmann, Gerard J. SCRUB: a tool for code reviews Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2010 Erschienen in: Innovations in Systems and Software Engineering Holzmann, Gerard J. A Stack-Slicing Algorithm for Multi-Core Model Checking Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2008 Erschienen in: Electronic Notes in Theoretical Computer Science Holzmann, Gerard J. Conquering Complexity Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2007 Erschienen in: Computer Holzmann, Gerard J. FME 2003: Formal Methods: Trends in Software Verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2003 Erschienen in: FME 2003: Formal Methods Holzmann, Gerard_J. Computer Aided Verification: Software Analysis and Model Checking Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Computer Aided Verification Holzmann, Gerard J. The logic of bugs Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2002 Erschienen in: ACM SIGSOFT Software Engineering Notes Holzmann, Gerard J. Software verification at Bell Labs: One line of development Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2002 Erschienen in: Bell Labs Technical Journal Holzmann, Gerard J. SPIN Model Checking and Software Verification: Logic Verification of ANSI-C Code with SPIN Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen in: SPIN Model Checking and Software Verification Holzmann, Gerard J. Theoretical and Practical Aspects of SPIN Model Checking: The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1999 Erschienen in: Theoretical and Practical Aspects of SPIN Model Checking Holzmann, Gerard J. Computer Aided Verification: On checking model checkers Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Computer Aided Verification Holzmann, Gerard J. Lecture Notes in Computer Science: Formal methods for early fault detection Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1996 Erschienen in: Lecture Notes in Computer Science
Holzmann, Gerard J. To Code Is Human Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2015 Erschienen in: IEEE Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Fault Intolerance [Reliable Code] Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2014 Erschienen in: IEEE Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Mars code Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2014 Erschienen in: Communications of the ACM
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Landing a Spacecraft on Mars Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2013 Erschienen in: IEEE Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Model Checking Software: Proving Properties of Concurrent Programs : (Extended Abstract) : (Extended Abstract) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Model Checking Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. A Three-Step Program for Recovering Hackers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2013 Erschienen in: Computer
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Model Checking Software: Parallelizing the Spin Model Checker Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Model Checking Software
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Tools and Algorithms for the Construction and Analysis of Systems: Reliable Software Development: Analysis-Aware Design Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2011 Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Formal Techniques for Distributed Systems: Formal Software Verification: How Close Are We? Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Formal Techniques for Distributed Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. SCRUB: a tool for code reviews Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2010 Erschienen in: Innovations in Systems and Software Engineering
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. A Stack-Slicing Algorithm for Multi-Core Model Checking Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2008 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Conquering Complexity Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2007 Erschienen in: Computer
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. FME 2003: Formal Methods: Trends in Software Verification Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2003 Erschienen in: FME 2003: Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard_J. Computer Aided Verification: Software Analysis and Model Checking Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. The logic of bugs Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2002 Erschienen in: ACM SIGSOFT Software Engineering Notes
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Software verification at Bell Labs: One line of development Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Institute of Electrical and Electronics Engineers (IEEE), 2002 Erschienen in: Bell Labs Technical Journal
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. SPIN Model Checking and Software Verification: Logic Verification of ANSI-C Code with SPIN Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2000 Erschienen in: SPIN Model Checking and Software Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Theoretical and Practical Aspects of SPIN Model Checking: The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1999 Erschienen in: Theoretical and Practical Aspects of SPIN Model Checking
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Computer Aided Verification: On checking model checkers Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Lecture Notes in Computer Science: Formal methods for early fault detection Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1996 Erschienen in: Lecture Notes in Computer Science
> 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 (83) Wert ausschließen Bücher (10) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (3) Wert ausschließen Magazinbestellung (1) Wert ausschließen Verfügbarkeit vor Ort erfragen (3) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (5) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (7) Wert ausschließen Ohne Angabe (81) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (61) Wert ausschließen Englisch (31) Wert ausschließen Latein (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (48) Wert ausschließen Technik (9) Wert ausschließen Mathematik (4) Wert ausschließen Physik (4) Wert ausschließen Medizin (2) Wert ausschließen Wirtschaftswissenschaften (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Holzmann, Gerard J. (89) Wert ausschließen Joshi, Rajeev (7) Wert ausschließen Peled, Doron (4) Wert ausschließen Pehrson, Björn (3) Wert ausschließen Godefroid, Patrice (2) Wert ausschließen Groce, Alex (2) Wert ausschließen Havelund, Klaus (2) Wert ausschließen Pirottin, Didier (2) Wert ausschließen Ruys, Theo C. (2) Wert ausschließen Smith, Margaret H. (2) Wert ausschließen Albertazzi, Alberto (1) Wert ausschließen Alecsandru, Radu (1) Wert ausschließen Alonso-Montes, Cristina (1) Wert ausschließen Alur, Rajeev (1) Wert ausschließen Alves, Doutor Rui (1) Wert ausschließen Amigo, Soler (1) Wert ausschließen Arendt, Susanne (1) Wert ausschließen Armbruster, Helmut (1) Wert ausschließen Asola, L L Markku (1) Wert ausschließen Au, Diep Thanh (1) Wert ausschließen Aucella, Filippo (1) Wert ausschließen Bagnewski, Wolfgang (1) Wert ausschließen Bahlmann, Günter (1) Wert ausschließen Bako, Cristian Gabriel (1) Wert ausschließen Barrera-Baena, Pedro (1) Wert ausschließen Becker, Helmut Peter (1) Wert ausschließen Becker, Matthias (1) Wert ausschließen Beige, Joachim (1) Wert ausschließen Benedik, Mihael (1) Wert ausschließen Berger, Dieter (1) Wert ausschließen Bertocchio, Philippe (1) Wert ausschließen Berweck, S (1) Wert ausschließen Besnier, Dominique (1) Wert ausschließen Biagini, Marco (1) Wert ausschließen Bianchi, Giuseppe (1) Wert ausschließen Bidas, Kizysztof (1) Wert ausschließen Bobaru, Mihaela (1) Wert ausschließen Bolley (1) Wert ausschließen Bonomini, Mario (1) Wert ausschließen Bos, Willem-Jan (1) Wert ausschließen Bosnacki, Dragan (1) Wert ausschließen Bouchouareb (1) Wert ausschließen Bounab, Mohamed Brahim (1) Wert ausschließen Boussad, Bouali (1) Wert ausschließen Bošnački, Dragan (1) Wert ausschließen Brancaccio, Diego (1) Wert ausschließen Bravenboer, Nathalie (1) Wert ausschließen Brech, Wolfgang (1) Wert ausschließen Brensing, Karl-August (1) Wert ausschließen Brignon (1) Wert ausschließen Bristogiannis, Georgios (1) Wert ausschließen Brockmann, Carsten (1) Wert ausschließen Brugmann, Chu (1) Wert ausschließen Brückner, Dieter (1) Wert ausschließen Bucht, Stig (1) Wert ausschließen Bunia, J (1) Wert ausschließen Burgos, Rafael Romero (1) Wert ausschließen Burkhardt, Klaus (1) Wert ausschließen Burnier, Michel (1) Wert ausschließen Cagnoli, Leonardo (1) Wert ausschließen Calvo, Maria Dolores Paz (1) Wert ausschließen Cannata-Andía, Jorge Benito (1) Wert ausschließen Carrera, Fernando (1) Wert ausschließen Cassidy, Mike (1) Wert ausschließen Cattanéo (1) Wert ausschließen Chantal, Bony (1) Wert ausschließen Clasen, Wolfgang (1) Wert ausschließen Claus, Pierre (1) Wert ausschließen Cohen-Solal, Martine (1) Wert ausschließen Colet, John (1) Wert ausschließen Colussi, Giacomo (1) Wert ausschließen Coric-Martinovic, Valentina (1) Wert ausschließen Cossu, Maria (1) Wert ausschließen Covic, Adrian (1) Wert ausschließen Craciun, Irinel (1) Wert ausschließen Cruz, Joao (1) Wert ausschließen Cuvelier, René (1) Wert ausschließen D'Angelo, Angela (1) Wert ausschließen DIMACS (Group) (1) Wert ausschließen Danielsen, Overlæge Henning (1) Wert ausschließen Daschner, M (1) Wert ausschließen De Fremont, J F (1) Wert ausschließen De Hoek, C T Op (1) Wert ausschließen De Mouscron, C M (1) Wert ausschließen Dehnert (1) Wert ausschließen Dehout, François (1) Wert ausschließen Del Rosso, Goffredo (1) Wert ausschließen Delcroix, Catherine (1) Wert ausschließen Dell, Cesare (1) Wert ausschließen Dhondt, A M (1) Wert ausschließen Dialisi, E (1) Wert ausschließen Didier, Ducloux (1) Wert ausschließen Dijkstra, Gerard (1) Wert ausschließen Djamel, Dahmane (1) Wert ausschließen Donatella, Spotti (1) Wert ausschließen Dong, Yifei (1) Wert ausschließen Dratwa, Max (1) Wert ausschließen Du, Xiaoqun (1) Wert ausschließen Duchet (1) Wert ausschließen Dupuy (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (40) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Verbunddaten SWB (10) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Fachkatalog Technikgeschichte (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen