Zum Inhalt springen

  2. Bébéar, Catherine [Herausgeber:in]; Dubois, Henri [Sonstige Person, Familie und Körperschaft] ; Deutsches Historisches Institut Paris

    Le livre des délibérations de la Grande Saunerie de Salins (1466 - 1481) : transcription du Ms. 1 B 187 des Archives Départementales du Doubs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ostfildern: Thorbecke, 2004

    Erschienen in: Instrumenta ; 13

  3. Dukas, Paul [Komponist:in] ; Niquet, Hervé [Dirigent:in]; Kalinine, Marie [Sänger:in]; Dubois, Cyrille [Sänger:in]; Hunold, Catherine [Sänger:in]; Aldrich, Kate [Sänger:in]; Christoyannis, Tassis [Sänger:in]; Santon-Jeffery, Chantal [Sänger:in]; Fiset, Marianne [Sänger:in]; Antoun, Frédéric [Sänger:in]; Foster-Williams, Andrew [Sänger:in] Belgische Radio en Televisie Brüssel Koor, Brussels Philharmonic

    Cantates, chœurs et musique symphonique - [édition limitée et numérotée à 2500 exemplaires, cet exemplaire a le numéro 0271] (2 CDs)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Venezia - Italie: Palazzetto Bru Zane, [2015] ; San Lorenzo de El Escorial - Espagne: Ediciones Singulares, [2015]

    Erschienen in: Livres-disques du Palazzetto Bru Zane ; p,5

  4. Rameau, Jean-Philippe [Komponist:in]; Marmontel, Jean François [Librettist:in] ; Devieilhe, Sabine [Sänger:in]; Dubois, Cyrille [Sänger:in]; Witczak, David [Sänger:in]; Wanroij, Judith van [Sänger:in]; Kossenko, Alexis [Dirigent:in] Les Chantres de la Chapelle de Versailles, Les Ambassadeurs Musikgruppe : Frankreich, La Grande Écurie et la chambre du roy Musikgruppe

    Achante et Céphise ou La Sympathie : Pastorale héroïque en trois actes (1751) (2 CDs)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Hamburg]: Erato, [2021]

  5. Auber, Daniel-François-Esprit [Komponist:in]; Campra, André [Komponist:in]; Saint-Saëns, Camille [Komponist:in]; Lalande, Michel-Richard de [Komponist:in]; Charpentier, Marc-Antoine [Komponist:in]; Gounod, Charles [Komponist:in]; Fauré, Gabriel [Komponist:in]; Adam, Adolphe [Komponist:in]; Franck, César [Komponist:in]; Goudimel, Claude [Komponist:in]; Lasso, Orlando di [Komponist:in]; Bouzignac, Guillaume [Komponist:in]; Cosset, François [Komponist:in]; Hardouin, Henri [Komponist:in]; Rameau, Jean-Philippe [Komponist:in]; Mazé, Philippe [Komponist:in]; Dubois, Théodore [Komponist:in]; La Rue, Pierre de [Komponist:in]; Meyerbeer, Giacomo [Komponist:in]; Du Mont, Henry [Komponist:in]; Marchand, Louis-Joseph [Komponist:in]; Castagnet, Yves [Komponist:in]; Vierne, Louis [Komponist:in]; Widor, Charles-Marie [Komponist:in]; ; Rouger, Denis [Herausgeber:in]

    Französische Chormusik : 45 geistliche Chöre und Motetten vom 15.-21. Jahrhundert für gemischten Chor a capella oder mit Orgel/Klavier = French choral music : 45 sacred choruses and motets from 15th to 21st century for mixed choir a capella or with organ/piano accompaniment = Musique chorale francaise : 45 choeurs et motets sacrés du XVe au XXIe siècle pour choeur mixte a capella ou avec accompagnement d'orgue/piano - Partitur

    Noten
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Carus-Verlag, [2018]

  6. Poelman, Ronald [Verfasser:in] ; Rilke, Rainer Maria [Sonstige Person, Familie und Körperschaft]; Mayer, Norbert J. [Sonstige Person, Familie und Körperschaft]; Jandl, Ernst [Sonstige Person, Familie und Körperschaft]; Kaléko, Mascha [Sonstige Person, Familie und Körperschaft]; Morgenstern, Christian [Sonstige Person, Familie und Körperschaft]; Brecht, Bertolt [Sonstige Person, Familie und Körperschaft]; Roth, Eugen [Sonstige Person, Familie und Körperschaft]; Fried, Erich [Sonstige Person, Familie und Körperschaft]; Eich, Günter [Sonstige Person, Familie und Körperschaft]; Hesse, Hermann [Sonstige Person, Familie und Körperschaft]; Kästner, Erich [Sonstige Person, Familie und Körperschaft]

    Starke Gefühle : Klavierstücke zu Gedichten von Brecht, Heine, Hesse, Kaléko, Jandl, Kästner und anderen

    Noten
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aarau: Musikedition Nepomuk, 2002

  7. Brunnée, Jutta [Herausgeber:in]; Doelle, Meinhard [Sonstige Person, Familie und Körperschaft]; Rajamani, Lavanya [Sonstige Person, Familie und Körperschaft]

    Promoting compliance in an evolving climate regime - [1. publ.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  8. Dubois, Catherine [Herausgeber:in] ; Workshop on Proof eXchange for Theorem Proving 5. 2017 Brasília, Open Publishing Association

    Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving : Brasília, Brazil, 23-24 September 2017

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Waterloo, NSW]: [Open Publishing Association], 4th December 2017

    Erschienen in: Electronic proceedings in theoretical computer science ; 262

  9. Dubois, Catherine [Herausgeber:in] ; STAF 2016 Wien

    STAF16-DS-PS 2016: STAF 2016 Doctoral Symposium and Projects Showcase : joint proceedings of the Doctoral Symposium and Projects Showcase held as part of STAF 2016, co-located with Software Technologies: Applications and Foundations (STAF 2016) : Vienna, Austria, July 4-7, 2016

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2016]

    Erschienen in: CEUR workshop proceedings ; 167500

  10. Dubois, Catherine [Herausgeber:in]; Kerber, Manfred [Herausgeber:in]

    Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings - [1st ed. 2023.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 14101

  11. Dubois, Catherine [Herausgeber:in]; Cohen, Julien [Herausgeber:in] ; International Workshop on Bidirectional Transformations 10. 2022 Nantes; Online

    STAF-WS 2022, Software Technologies: Applications and Foundations workshops 2022 : STAF 2022 workshop proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)) : Nantes, France, July 5-8, 2022

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Aachen, Germany]: [RWTH Aachen], 2022-10-26

    Erschienen in: CEUR workshop proceedings ; 3250

  16. Dubois, Catherine [Herausgeber:in]; San Pietro, Pierluigi [Herausgeber:in]

    Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings - [1st ed. 2023.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Computer Science ; 13962

  17. Cristiá, Maximiliano [Herausgeber:in]; Delahaye, David [Herausgeber:in]; Dubois, Catherine [Herausgeber:in] ; International Workshop on Sets and Tools 3. 2018 Southampton

    Sets and tools : SETS 2018 : proceedings of the 3rd International Workshop on Sets and Tools, co-located with the 6th International ABZ Conference (ABZ 2018) : Southamptom, United Kingdom, June 5, 2018

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2018]

    Erschienen in: CEUR workshop proceedings ; 219900

  18. Pham, Thi-Kim-Dung [Verfasser:in] ; Paris, CNAM [Mitwirkende:r]; Dubois, Catherine [Mitwirkende:r]; Lévy, Nicole [Mitwirkende:r]

    Development of Correct-by-Construction Software using Product Lines ; Développement de logiciels corrects par construction à partir de lignes de produits

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-11-16

  19. Dubois, Catherine [Herausgeber:in]; Masci, Paolo [Herausgeber:in]; Méry, Dominique [Herausgeber:in] ; Workshop on Formal Integrated Development Environment 3. 2016 Limassol, Open Publishing Association

    Proceedings of the Third Workshop on Formal Integrated Development Environment : Limassol, Cyprus, November 8, 2016

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Waterloo, NSW]: [Open Publishing Association], 27th January 2017

    Erschienen in: Electronic proceedings in theoretical computer science ; 240

  20. Furia, Carlo A. [Verfasser:in]; Poskitt, Christopher M. [Verfasser:in]; Tschannen, Julian [Verfasser:in] ; Dubois, Catherine [Mitwirkende:r]; Masci, Paolo [Mitwirkende:r]; Méry, Dominique [Mitwirkende:r]

    The AutoProof Verifier: Usability by Non-Experts and on Standard Code

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2015

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 187 ; Proceedings Second International Workshop on Formal Integrated Development Environment (F-IDE 2015), Oslo, Norway, June 22, 2015