Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
42 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Verlag

Sprache

Inhaltsanbieter

42 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computer-assisted enumeration of finite geometries related to quantum contextuality
    Giorgetti, Alain ; Muller, Axel ; et al.
    In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Computer-assisted enumeration of finite geometries related to quantum contextuality
    Giorgetti, Alain ; Muller, Axel ; et al.
    In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Computer-assisted enumeration of finite geometries related to quantum contextuality
    Giorgetti, Alain ; Muller, Axel ; et al.
    In: Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-04038651 ; Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Instantiation of Parameterized Data Structures for Model-Based Testing
    Bouquet, Fabrice ; Couchot, Jean-François ; et al.
    In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Instantiation of Parameterized Data Structures for Model-Based Testing
    Bouquet, Fabrice ; Couchot, Jean-François ; et al.
    In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Instantiation of Parameterized Data Structures for Model-Based Testing
    Bouquet, Fabrice ; Couchot, Jean-François ; et al.
    In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Self-autofocusing using deep learning for digital holography and applied to position measurement
    Cuenat, Stéphane ; André, Antoine ; et al.
    In: 21th International Symposium on Optomechatronic Technology ; https://hal.science/hal-03551914 ; 21th International Symposium on Optomechatronic Technology, Nov 2021, Besançon, France, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Self-autofocusing using deep learning for digital holography and applied to position measurement
    Cuenat, Stéphane ; André, Antoine ; et al.
    In: 21th International Symposium on Optomechatronic Technology ; https://hal.science/hal-03551914 ; 21th International Symposium on Optomechatronic Technology, Nov 2021, Besançon, France, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Quelques aspects de la génération d'aléa en informatique
    Guyeux, Christophe ; Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST) ; et al.
    In: Journées Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-03818669 ; Journées Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Quelques aspects de la génération d'aléa en informatique
    Guyeux, Christophe ; Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST) ; et al.
    In: Journées Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique ; https://hal.science/hal-03818669 ; Journées Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique, Nov 2022, Besançon, France, 2022
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Spécification et vérification formelle d’opérations sur les permutations
    Genestier, Richard ; Giorgetti, Alain ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-02131148 ; Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Vérification formelle de programmes de génération de données structurées
    Genestier, Richard ; Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST) ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-02991582 ; Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Spécification et vérification formelle d’opérations sur les permutations
    Genestier, Richard ; Giorgetti, Alain ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.archives-ouvertes.fr/hal-02131148 ; Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Vérification formelle de programmes de génération de données structurées
    Genestier, Richard ; Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST) ; et al.
    In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.archives-ouvertes.fr/hal-02991582 ; Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France, 2016
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Self-autofocusing using deep learning for digital holography and applied to position measurement
    Cuenat, Stéphane ; André, Antoine ; et al.
    In: 21th International Symposium on Optomechatronic Technology ; https://hal.science/hal-03551914 ; 21th International Symposium on Optomechatronic Technology, Nov 2021, Besançon, France, 2021
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Tree-structured knowledge in a distributed intelligent MEMS application
    Sato, Atsushi ; Dedu, Eugen ; et al.
    In: Workshop on Design, Control and Software Implementation for Distributed MEMS ; https://hal.science/hal-03223576 ; Workshop on Design, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Tree-structured knowledge in a distributed intelligent MEMS application
    Sato, Atsushi ; Dedu, Eugen ; et al.
    In: Workshop on Design, Control and Software Implementation for Distributed MEMS ; https://hal.archives-ouvertes.fr/hal-03223576 ; Workshop on Design, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Formal Methods for Multiscale Models Derivation
    Dhara, Raj ; Yang, Bin ; et al.
    In: CFM 2011, 20ème Congrès Français de Mécanique ; https://hal.science/hal-01223779 ; CFM 2011, 2011
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Formal Methods for Multiscale Models Derivation
    Dhara, Raj ; Yang, Bin ; et al.
    In: CFM 2011, 20ème Congrès Français de Mécanique ; https://hal.archives-ouvertes.fr/hal-01223779 ; CFM 2011, 2011
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Distributed discrete state acquisition and concurrent pattern recognition in a MEMS-based smart surface
    El Baz, Didier ; Boyer, Vincent ; et al.
    In: dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS ; https://hal.science/hal-01313632 ; dMEMS'10, 2010
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -