Zum Inhalt springen Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual - [2. print.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005 Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual - [3rd printing] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2006 Holzmann, Gerard J. [VerfasserIn] Design and validation of computer protocols - [Transf. to digital print on demand] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Upper Saddle River, NJ: Prentice Hall, 2002 Erschienen in: Prentice-Hall software series Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; Munich [u.a.]: Addison-Wesley, 2004 Holzmann, Gerard J. [VerfasserIn] ; Pehrson, Björn [Sonstige Person, Familie und Körperschaft] The early history of data networks Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1995 ; Los Alamitos, CA: IEEE Computer Society Press, 1995 Leue, Stefan [Sonstige Person, Familie und Körperschaft]; Holzmann, Gerard J. [Sonstige Person, Familie und Körperschaft] v-Promela - A Visual, Object-Oriented Language for SPIN Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource 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. Konstanz: Bibliothek der Universität Konstanz, 1999 Bobaru, Mihaela [VerfasserIn] ; Havelund, Klaus [HerausgeberIn]; Holzmann, Gerard J. [HerausgeberIn]; Joshi, Rajeev [HerausgeberIn] NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Bücher 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6617 Peled, Doron [MitwirkendeR]; Pratt, Vaughan R [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR] ; DIMACS (Group) Partial order methods in verification : DIMACS workshop July 24-26, 1996 Bücher Online ansehen Schließen > Zugang http://www.ams.org/dimacs/029 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. Providence, R.I.: American Mathematical Society, 1997 Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 29 Grégoire, Jean-Charles [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR]; Peled, Doron [MitwirkendeR] The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 Bücher Online ansehen Schließen > Zugang http://www.ams.org/dimacs/032 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. Providence, R.I.: American Mathematical Society, 1997 Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32 Holzmann, Gerard J. Formal Methods in Outer Space: Comparing Two Methods for Checking Runtime Properties 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 International Publishing, 2021 Erschienen in: Formal Methods in Outer Space Holzmann, Gerard J. Keeping It Simple: Agile Analysis 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), 2021 Erschienen in: IEEE Software Holzmann, Gerard J. Right 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), 2021 Erschienen in: IEEE Software Holzmann, Gerard J. Predicting the Past 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), 2020 Erschienen in: IEEE Software Holzmann, Gerard J. Test Fatigue 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), 2020 Erschienen in: IEEE Software Holzmann, Gerard J. Code Mining 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), 2019 Erschienen in: IEEE Software Holzmann, Gerard J. Code Overload 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), 2019 Erschienen in: IEEE Software Holzmann, Gerard J. Does Not Compute 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), 2019 Erschienen in: IEEE Software Holzmann, Gerard J. From Reactive Systems to Cyber-Physical Systems: Formalizing Requirements Is $$\Diamond \Box $$ Hard 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 International Publishing, 2019 Erschienen in: From Reactive Systems to Cyber-Physical Systems Holzmann, Gerard J. Code Vault 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), 2018 Erschienen in: IEEE Software Holzmann, Gerard J. Curve Balls 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), 2018 Erschienen in: IEEE Software
Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual - [2. print.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual - [3rd printing] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2006
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. [VerfasserIn] Design and validation of computer protocols - [Transf. to digital print on demand] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Upper Saddle River, NJ: Prentice Hall, 2002 Erschienen in: Prentice-Hall software series
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. [VerfasserIn] The spin model checker : primer and reference manual Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; Munich [u.a.]: Addison-Wesley, 2004
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. [VerfasserIn] ; Pehrson, Björn [Sonstige Person, Familie und Körperschaft] The early history of data networks Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1995 ; Los Alamitos, CA: IEEE Computer Society Press, 1995
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Leue, Stefan [Sonstige Person, Familie und Körperschaft]; Holzmann, Gerard J. [Sonstige Person, Familie und Körperschaft] v-Promela - A Visual, Object-Oriented Language for SPIN Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource 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. Konstanz: Bibliothek der Universität Konstanz, 1999
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bobaru, Mihaela [VerfasserIn] ; Havelund, Klaus [HerausgeberIn]; Holzmann, Gerard J. [HerausgeberIn]; Joshi, Rajeev [HerausgeberIn] NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Bücher 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6617
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Peled, Doron [MitwirkendeR]; Pratt, Vaughan R [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR] ; DIMACS (Group) Partial order methods in verification : DIMACS workshop July 24-26, 1996 Bücher Online ansehen Schließen > Zugang http://www.ams.org/dimacs/029 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. Providence, R.I.: American Mathematical Society, 1997 Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 29
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Grégoire, Jean-Charles [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR]; Peled, Doron [MitwirkendeR] The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 Bücher Online ansehen Schließen > Zugang http://www.ams.org/dimacs/032 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. Providence, R.I.: American Mathematical Society, 1997 Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Formal Methods in Outer Space: Comparing Two Methods for Checking Runtime Properties 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 International Publishing, 2021 Erschienen in: Formal Methods in Outer Space
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Keeping It Simple: Agile Analysis 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), 2021 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. Right 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), 2021 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. Predicting the Past 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), 2020 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. Test Fatigue 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), 2020 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. Code Mining 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), 2019 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. Code Overload 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), 2019 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. Does Not Compute 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), 2019 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. From Reactive Systems to Cyber-Physical Systems: Formalizing Requirements Is $$\Diamond \Box $$ Hard 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 International Publishing, 2019 Erschienen in: From Reactive Systems to Cyber-Physical Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Holzmann, Gerard J. Code Vault 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), 2018 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. Curve Balls 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), 2018 Erschienen in: IEEE Software
> 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