Zum Inhalt springen

  1. Benker, Heinz [Verfasser:in]; Zettel, Georg [Verfasser:in]; Byrd, William [Komponist:in]; Marpurg, Friedrich Wilhelm [Komponist:in]; Haydn, Joseph [Komponist:in]; Mozart, Wolfgang Amadeus [Komponist:in]; Beethoven, Ludwig van [Komponist:in]; Schubert, Franz [Komponist:in]; Schumann, Robert [Komponist:in]; Mendelssohn Bartholdy, Felix [Komponist:in]; Chopin, Frédéric [Komponist:in]; Liszt, Franz [Komponist:in]; Brahms, Johannes [Komponist:in]; Farnaby, Giles [Komponist:in]; Musorgskij, Modest Petrovič [Komponist:in]; Čajkovskij, Pëtr Ilʹič [Komponist:in]; Dvořák, Antonín [Komponist:in]; Grieg, Edvard [Komponist:in]; Debussy, Claude [Komponist:in]; Reger, Max [Komponist:in]; Rachmaninov, Sergej Vasilʹevič [Komponist:in]; Schönberg, Arnold [Komponist:in]; Bartók, Béla [Komponist:in]; Kodály, Zoltán [Komponist:in]; [...]

    Leichte Klaviermusik aus fünf Jahrhunderten : mit Zitaten und Zeugnissen über Leben und Werk der Komponisten

    Noten
    Schließen

    Merkliste

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

    München: Müller, 1969

  2. Bodky, Erwin [Verfasser:in]; Peerson, Martin [Komponist:in]; Biber, Heinrich Ignaz Franz [Komponist:in]; Couperin, François [Komponist:in]; Dandrieu, Jean-François [Komponist:in]; Rameau, Jean-Philippe [Komponist:in]; Händel, Georg Friedrich [Komponist:in]; Bach, Johann Sebastian [Komponist:in]; Muffat, Gottlieb [Komponist:in]; Bach, Carl Philipp Emanuel [Komponist:in]; Beethoven, Ludwig van [Komponist:in]; Schubert, Franz [Komponist:in]; Mendelssohn Bartholdy, Felix [Komponist:in]; Chopin, Frédéric [Komponist:in]; Liszt, Franz [Komponist:in]; Brahms, Johannes [Komponist:in]; Reger, Max [Komponist:in]; Grieg, Edvard [Komponist:in]; Dvořák, Antonín [Komponist:in]; Čajkovskij, Pëtr Ilʹič [Komponist:in]; Blacher, Boris [Komponist:in]; Prokofʹev, Sergej Sergeevič [Komponist:in]; Reutter, Hermann [Komponist:in]; Hessenberg, Kurt [Komponist:in] ; Reichardt, Johann Friedrich [Sonstige Person, Familie und Körperschaft]

    Das Charakterstück

    Noten
    Schließen

    Merkliste

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

    Wolfenbüttel: Möseler, [1961]

    Erschienen in: Musikalische Formen in historischen Reihen

  3. Reger, Giles [Herausgeber:in]; Zohar, Yoni [Herausgeber:in] ; International Workshop on Satisfiability Modulo Theories 22. 2024 Montréal

    Satisfiability Modulo Theories, 22nd International Workshop - SMT 2024 : proceedings : Montreal, Canada, affiliated with CAV-36, July 22-23, 2024

    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], 2024-07-11

    Erschienen in: CEUR workshop proceedings ; 3725

  4. Konev, Boris [Herausgeber:in]; Reger, Giles [Herausgeber:in]

    Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings - [1st ed. 2021.]

    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 International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 12941

  5. Reger, Giles [Herausgeber:in]; Traytel, Dmitriy [Herausgeber:in] ; International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements 1. 2017 Göteborg

    ARCADE 2017 : 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

    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.

    [Manchester]: EasyChair, November 8, 2017

    Erschienen in: EPiC series in computing ; 51

  7. Rawson, Michael [Verfasser:in]; Reger, Giles [Verfasser:in]

    Directed Graph Networks for Logical Reasoning (Extended Abstract)

    Aufsätze
    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.

    2020

    Erschienen in: Workshop on Practical Aspects of Automated Reasoning (7. : 2020 : Online): PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 ; (2020), Seite 109-119

  8. Gurov, Dilian [Verfasser:in]; Hähnle, Reiner [Verfasser:in]; Huisman, Marieke [Verfasser:in]; Reger, Giles [Verfasser:in]; Lidström, Christian [Verfasser:in] ; Dilian Gurov and Reiner Hähnle and Marieke Huisman and Giles Reger and Christian Lidström [Mitwirkende:r]

    Principles of Contract Languages (Dagstuhl Seminar 22451)

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  9. Rawson, Michael [Verfasser:in]; Suda, Martin [Verfasser:in]; Hozzová, Petra [Verfasser:in]; Reger, Giles [Verfasser:in]

    Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)

    Aufsätze
    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.

    2022

    Erschienen in: Workshop on Practical Aspects of Automated Reasoning (8. : 2022 : Haifa): PAAR 2022: Practical Aspects of Automated Reasoning 2022 ; 2022

  10. Havelund, Klaus [Verfasser:in]; Leucker, Martin [Verfasser:in]; Reger, Giles [Verfasser:in]; Stolz, Volker [Verfasser:in] ; Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz [Mitwirkende:r]

    A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018