Zum Inhalt springen

  1. Carette, Titouan [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Jeandel, Emmanuel [Mitwirkende:r]; Perdrix, Simon [Mitwirkende:r]

    Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes ; Wielding the ZX-calculus : Flexsymmetry, Mixed States and Scalable Notations

    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, 2021-11-23

  2. Déguernel, Ken [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Vincent, Emmanuel [Mitwirkende:r]; Assayag, Gérard [Mitwirkende:r]

    Apprentissage de structures musicales en contexte d'improvisation ; Learning of musical structures in the context of improvisation

    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, 2018-03-06

  3. Benslimane, Samy [Verfasser:in] ; Université de Montpellier (2022-.) [Mitwirkende:r]; Bringay, Sandra [Mitwirkende:r]; Bascoul Mollevi, Caroline [Mitwirkende:r]

    Analyse, détection et quantification de la controverse dans les médias sociaux par l’utilisation de modèle d’apprentissage profond sur des données structurelles et textuelles ; Analysis, detection and quantification of controversy on social media using deep learning models on structural and textual data

    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, 2023-12-08

  4. Clément, Alexandre [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Jeandel, Emmanuel [Mitwirkende:r]; Perdrix, Simon [Mitwirkende:r]

    Langages graphiques pour le contrôle quantique et l'optique linéaire ; Graphical Languages for Quantum Control and Linear Optics

    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, 2023-05-16

  5. Giménez García, José Miguel [Verfasser:in] ; Lyon [Mitwirkende:r]; Maret, Pierre [Mitwirkende:r]; Zimmermann, Antoine [Mitwirkende:r]

    Formalizing, Capturing, and Managing the Context of Statements in the Semantic Web ; Représentation et gestion des données contextuelles dans le Web sémantique

    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, 2022-07-18

  7. 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 7942-3 : Information technology - Computer graphics and image processing - Graphical Kernel Systems (GKS) - Part 3: Audit trail - [1999-02-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1999

    Erschienen in: ISO-Regelwerk- ISO-Normen

  8. 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 7942-4 : Information technology - Computer graphics and image processing - Graphical Kernel System (GKS) - Part 4: Picture part archive - [1998-09-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1998

    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 7942-2 : Information technology - Computer graphics and image processing - Graphical Kernel System (GKS) - Part 2: NDC metafile - [1997-09-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1997

    Erschienen in: ISO-Regelwerk- ISO-Normen

  10. ISO/TC 130 Drucktechnik, ISO/TC 130 Graphic technology, ISO/TC 130 Technologie graphique, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 5776 : Graphic technology - Symbols for text proof correction - [2022-12-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  11. ISO/TC 130 Drucktechnik, ISO/TC 130 Graphic technology, ISO/TC 130 Technologie graphique, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 16612-1 : Graphic technology - Variable printing data exchange - Part 1: Using PPML 2.1 and PDF 1.4 (PPML/VDX-2005) - [2005-12-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2005

    Erschienen in: ISO-Regelwerk- ISO-Normen

  12. 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, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/IEC 9593-4 Technical Corrigendum 1 : Information technology - Computer graphics - Programmer's Hierarchical Interactive Graphics System (PHIGS) language bindings - Part 4: C; Technical Corrigendum 1 - [1994-08-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1994

    Erschienen in: ISO-Regelwerk- ISO-Normen

  13. ISO/IEC JTC 1/SC 24 Graphische Datenverarbeitung und Bildverarbeitung, ISO/IEC JTC 1/SC 24 Computer graphics and image processing, ISO/CEI JTC 1/SC 24 Infographie et traitement de l'image, 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 18041-4 : Information technology - Computer graphics, image processing and environmental data representation - Environmental Data Coding Specification (EDCS) language bindings - Part 4: C - [2016-06-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2016

    Erschienen in: ISO-Regelwerk- ISO-Normen

  14. ISO/IEC JTC 1/SC 24 Graphische Datenverarbeitung und Bildverarbeitung, ISO/IEC JTC 1/SC 24 Computer graphics and image processing, ISO/CEI JTC 1/SC 24 Infographie et traitement de l'image, 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 18041-5 : Computer graphics, image processing and environmental data representation - Environmental Data Coding Specification (EDCS) language bindings - Part 5: C++ - [2023-12-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2023

    Erschienen in: ISO-Regelwerk- ISO-Normen

  15. ISO/TC 130 Drucktechnik, ISO/TC 130 Graphic technology, ISO/TC 130 Technologie graphique, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 28178 : Graphic technology - Exchange format for colour and process control data using XML or ASCII text - [2022-09-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2022

    Erschienen in: ISO-Regelwerk- ISO-Normen

  16. ISO/TC 130 Drucktechnik, ISO/TC 130 Graphic technology, ISO/TC 130 Technologie graphique, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 20616-1 : Graphic technology - File format for quality control and metadata - Part 1: Print requirements eXchange (PRX) - [2021-09-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2021

    Erschienen in: ISO-Regelwerk- ISO-Normen

  17. ISO/TC 130 Drucktechnik, ISO/TC 130 Graphic technology, ISO/TC 130 Technologie graphique, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 20616-2 : Graphic technology - File format for quality control and metadata - Part 2: Print Quality eXchange (PQX) - [2020-03-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2020

    Erschienen in: ISO-Regelwerk- ISO-Normen

  18. 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 14977 : Information technology - Syntactic metalanguage - Extended BNF - [1996-12-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1996

    Erschienen in: ISO-Regelwerk- ISO-Normen

  19. 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, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/IEC 9593-4 AMD 1 : Information technology; computer graphics; Programmer's Hierarchical Interactive Graphics System (PHIGS) language bindings; part 4: C; amendment 1 - [1994-05-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 1994

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. Nalpon, Nicolas [Verfasser:in] ; Toulouse, INSA [Mitwirkende:r]; Garoche, Pierre-Loïc [Mitwirkende:r]; Picard, Celia [Mitwirkende:r]

    Vers la vérification des langages de description d’interface utilisateur ; Towards the verification of user interface description languages

    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, 2023-03-13