Zum Inhalt springen Launchbury, John [HerausgeberIn] ; International School on Advanced Functional Programming 2 1996 Olympia, Wash Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996; tutorial text 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, 1996 Erschienen in: Lecture notes in computer science ; 1129 Rocha, Ricardo [HerausgeberIn]; Launchbury, John [Sonstige Person, Familie und Körperschaft] ; PADL 13 2011 Austin, Tex Practical aspects of declarative languages : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 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. Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6539 Launchbury, John [VerfasserIn] ; Meijer, Erik [Sonstige Person, Familie und Körperschaft]; Sheard, Tim [Sonstige Person, Familie und Körperschaft] Advanced Functional Programming : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text 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, 1996 Erschienen in: Lecture notes in computer science ; 1129 Rocha, Ricardo [VerfasserIn] ; Launchbury, John [Sonstige Person, Familie und Körperschaft] Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 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 ; 6539 Launchbury, John [Sonstige Person, Familie und Körperschaft] Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996 ; tutorial text 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 [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 112900 Launchbury, John Theorem-based circuit derivation in cryptol 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), 2012 Erschienen in: ACM SIGPLAN Notices Launchbury, John Galois : high assurance software : high assurance software 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), 2004 Erschienen in: ACM SIGPLAN Notices Launchbury, John Advanced Functional Programming: Graph algorithms with a functional flavour 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, 1995 Erschienen in: Advanced Functional Programming Launchbury, John Functional Programming Languages and Computer Architecture: A strongly-typed self-applicable partial evaluator 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, 1991 Erschienen in: Functional Programming Languages and Computer Architecture Launchbury, John An introduction to functional programming through lambda calculus 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, 1991 Erschienen in: Science of Computer Programming Launchbury, John Strictness analysis aids inductive proofs 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, 1990 Erschienen in: Information Processing Letters Launchbury, John Strictness and binding-time analyses : two for the price of one : two for the price of one 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), 1991 Erschienen in: ACM SIGPLAN Notices Matthews, John; Launchbury, John Computer Aided Verification: Elementary Microarchitecture Algebra 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: Computer Aided Verification Hughes, John; Launchbury, John Reversing abstract interpretations 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, 1994 Erschienen in: Science of Computer Programming Hughes, John; Launchbury, John ESOP '92: Reversing abstract interpretations 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, 1992 Erschienen in: ESOP '92 HUGHES, JOHN; LAUNCHBURY, JOHN Relational Reversal of Abstract Interpretation 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. Oxford University Press (OUP), 1992 Erschienen in: Journal of Logic and Computation Launchbury, John; Elliott, Trevor Concurrent orchestration in Haskell 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), 2010 Erschienen in: ACM SIGPLAN Notices Erkök, Levent; Launchbury, John Recursive monadic bindings 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), 2000 Erschienen in: ACM SIGPLAN Notices Cook, Byron; Launchbury, John Disposable memo functions (extended abstract) 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), 1997 Erschienen in: ACM SIGPLAN Notices Launchbury, John; Sabry, Amr Monadic state : axiomatization and type safety : axiomatization and type safety 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), 1997 Erschienen in: ACM SIGPLAN Notices
Launchbury, John [HerausgeberIn] ; International School on Advanced Functional Programming 2 1996 Olympia, Wash Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996; tutorial text 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, 1996 Erschienen in: Lecture notes in computer science ; 1129
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Rocha, Ricardo [HerausgeberIn]; Launchbury, John [Sonstige Person, Familie und Körperschaft] ; PADL 13 2011 Austin, Tex Practical aspects of declarative languages : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 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. Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6539
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John [VerfasserIn] ; Meijer, Erik [Sonstige Person, Familie und Körperschaft]; Sheard, Tim [Sonstige Person, Familie und Körperschaft] Advanced Functional Programming : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text 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, 1996 Erschienen in: Lecture notes in computer science ; 1129
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Rocha, Ricardo [VerfasserIn] ; Launchbury, John [Sonstige Person, Familie und Körperschaft] Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 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 ; 6539
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John [Sonstige Person, Familie und Körperschaft] Advanced functional programming : second international school, Olympia, WA, USA, August 26 - 30, 1996 ; tutorial text 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 [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 112900
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Theorem-based circuit derivation in cryptol 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), 2012 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Galois : high assurance software : high assurance software 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), 2004 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Advanced Functional Programming: Graph algorithms with a functional flavour 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, 1995 Erschienen in: Advanced Functional Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Functional Programming Languages and Computer Architecture: A strongly-typed self-applicable partial evaluator 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, 1991 Erschienen in: Functional Programming Languages and Computer Architecture
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John An introduction to functional programming through lambda calculus 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, 1991 Erschienen in: Science of Computer Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Strictness analysis aids inductive proofs 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, 1990 Erschienen in: Information Processing Letters
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John Strictness and binding-time analyses : two for the price of one : two for the price of one 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), 1991 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Matthews, John; Launchbury, John Computer Aided Verification: Elementary Microarchitecture Algebra 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: Computer Aided Verification
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hughes, John; Launchbury, John Reversing abstract interpretations 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, 1994 Erschienen in: Science of Computer Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hughes, John; Launchbury, John ESOP '92: Reversing abstract interpretations 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, 1992 Erschienen in: ESOP '92
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
HUGHES, JOHN; LAUNCHBURY, JOHN Relational Reversal of Abstract Interpretation 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. Oxford University Press (OUP), 1992 Erschienen in: Journal of Logic and Computation
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John; Elliott, Trevor Concurrent orchestration in Haskell 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), 2010 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Erkök, Levent; Launchbury, John Recursive monadic bindings 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), 2000 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cook, Byron; Launchbury, John Disposable memo functions (extended abstract) 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), 1997 Erschienen in: ACM SIGPLAN Notices
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Launchbury, John; Sabry, Amr Monadic state : axiomatization and type safety : axiomatization and type safety 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), 1997 Erschienen in: ACM SIGPLAN Notices
> 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 (39) Wert ausschließen Bücher (5) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (15) Wert ausschließen Ohne Angabe (27) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (34) Wert ausschließen Nicht zu entscheiden (10) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (23) Wert ausschließen Mathematik (2) Wert ausschließen Technik (2) Wert ausschließen Biologie (1) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen Medizin (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Launchbury, John (35) Wert ausschließen Launchbury, Francesca (5) Wert ausschließen Brandner, Sebastian (3) Wert ausschließen Cook, Byron (3) Wert ausschließen Elliott, Trevor (3) Wert ausschließen Hughes, John (3) Wert ausschließen Jaunmuktane, Zane (3) Wert ausschließen Richard-Loendt, Angela (3) Wert ausschließen Balbaa, Aya (2) Wert ausschließen Bielman, James (2) Wert ausschließen Birrell, Stephen N. (2) Wert ausschließen Brown, Gordon D. (2) Wert ausschließen Bruna, Alejandra (2) Wert ausschließen Caldas, Carlos (2) Wert ausschließen Carroll, Jason S. (2) Wert ausschließen Collinge, John (2) Wert ausschließen Desai, Sneha (2) Wert ausschließen DuBuisson, Thomas (2) Wert ausschließen D’Santos, Clive (2) Wert ausschließen Ellis, Matthew (2) Wert ausschließen Erkök, Levent (2) Wert ausschließen Fisher, Kathleen (2) Wert ausschließen Hadfield, James (2) Wert ausschließen Hanrieder, Jörg (2) Wert ausschließen Hickey, Theresa E. (2) Wert ausschließen Joghee, Ridwaan (2) Wert ausschließen Kenny, Joanna (2) Wert ausschließen Launchbury, Rosalind (2) Wert ausschließen Linehan, Jacqueline (2) Wert ausschließen Matthews, John (2) Wert ausschließen Mead, Simon (2) Wert ausschließen Menon, Suraj (2) Wert ausschließen Mohammed, Hisham (2) Wert ausschließen Nicoll, Andrew J. (2) Wert ausschließen Perou, Charles M. (2) Wert ausschließen Peyton Jones, Simon L. (2) Wert ausschließen Phelan, Stefan-Laural J. (2) Wert ausschließen Pike, Lee (2) Wert ausschließen Pugh, Michelle (2) Wert ausschließen Raj, Ganesh V. (2) Wert ausschließen Richards, Raymond (2) Wert ausschließen Robinson, Jessica L. L. (2) Wert ausschließen Rocha, Ricardo (2) Wert ausschließen Rudge, Peter (2) Wert ausschließen Rueda, Oscar M. (2) Wert ausschließen Russell, I. Alasdair (2) Wert ausschließen Saadi, Amel (2) Wert ausschließen Serandour, Aurelien A. (2) Wert ausschließen Silva, Grace (2) Wert ausschließen Stark, Rory (2) Wert ausschließen Stingl, John (2) Wert ausschließen Tarulli, Gerard A. (2) Wert ausschließen Tilley, Wayne D. (2) Wert ausschließen Tripathi, Takshashila (2) Wert ausschließen Vanshoiack, Alison (2) Wert ausschließen Vitanova, Karina S. (2) Wert ausschließen Wadsworth, Jonathan D. F. (2) Wert ausschließen Walker, A. Sarah (2) Wert ausschließen Wong, Eugenia (2) Wert ausschließen Abeti, Rosella (1) Wert ausschließen Adams-Moran, Andy (1) Wert ausschließen Al-Khawaja, Issam (1) Wert ausschließen Al-Mutairi, Fuad (1) Wert ausschließen Allan, Janet M. (1) Wert ausschließen Allan, John A. (1) Wert ausschließen Althonayan, Juri (1) Wert ausschließen Archer, Dave (1) Wert ausschließen Arning, Larissa (1) Wert ausschließen Atawneh, Osama (1) Wert ausschließen Athanasiou-Fragkouli, Alkyoni (1) Wert ausschließen Aurrand-Lions, Michel (1) Wert ausschließen Avdjieva, Daniela (1) Wert ausschließen Banu, Selina (1) Wert ausschließen Baraki, Gebreselassie (1) Wert ausschließen Beagley, Kenneth (1) Wert ausschließen Beetz, Christian (1) Wert ausschließen Begtrup, Amber (1) Wert ausschließen Bisgin, Atil (1) Wert ausschließen Boesch, Sylvia (1) Wert ausschließen Boles, Richard (1) Wert ausschließen Borgione, Eugenia (1) Wert ausschließen Breza, Marianthi (1) Wert ausschließen Carr, Aisling (1) Wert ausschließen Chelban, Viorica (1) Wert ausschließen Cormand, Bru (1) Wert ausschließen Cummings, Damian M. (1) Wert ausschließen Cummings, Damian Michael (1) Wert ausschließen Cunningham, Kelly (1) Wert ausschließen Dardiotis, Efthymios (1) Wert ausschließen Dauvilliers, Yves A. (1) Wert ausschließen Di Rosa, Gabriella (1) Wert ausschließen Diatchki, Iavor S. (1) Wert ausschließen Edwards, Frances A. (1) Wert ausschließen Edwards, Frances Aline (1) Wert ausschließen Efthymiou, Stephanie (1) Wert ausschließen Ferrari, Michel D. (1) Wert ausschließen Forbes, Raeburn (1) Wert ausschließen Garavaglia, Barbara (1) Wert ausschließen García-Silva, Mayte (1) Wert ausschließen Giunti, Paola (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (9) Wert ausschließen Elsevier BV (CrossRef) (6) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen JSTOR Health & General Sciences (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen The Royal Society (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen