Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 6 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- [info]computer science [cs] 2 Treffer
Verlag
Sprache
11 Treffer
-
In: 22nd International Conference on Developments in Language Theory (DLT 2018) ; https://inria.hal.science/hal-01937635 ; 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan, 2018Online KonferenzZugriff:
-
In: 22nd International Conference on Developments in Language Theory (DLT 2018) ; https://hal.inria.fr/hal-01937635 ; 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan, 2018Online KonferenzZugriff:
-
In: Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016Online KonferenzZugriff:
-
In: Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016Online KonferenzZugriff:
-
In: Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016Online KonferenzZugriff:
-
In: Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016Online KonferenzZugriff:
-
In: Automated Software Engineering ; 21st IEEE/ACM International Conference on Automated Software Engineering ; https://hal.science/hal-00149566 ; 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩, 2006Online KonferenzZugriff:
-
In: Automated Software Engineering ; 21st IEEE/ACM International Conference on Automated Software Engineering ; https://hal.archives-ouvertes.fr/hal-00149566 ; 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩, 2006Online KonferenzZugriff:
-
In: ICDE '05 Proceedings of the 21st International Conference on Data Engineering ; https://inria.hal.science/hal-00689347 ; ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. pp.1122-1123, ⟨10.1109/ICDE.2005.38⟩, 2005KonferenzZugriff:
-
In: ICDE '05 Proceedings of the 21st International Conference on Data Engineering ; https://inria.hal.science/hal-00689347 ; ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. pp.1122-1123, ⟨10.1109/ICDE.2005.38⟩, 2005KonferenzZugriff:
-
In: ICDE '05 Proceedings of the 21st International Conference on Data Engineering ; https://hal.inria.fr/hal-00689347 ; ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. pp.1122-1123, ⟨10.1109/ICDE.2005.38⟩, 2005KonferenzZugriff: