Skip to contents Minsky, Yaron [Author]; Madhavapeddy, Anil [Author] Real world OCaml : functional programming for the masses - [Second edition.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2022 Whitington, John [Author]; Ridge, Tom [Author] ; John Whitington and Tom Ridge [Contributor] Visualizing the Evaluation of Functional Programs for Debugging Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017 Parreira Pereira, Mário José [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Filliâtre, Jean-Christophe [Contributor] Tools and Techniques for the Verification of Modular Stateful Code ; Outils et techniques pour la vérification de programmes impératives modulaires Thesis View online Schließen > Links http://www.theses.fr/2018SACLS605/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-12-10 Makwana, Dhruv C. [Author]; Krishnaswami, Neelakantan R. [Author] ; Dhruv C. Makwana and Neelakantan R. Krishnaswami [Contributor] NumLin: Linear Types for Linear Algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Makwana, Dhruv C. [Author]; Krishnaswami, Neelakantan R. [Author] ; Dhruv C. Makwana and Neelakantan R. Krishnaswami [Contributor] NumLin: Linear Types for Linear Algebra (Artifact) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Imai, Keigo [Author]; Neykova, Rumyana [Author]; Yoshida, Nobuko [Author]; Yuen, Shoji [Author] ; Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen [Contributor] Multiparty Session Programming With Global Protocol Combinators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Imai, Keigo [Author]; Neykova, Rumyana [Author]; Yoshida, Nobuko [Author]; Yuen, Shoji [Author] ; Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen [Contributor] Multiparty Session Programming with Global Protocol Combinators (Artifact) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Coquereau, Albin [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Mauny, Michel [Contributor]; Conchon, Sylvain [Contributor] [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace ; [ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver Thesis View online Schließen > Links http://www.theses.fr/2019SACLY007/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-12-16 Varoumas, Steven [Author]; Crolard, Tristan [Author] ; Steven Varoumas and Tristan Crolard [Contributor] WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Lichtman, Benjamin [Author]; Hoffmann, Jan [Author] ; Benjamin Lichtman and Jan Hoffmann [Contributor] Arrays and References in Resource Aware ML Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017 Larchey-Wendling, Dominique [Author]; Monin, Jean-François [Author] ; Dominique Larchey-Wendling and Jean-François Monin [Contributor] Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023 Mével, Glen [Author] ; Université Paris Cité [Contributor]; Pottier, François [Contributor] A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml ; Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml Thesis View online Schließen > Links http://www.theses.fr/2022UNIP7173/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-12-14 Varoumas, Steven [Author] ; Sorbonne université [Contributor]; Crolard, Tristan [Contributor] Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources ; High-level programming models for microcontrollers with scarce resources Thesis View online Schließen > Links http://www.theses.fr/2019SORUS394/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-11-05 Rafatpanah, Raphael [Author] ; D'Mello, Bruno Joseph [Contributor] ReasonML quick start guide : build fast and type-safe React applications that leverage the JavaScript and OCaml ecosystems Books View online Schließen > Access https://learning.oreilly.com/library/view/-/9781789340785/?ar Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Birmingham, UK: Packt Publishing, 2019 Couderc, Pierrick [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Mauny, Michel [Contributor] Vérification des résultats de l'inférence de types du langage OCaml ; Checking type inference results of the OCaml language Thesis View online Schließen > Links http://www.theses.fr/2018SACLY018/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-10-23 Salmon, Yann [Author] ; Rennes 1 [Contributor]; Genet, Thomas [Contributor] Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur ; Reachability analysis for functional programs with innermost evaluation strategy Thesis View online Schließen > Links http://www.theses.fr/2015REN1S085/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-12-07 Hardin, Thérèse [Author]; Jaume, Mathieu [Author]; Pessaux, Francois [Author]; Donzeau-Gouge, Véronique [Author] Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java Books View online Schließen > Access https://learning.oreilly.com/library/view/-/9781786306029/?ar Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Hoboken, NJ: Wiley, 2021 Published in: Computer engineering series Wang, Liang [Author]; Zhao, Jianxin [Author] Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml - [1st ed. 2023.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berkeley, CA: Apress, 2023. ; Berkeley, CA: Imprint: Apress, 2023. Wang, Liang [Author]; Zhao, Jianxin [Author] Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/96254 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berkeley, CA: Springer Nature, 2023 Wang, Liang [Author]; Zhao, Jianxin [Author]; Mortier, Richard [Author] OCaml Scientific Computing : Functional Programming in Data Science and Artificial Intelligence - [1st ed. 2022.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Published in: Undergraduate Topics in Computer Science
Minsky, Yaron [Author]; Madhavapeddy, Anil [Author] Real world OCaml : functional programming for the masses - [Second edition.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2022
Whitington, John [Author]; Ridge, Tom [Author] ; John Whitington and Tom Ridge [Contributor] Visualizing the Evaluation of Functional Programs for Debugging Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Parreira Pereira, Mário José [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Filliâtre, Jean-Christophe [Contributor] Tools and Techniques for the Verification of Modular Stateful Code ; Outils et techniques pour la vérification de programmes impératives modulaires Thesis View online Schließen > Links http://www.theses.fr/2018SACLS605/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-12-10
Makwana, Dhruv C. [Author]; Krishnaswami, Neelakantan R. [Author] ; Dhruv C. Makwana and Neelakantan R. Krishnaswami [Contributor] NumLin: Linear Types for Linear Algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Makwana, Dhruv C. [Author]; Krishnaswami, Neelakantan R. [Author] ; Dhruv C. Makwana and Neelakantan R. Krishnaswami [Contributor] NumLin: Linear Types for Linear Algebra (Artifact) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Imai, Keigo [Author]; Neykova, Rumyana [Author]; Yoshida, Nobuko [Author]; Yuen, Shoji [Author] ; Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen [Contributor] Multiparty Session Programming With Global Protocol Combinators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Imai, Keigo [Author]; Neykova, Rumyana [Author]; Yoshida, Nobuko [Author]; Yuen, Shoji [Author] ; Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen [Contributor] Multiparty Session Programming with Global Protocol Combinators (Artifact) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Coquereau, Albin [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Mauny, Michel [Contributor]; Conchon, Sylvain [Contributor] [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace ; [ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver Thesis View online Schließen > Links http://www.theses.fr/2019SACLY007/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-12-16
Varoumas, Steven [Author]; Crolard, Tristan [Author] ; Steven Varoumas and Tristan Crolard [Contributor] WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Lichtman, Benjamin [Author]; Hoffmann, Jan [Author] ; Benjamin Lichtman and Jan Hoffmann [Contributor] Arrays and References in Resource Aware ML Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Larchey-Wendling, Dominique [Author]; Monin, Jean-François [Author] ; Dominique Larchey-Wendling and Jean-François Monin [Contributor] Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Mével, Glen [Author] ; Université Paris Cité [Contributor]; Pottier, François [Contributor] A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml ; Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml Thesis View online Schließen > Links http://www.theses.fr/2022UNIP7173/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-12-14
Varoumas, Steven [Author] ; Sorbonne université [Contributor]; Crolard, Tristan [Contributor] Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources ; High-level programming models for microcontrollers with scarce resources Thesis View online Schließen > Links http://www.theses.fr/2019SORUS394/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2019-11-05
Rafatpanah, Raphael [Author] ; D'Mello, Bruno Joseph [Contributor] ReasonML quick start guide : build fast and type-safe React applications that leverage the JavaScript and OCaml ecosystems Books View online Schließen > Access https://learning.oreilly.com/library/view/-/9781789340785/?ar Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Birmingham, UK: Packt Publishing, 2019
Couderc, Pierrick [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Mauny, Michel [Contributor] Vérification des résultats de l'inférence de types du langage OCaml ; Checking type inference results of the OCaml language Thesis View online Schließen > Links http://www.theses.fr/2018SACLY018/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-10-23
Salmon, Yann [Author] ; Rennes 1 [Contributor]; Genet, Thomas [Contributor] Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur ; Reachability analysis for functional programs with innermost evaluation strategy Thesis View online Schließen > Links http://www.theses.fr/2015REN1S085/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2015-12-07
Hardin, Thérèse [Author]; Jaume, Mathieu [Author]; Pessaux, Francois [Author]; Donzeau-Gouge, Véronique [Author] Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java Books View online Schließen > Access https://learning.oreilly.com/library/view/-/9781786306029/?ar Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Hoboken, NJ: Wiley, 2021 Published in: Computer engineering series
Wang, Liang [Author]; Zhao, Jianxin [Author] Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml - [1st ed. 2023.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berkeley, CA: Apress, 2023. ; Berkeley, CA: Imprint: Apress, 2023.
Wang, Liang [Author]; Zhao, Jianxin [Author] Architecture of Advanced Numerical Analysis Systems : Designing a Scientific Computing System using OCaml Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/96254 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berkeley, CA: Springer Nature, 2023
Wang, Liang [Author]; Zhao, Jianxin [Author]; Mortier, Richard [Author] OCaml Scientific Computing : Functional Programming in Data Science and Artificial Intelligence - [1st ed. 2022.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Published in: Undergraduate Topics in Computer Science
> Media type Skip to next facet Articles (62) Wert ausschließen Books (10) Wert ausschließen Thesis (6) Wert ausschließen Videos (2) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (53) Wert ausschließen Without Specification (28) Wert ausschließen Show more show less
> Language Skip to next facet English (59) Wert ausschließen Not determined (18) Wert ausschließen French (4) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (37) Wert ausschließen General (7) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Physics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Imai, Keigo (5) Wert ausschließen Kiselyov, Oleg (5) Wert ausschließen Asai, Kenichi (4) Wert ausschließen Yoshida, Nobuko (4) Wert ausschließen Yuen, Shoji (4) Wert ausschließen Chailloux, Emmanuel (3) Wert ausschließen Filliâtre, Jean-Christophe (3) Wert ausschließen Mauny, Michel (3) Wert ausschließen Minsky, Yaron (3) Wert ausschließen Neykova, Rumyana (3) Wert ausschließen Open Publishing Association (3) Wert ausschließen Université Paris-Saclay (ComUE) (3) Wert ausschließen Wang, Liang (3) Wert ausschließen Yallop, Jeremy (3) Wert ausschließen Zhao, Jianxin (3) Wert ausschließen Charguéraud, Arthur (2) Wert ausschließen Clerc, Xavier (2) Wert ausschließen Crolard, Tristan (2) Wert ausschließen Dhruv C. Makwana and Neelakantan R. Krishnaswami (2) Wert ausschließen Doligez, Damien (2) Wert ausschließen Ellmann, Simon (2) Wert ausschließen Emmerich, Paul (2) Wert ausschließen Hoffmann, Jan (2) Wert ausschließen Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen (2) Wert ausschließen Krishnaswami, Neelakantan R. (2) Wert ausschließen Lindley, Sam (2) Wert ausschließen Madhavapeddy, Anil (2) Wert ausschließen Makwana, Dhruv C. (2) Wert ausschließen Pereira, Mário (2) Wert ausschließen Pottier, François (2) Wert ausschließen Rémy, Didier (2) Wert ausschließen Scherer, Gabriel (2) Wert ausschließen Sivaramakrishnan, KC (2) Wert ausschließen Sylvestre, Loïc (2) Wert ausschließen Sérot, Jocelyn (2) Wert ausschließen Varoumas, Steven (2) Wert ausschließen An, Xiaoxin (1) Wert ausschließen Balat, Vincent (1) Wert ausschließen Balestrieri, Florent (1) Wert ausschließen Baudin, Patrick (1) Wert ausschließen Benjamin Lichtman and Jan Hoffmann (1) Wert ausschließen Berenger, Francois (1) Wert ausschließen Birkedal, Lars (1) Wert ausschließen Bonichon, Richard (1) Wert ausschließen Bonk, Fabian (1) Wert ausschließen Boulytchev, Dmitry (1) Wert ausschließen Bour, Frédéric (1) Wert ausschließen Bourke, Timothy (1) Wert ausschließen Broman, David (1) Wert ausschließen CLERC, XAVIER (1) Wert ausschließen Canet, Géraud (1) Wert ausschließen Canou, Benjamin (1) Wert ausschließen Carette, Jacques (1) Wert ausschließen Chyzak, Frédéric (1) Wert ausschließen Clement, Blaudeau (1) Wert ausschließen Conchon, Sylvain (1) Wert ausschließen Cong, Youyou (1) Wert ausschließen Coquereau, Albin (1) Wert ausschließen Correnson, Loïc (1) Wert ausschließen Couderc, Pierrick (1) Wert ausschließen Cuoq, Pascal (1) Wert ausschließen Czarnecki, Krzysztof (1) Wert ausschließen D'Mello, Bruno Joseph (1) Wert ausschließen Danelutto, M. (1) Wert ausschließen Darrasse, Alexis (1) Wert ausschließen Das, Ankush (1) Wert ausschließen Dhiman, Atul (1) Wert ausschließen Di Cosmo, R. (1) Wert ausschließen Di Cosmo, Roberto (1) Wert ausschließen Dolan, Stephen (1) Wert ausschließen Dominique Larchey-Wendling and Jean-François Monin (1) Wert ausschließen Donzeau-Gouge, Véronique (1) Wert ausschließen Dreyer, Derek (1) Wert ausschließen Egger, Alex (1) Wert ausschließen Erard, Clotilde (1) Wert ausschließen Frank, Alexander (1) Wert ausschließen Frisch, Alain (1) Wert ausschließen Furukawa, Tsukino (1) Wert ausschließen Garrigue, Jacques (1) Wert ausschließen Genet, Thomas (1) Wert ausschließen Giorgetti, Alain (1) Wert ausschließen Guéneau, Armaël (1) Wert ausschließen Günzel, Thomas (1) Wert ausschließen Hardin, Thérèse (1) Wert ausschließen He, Xinzheng (1) Wert ausschließen Henry, Grégoire (1) Wert ausschließen Hostert, Johannes (1) Wert ausschließen Höger, Christoph (1) Wert ausschließen Inoue, Jun (1) Wert ausschließen Jaffer, Sadiq (1) Wert ausschließen Jaume, Mathieu (1) Wert ausschließen Jähnichen, Stefan (1) Wert ausschließen John Whitington and Tom Ridge (1) Wert ausschließen Jones, Timothy M. (1) Wert ausschließen Jourdan, Jacques-Henri (1) Wert ausschließen Kelly, Tom (1) Wert ausschließen Kosarev, Dmitrii (1) Wert ausschließen Lange, Julien (1) Wert ausschließen Larchey-Wendling, Dominique (1) Wert ausschließen League, Christopher (1) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (14) Wert ausschließen BASE - Bielefeld Academic Search Engine (14) Wert ausschließen Open Publishing Association (CrossRef) (12) Wert ausschließen Verbunddaten SWB (11) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (8) Wert ausschließen Lizenzfreie Online-Ressourcen (8) Wert ausschließen Springer International Publishing (CrossRef) (8) Wert ausschließen Elsevier BV (CrossRef) (6) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (6) Wert ausschließen theses.fr (6) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen Diss online (1) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less