Zum Inhalt springen

  1. Bietenhader, Thomas [VerfasserIn]

    Formal semantic specification of a core object-oriented language

    Elektronische Ressourcen
    Online ansehen
    Schließen

    Merkliste

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

    ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Software Engineering, 2004

  2. Kutter, Philipp W. [VerfasserIn] ; Institut für Technische Informatik und Kommunikationsnetze Zürich [MitwirkendeR]; Odersky, Martin [MitwirkendeR]; Thiele, Lothar [MitwirkendeR]

    Montages: engineering of computer languages

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

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

    Erschienen in: TIK-Schriftenreihe, 060

  3. ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik, ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology, ISO/CEI JTC 1 Technologies de l'information, 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 10206 : Information technology; programming languages; extended PASCAL - [1991-04-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 1991

    Erschienen in: ISO-Regelwerk- ISO-Normen

  4. Ong, Luke [VerfasserIn] ; Queiroz, Ruy [Sonstige Person, Familie und Körperschaft]

    Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7456

  5. Dawar, Anuj [VerfasserIn] ; Queiroz, Ruy [Sonstige Person, Familie und Körperschaft]

    Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6188

  6. Hodges, Wilfrid [Sonstige Person, Familie und Körperschaft]; Queiroz, Ruy [Sonstige Person, Familie und Körperschaft]

    Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5110

  7. De Cock, Laure [VerfasserIn]; Verstockt, Steven [VerfasserIn]; Vandeviver, Christophe [VerfasserIn]; Van de Weghe, Nico [VerfasserIn] ; Laure De Cock and Steven Verstockt and Christophe Vandeviver and Nico Van de Weghe [MitwirkendeR]

    Smart Crowd Management: The Data, the Users and the Solution (Short Paper)

    Aufsätze
    Online ansehen
    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, 2022

  8. ISO/IEC JTC 1/SC 31 Automatische Identifikation und Datenerfassungsverfahren, ISO/IEC JTC 1/SC 31, ISO/CEI JTC 1/SC 31, 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 DIS 15434 : Information technology - Automatic identification and data capture techniques - Syntax for high-capacity ADC media - [2024-02-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2024

    Erschienen in: ISO-Regelwerk- ISO-Normen

  9. ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik, ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology, ISO/CEI JTC 1 Technologies de l'information, 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 15434 : Information technology - Automatic identification and data capture techniques - Syntax for high-capacity ADC media - [2019-02-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2019

    Erschienen in: ISO-Regelwerk- ISO-Normen

  10. Beklemishev, Lev D. [VerfasserIn] ; Queiroz, Ruy [HerausgeberIn]

    Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6642

  11. ISO/IEC JTC 1/SC 37 Biometrie, ISO/IEC JTC 1/SC 37 Biometrics, ISO/CEI JTC 1/SC 37 Biométrie, 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 29120-1 : Information technology - Machine-readable test data for biometric testing and reporting - Part 1: Test reports - [2022-10-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  12. Pusch, Claus D. [VerfasserIn]

    The attitudinal meaning of preverbal markers in Gascon: insights from the analysis of literary and spoken language data

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam: Benjamins, [2000]

    Erschienen in: Pragmatic markers and propositional attitude

  13. Žižka, Jan [HerausgeberIn]; Dařena, František [HerausgeberIn] ; IGI Global

    Modern computational models of semantic discovery in natural languages

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA): IGI Global, 2015

  14. 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 24707 : Information technology - Common Logic (CL) - A framework for a family of logic-based languages - [2018-07-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2018

    Erschienen in: ISO-Regelwerk- ISO-Normen

  15. 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-8 : Information technology - Guidance for the use of database language SQL - Part 8: Multidimensional arrays - [2021-08-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Geneve: International Organization for Standardization, 2021

    Erschienen in: ISO-Regelwerk- ISO-Normen

  16. DIN-Normenausschuss Auto und Mobilität (NAAutomobil), DIN Standards Committee Road Vehicles and Mobility, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN CEN/TS 16986*DIN SPEC 74098 : Electronic Fee Collection - Interoperable application profiles for information exchange between Service Provision and Toll Charging; English version CEN/TS 16986:2016 - [2016-12-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Wien, Zürich: Beuth Verlag, 2016

    Erschienen in: DIN-Regelwerk