Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
- theor. comput. sci. 8 Treffer
- mfps 3 Treffer
- ofc 3 Treffer
- inf. comput. 2 Treffer
- inf. process. lett. 2 Treffer
-
25 weitere Werte:
- acta cybern. 1 Treffer
- amast 1 Treffer
- appia-gulp-prode 1 Treffer
- caap 1 Treffer
- categorial methods in computer science 1 Treffer
- category theory and computer science 1 Treffer
- commun. acm 1 Treffer
- comput. und recht 1 Treffer
- corr 1 Treffer
- cp 1 Treffer
- eccv (9) 1 Treffer
- f-wan@icalp 1 Treffer
- icalp 1 Treffer
- int. j. comput. intell. syst. 1 Treffer
- ivic 1 Treffer
- logic and machines 1 Treffer
- mathematical foundations of programming semantics 1 Treffer
- mfcs 1 Treffer
- qpl 1 Treffer
- rairo theor. informatics appl. 1 Treffer
- tapsoft 1 Treffer
- theoretical computer science 1 Treffer
- theory and formal methods 1 Treffer
- vdm europe (1) 1 Treffer
- wcsp 1 Treffer
43 Treffer
-
In: IVIC, 2023, S. 52-62KonferenzZugriff:
-
In: OFC, 2023, S. 1-3KonferenzZugriff:
-
In: OFC, 2023, S. 1-3KonferenzZugriff:
-
In: ECCV (9), 2022, S. 176-192KonferenzZugriff:
-
In: CP, 2020, S. 620-636KonferenzZugriff:
-
In: Comput. und Recht, Jg. 37 (2021), Heft 10, S. 648-655academicJournalZugriff:
-
In: CoRR, Jg. abs/2207.05317 (2022)academicJournalZugriff:
-
In: OFC, 2020, S. 1-3KonferenzZugriff:
-
In: QPL, 2020, S. 174-187academicJournalZugriff:
-
In: Int. J. Comput. Intell. Syst., Jg. 12 (2019), Heft 1, S. 426-435academicJournalZugriff:
-
In: WCSP, 2011, S. 1-5KonferenzZugriff:
-
In: APPIA-GULP-PRODE, 1999, S. 183-196KonferenzZugriff:
-
In: Commun. ACM, Jg. 52 (2009), Heft 4, S. 136-141academicJournalZugriff:
-
In: VDM Europe (1), 1991, S. 268-278KonferenzZugriff:
-
In: Theor. Comput. Sci., Jg. 409 (2008), Heft 1, S. 110-125academicJournalZugriff:
-
In: Theor. Comput. Sci., Jg. 365 (2006), Heft 3, S. 216-236academicJournalZugriff:
-
In: TAPSOFT, 1995, S. 439-453KonferenzZugriff:
-
In: AMAST, 1995, S. 368-384KonferenzZugriff:
-
In: Category Theory and Computer Science, 1995, S. 117-145KonferenzZugriff:
-
In: Theory and Formal Methods, 1994, S. 283-305KonferenzZugriff: