Skip to contents

  1. Friedman, Daniel P. [Author]; Eastlund, Carl [Author]

    The little prover

    Books
    Close

    Bookmarks

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

    Cambridge, Massachusetts; London, England: MIT Press, 2015

  2. Friedman, Daniel P. [Author]; Felleisen, Matthias [Author]

    The little Schemer - [4. ed., Nachdr.]

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 1996

  3. Friedman, Daniel P. [Author]; Felleisen, Matthias [Author]

    The seasoned schemer

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, c1996

  4. Friedman, Daniel P. [Author]; Mendhekar, Anurag [Author] ; Su, Qingqing [Illustrator]; Steele, Guy L. [Writer of preface]; Norvig, Peter [Writer of preface]

    The little learner : a straight line to deep learning

    Books
    Close

    Bookmarks

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

    Cambridge, Massachusetts; London, England: The MIT Press, [2023]

  5. Friedman, Daniel P. [Author]; Byrd, William E. [Author]; Kiselyov, Oleg [Author]

    The reasoned schemer

    Books
    Close

    Bookmarks

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

    Cambridge, Mass. [u.a.]: MIT Press, 2005

  6. Friedman, Daniel P. [Author]; Christiansen, David Thrane [Author] ; Harper, Robert [Writer of preface]; McBride, Conor [Author of afterword, colophon, etc.]; Bibby, Duane [Illustrator]

    The little typer

    Books
    Close

    Bookmarks

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

    Cambridge, MA; London: The MIT Press, [2018]

  7. Auber, Daniel-François-Esprit [Author]; Scribe, Eugène [Author] ; Fabre-Garrus, Bernard [Other]; Chaudeau, Nicole [Other]; Bussard, Jean [Other]; Marty, Jean-Pierre [Performer]; Mesplé, Mady [Performer]; Runge, Peter Christoph [Performer]; Orliac, Jean-Claude [Performer]; Bisson, Yves [Performer]; Greger, Emmy [Performer]; Friedmann, Gérard [Performer]; Victorius, Ghislaine [Performer]; Duverry, Alain [Performer] Office de Radiodiffusion, Télévision Française Choeurs, Office de Radiodiffusion, Télévision Française Orchestre Lyrique

    Manon Lescaut : opéra-comique en 3 actes (2 CDs)

    Sound Recordings
    Close

    Bookmarks

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

    [S.l.]: EMI Music France, c 2002

    Published in: EMI Classics- Operas-Comiques

  8. Saint-Saëns, Camille [Author] ; Lemaire, Ferdinand [Other]; Oldham, Arthur [Other]; Barenboim, Daniel [Other]; Obrazcova, Elena V. [Performer]; Oldchem, Artur [Performer]; Domingo, Plácido [Performer]; Bruson, Renato [Performer]; Thau, Pierre [Performer]; Lloyd, Robert [Performer]; Friedmann, Gérard [Performer]; Zaharia, Constantin [Performer]; Hubert, Michel [Performer]; Barenbojm, Danielʹ [Performer] Orchestre Paris Choeur, Orchestre de Paris

    Samson i Dalila : opera v trech dejstvijach (3 Schallpl)

    Sound Recordings
    Close

    Bookmarks

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

    [S.l.]: Melodija, [ca. 1980]

  9. Gillen, Eckhart [Writer of supplementary textual content]; Gillen, Eckhart [Organizer]; Weibel, Peter [Writer of supplementary textual content]; Weibel, Peter [Organizer]; Wilson, Sarah [Writer of supplementary textual content]; Brailovksy, Anna [Translator]; Ernst, Max [Other]; Beuys, Joseph [Other]; Manzoni, Piero [Other]; Duchamp, Marcel [Other]; VALIE EXPORT [Other]; Picasso, Pablo [Other]; Schwitters, Kurt [Other]; Beckmann, Max [Other]; Arman [Other]; Richter, Gerhard [Other]; Baselitz, Georg [Other]; Moore, Henry [Other]; Kantor, Tadeusz [Other]; Bulatov, Ėrik V. [Other]; Kabakov, Ilʹja Iosifovič [Other]; Léger, Fernand [Other]; Spoerri, Daniel [Other]; Fahlström, Öyvind [Other]; [...] ; Palais des Beaux-Arts Brüssel, ZKM | Zentrum für Kunst und Medien, Gosudarstvennyj muzej izobrazitelʹnych iskusstv imeni A.S. Puškina

    Facing the future : art in Europe 1945-1968

    Books
    Close

    Bookmarks

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

    Tielt: Lannoo Publishers, [2016] ; Brussels: BOZAR, [2016] ; Karlsruhe: ZKM, [2016]

  10. Holyoak, Keith James [Editor]

    The Oxford handbook of thinking and reasoning

    Books
    Close

    Bookmarks

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

    Oxford [u.a.]: Oxford Univ. Press, 2012

    Published in: Oxford library of psychology

  11. Hemann, Jason [Author]; Friedman, Daniel P. [Author]; Byrd, William E. [Author]; Might, Matthew [Author]

    A Simple Complete Search for Logic Programming

    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; OASIcs - OpenAccess Series in Informatics. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), 2018

  12. Durden, Jennifer M. [Author]; Schoening, Timm [Author]; Althaus, Franziska [Author]; Friedman, Ariell [Author]; Garcia, Rafael [Author]; Glover, Adrian G. [Author]; Greinert, Jens [Author]; Stout, Nancy Jacobsen [Author]; Jones, Daniel O.B. [Author]; Jordt, Anne [Author]; Kaeli, Jeffrey [Author]; Köser, Kevin [Author]; Kuhnz, Linda A. [Author]; Lindsay, Dhugal [Author]; Morris, Kirsty J. [Author]; Nattkemper, Tim W. [Author]; Osterloff, Jonas [Author]; Ruhl, Henry A. [Author]; Singh, Hanumant [Author]; Tran, Maggie [Author]; Bett, Brian J. [Author] ; Hughes, R. N. [Contributor]; Hughes, D. J. [Contributor]; Smith, I. P. [Contributor]; Dale, A. C. [Contributor]

    Perspectives in visual imaging for marine biology and ecology: from acquisition to understanding

    Articles
    View online
    Close

    Bookmarks

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

    CRC Press, 2016-12-06

  13. Sydor, Svenja [Author]; Best, Jan [Author]; Messerschmidt, Insa [Author]; Manka, Paul Peter [Author]; Vilchez-Vargas, Ramiro [Author]; Brodesser, Susanne [Author]; Lucas, Christina [Author]; Wegehaupt, Annemarie [Author]; Wenning, Chiara [Author]; Aßmuth, Sophia Luisa [Author]; Hohenester, Simon [Author]; Link, Alexander [Author]; Faber, Klaas Nico [Author]; Moshage, Han [Author]; Cubero, Francisco Javier [Author]; Friedman, Scott L. [Author]; Gerken, Guido [Author]; Trauner, Michael [Author]; Canbay, Ali E. [Author]; Bechmann, Lars Peter [Author]

    Altered microbiota diversity and bile acid signaling in cirrhotic and noncirrhotic NASH-HCC

    Articles
    View online
    Close

    Bookmarks

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

    2020

    Published in: Clinical and translational gastroenterology ; Vol. 11.2020, 3, e00131, insgesamt 11 Seiten