Skip to contents

  1. Kori, Mayuko [Author]; Tsukada, Takeshi [Author]; Kobayashi, Naoki [Author] ; Mayuko Kori and Takeshi Tsukada and Naoki Kobayashi [Contributor]

    A Cyclic Proof System for HFL_ℕ

    Articles
    View online
    Close

    Bookmarks

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

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

  2. Bortoletto, Enrico [Author]; Lindner, Niels [Author]; Masing, Berenike [Author] ; Enrico Bortoletto and Niels Lindner and Berenike Masing [Contributor]

    Periodic Timetabling with Cyclic Order Constraints

    Articles
    View online
    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

  3. Berkovič, Jakov G. [Author]; Janko, Zvonimir [Author] ; Maslov, Viktor P. [Editor]; Neumann, Walter D. [Editor]; Pflaum, Markus J. [Editor]; Schleicher, Dierk [Editor]; Wells, Raymond O. [Editor]

    Groups of prime power order / Berkovič, Jakov G.*1938-* / Volume 5 / edited by Victor P. Maslov, Moscow, Russia; Walter D. Neumann, New York, USA; Markus J.Pflaum, Boulder, USA; Dierk Schleicher, Bremen, Germany; Raymond O.Wells, Bremen, Germany

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter, [2016]

    Published in: Groups of prime power order / Berkovič, Jakov G.*1938-* ; 5 - De Gruyter expositions in mathematics ; 62

  4. Berkovič, Jakov G. [Author]; Janko, Zvonimir [Author] ; Maslov, Viktor P. [Editor]; Neumann, Walter D. [Editor]; Pflaum, Markus J. [Editor]; Schleicher, Dierk [Editor]; Wells, Raymond O. [Editor]

    Groups of prime power order / volume 4, Groups of prime power order / Yakov G. Berkovich, Zvonimir Janko

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Boston: de Gruyter, Dezember 2015

    Published in: Groups of prime power order / by Yakov Berkovich ; 4 - De Gruyter expositions in mathematics ; 61

  5. Khalil, Maya [Author] ; Valenciennes [Contributor]; Sodaïgui, Bouchaïb [Contributor]

    Classes de Steinitz, codes cycliques de Hamming et classes galoisiennes réalisables d'extensions non abéliennes de degré p³ ; Steinitz classes, cyclic Hamming codes and realizable Galois module classes of nonabelian extensions of degree p³

    Thesis
    View online
    Close

    Bookmarks

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

    theses.fr, 2016-06-21

  6. ISO/TC 107 Metallische und andere anorganische Überzüge, ISO/TC 107 Metallic and other inorganic coatings, ISO/TC 107 Revêtements métalliques et autres revêtements inorganiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/DIS 21465 : Test method for CMAS corrosion of thermal/environmental barrier coatings under dynamic thermal cycling - [2024-03-00]

    Standards
    View online
    Close

    Bookmarks

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

    Geneve: International Organization for Standardization, 2024

    Published in: ISO-Regelwerk- ISO-Normen

  7. ISO/TC 107 Metallische und andere anorganische Überzüge, ISO/TC 107 Metallic and other inorganic coatings, ISO/TC 107 Revêtements métalliques et autres revêtements inorganiques, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 13123 : Metallic and other inorganic coatings - Test method of cyclic heating for thermal-barrier coatings under temperature gradient - [2011-12-00]

    Standards
    View online
    Close

    Bookmarks

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

    Geneve: International Organization for Standardization, 2011

    Published in: ISO-Regelwerk- ISO-Normen

  8. Baseilhac, P. [Author]; Gainutdinov, A.M [Author]; Vu, T.T [Author]

    Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials

    Books
    View online
    Close

    Bookmarks

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

    [Hamburg]: [Universität Hamburg, Fachbereich Mathematik], 5 Feb 2017

    Published in: Hamburger Beiträge zur Mathematik ; 595