Skip to contents

  1. Kutter, Philipp W. [Author] ; Institut für Technische Informatik und Kommunikationsnetze Zürich [Contributor]; Odersky, Martin [Contributor]; Thiele, Lothar [Contributor]

    Montages: engineering of computer languages

    Thesis
    View online
    Close

    Bookmarks

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

    TIK Institut für Technische Informatik und Kommunikationsnetze, ETH Eidgenössische Technische Hochschule Zürich, 2004

    Published in: TIK-Schriftenreihe, 060

  2. Heule, Stefan [Author]; Kassios, Ioannis T. [Author]; Müller, Peter [Author]; Summers, Alexander J. [Author]

    Verification condition generation for permission logics with abstract predicates and abstraction functions

    Books
    View online
    Close

    Bookmarks

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

    ETH Zurich, 2012

    Published in: Technical Report / ETH Zurich, Department of Computer Science, 776

  3. ISO/IEC JTC 1/SC 22 Programmiersprachen, ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces, ISO/CEI JTC 1/SC 22, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 1989 : Information technology - Programming languages, their environments and system software interfaces - Programming language COBOL - [2023-01-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, 2023

    Published in: ISO-Regelwerk- ISO-Normen

  4. ISO/TC 154 Prozesse, Datenelemente und Dokumente in Handel, Industrie und Verwaltung, ISO/TC 154 Processes, data elements and documents in commerce, industry and administration, ISO/TC 154 Processus, éléments d'informations et documents dans le commerce, l'industrie et l'administration, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 15000-3 : Electronic business eXtensible Markup Language (ebXML) - Part 3: Registry and repository - [2023-01-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, 2023

    Published in: ISO-Regelwerk- ISO-Normen

  5. ISO/IEC JTC 1/SC 22 Programmiersprachen, ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces, ISO/CEI JTC 1/SC 22, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 24716 : Information technology - Programming languages, their environment and system software interfaces - Native COBOL syntax for XML support - [2007-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, 2007

    Published in: ISO-Regelwerk- ISO-Normen

  6. ISO/IEC JTC 1/SC 32 Daten-Management und Daten-Austausch, ISO/IEC JTC 1/SC 32, ISO/CEI JTC 1/SC 32, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 19075-5 : Information technology - Guidance for the use of database language SQL - Part 5: Row pattern recognition - [2021-08-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, 2021

    Published in: ISO-Regelwerk- ISO-Normen