Skip to contents

  1. Chlipala, Adam [Author]; Delaware, Benjamin [Author]; Duchovni, Samuel [Author]; Gross, Jason [Author]; Suriyakarn, Sorawit [Author]; Wang, Peng [Author]; Ye, Katherine [Author]

    The End of History? Using a Proof Assistant to Replace Language Design with Library Design

    Conference Proceedings
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017

  2. Antohi, Sorin [Contributor]; Antohi, Sorin [Editor]; Bunce, Valerie [Contributor]; Dawisha, Karen [Contributor]; Gal, Susan [Contributor]; Garton Ash, Timothy [Contributor]; Grudzinska Gross, Irena [Contributor]; Haraszti, Miklos [Contributor]; Heller, Agnes [Contributor]; Isaac, Jeffrey C. [Contributor]; Kaminski, Bartlomiej [Contributor]; Kligman, Gail [Contributor]; Michnik, Adam [Contributor]; Palous, Martin [Contributor]; Poznanski, Kazimierz Z. [Contributor]; Prize, Ilya [Contributor]; Rev, Istvan [Contributor]; Rupnik, Jacques [Contributor]; Soltan, Karol [Contributor]; Tismaneanu, Vladimir [Contributor]; Tismaneanu, Vladimir [Editor]; Vejvoda, Ivan [Contributor]; Verdery, Katherine [Contributor]; Wasserstrom, Jeffrey N. [Contributor]

    Between Past and Future : The Revolution of 1989 and Their Aftermath

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Budapest; New York: Central European University Press, [2022]

  3. Albala, Ken [Contributor]; Arias-Steele, Sara [Contributor]; Black, Rachel E. [Contributor]; Borre, Kristen [Contributor]; Brenton, Barrett P. [Contributor]; Brett, John [Contributor]; Brett, John [Editor]; Cavanaugh, Jillian R. [Contributor]; Chaiken, Miriam S. [Contributor]; Chrzan, Janet [Contributor]; Chrzan, Janet [Editor]; Counihan, Carole [Contributor]; Devine, Sharon [Contributor]; Dufour, Darna L. [Contributor]; Esterik, Penny Van [Contributor]; Goodman, Alan H. [Contributor]; Gross, Joan [Contributor]; Hadley, Craig [Contributor]; Himmelgreen, David A. [Contributor]; Jenike, Mark [Contributor]; Johnson, Caley A. [Contributor]; Lieberman, Leslie Sue [Contributor]; Livengood, Sarah V. [Contributor]; Long, Lucy M. [Contributor]; [...]

    Research Methods for Anthropological Studies of Food and Nutrition : Volumes I-III

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Oxford: Berghahn Books, [2017]

  4. Schorn, Michelle A. [Author]; Verhoeven, Stefan [Author]; Ridder, Lars [Author]; Huber, Florian [Author]; Acharya, Deepa D. [Author]; Aksenov, Alexander A. [Author]; Aleti, Gajender [Author]; Moghaddam, Jamshid Amiri [Author]; Aron, Allegra T. [Author]; Aziz, Saefuddin [Author]; Bauermeister, Anelize [Author]; Bauman, Katherine D. [Author]; Baunach, Martin [Author]; Beemelmanns, Christine [Author]; Beman, J. Michael [Author]; Berlanga-Clavero, María Victoria [Author]; Blacutt, Alex A. [Author]; Bode, Helge B. [Author]; Boullie, Anne [Author]; Brejnrod, Asker [Author]; Bugni, Tim S. [Author]; Calteau, Alexandra [Author]; Cao, Liu [Author]; Carrión, Víctor J. [Author]; [...]

    A community resource for paired genomic and metabolomic data mining

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Nature;, 2021-02-15

    Published in: Nature Chemical Biology, 17, 4, S. 363-368