Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical analysis 2 Treffer
- adjunction theory 1 Treffer
- calculus 1 Treffer
- computer logic 1 Treffer
- computer programming 1 Treffer
-
17 weitere Werte:
- computer science 1 Treffer
- concurrency 1 Treffer
- decision making 1 Treffer
- distributed computing 1 Treffer
- equivalence classes (set theory) 1 Treffer
- expressiveness 1 Treffer
- fixed point theory 1 Treffer
- logic 1 Treffer
- minimality 1 Treffer
- mobile ambients 1 Treffer
- model-checking 1 Treffer
- reynolds number 1 Treffer
- separation logic 1 Treffer
- spatial logic 1 Treffer
- spatial logics 1 Treffer
- spectrum analysis 1 Treffer
- undecidability 1 Treffer
Sprache
3 Treffer
-
In: Theoretical Computer Science, Jg. 560 (2014-12-04), S. 326-347Online academicJournal
-
In: Theoretical Computer Science, Jg. 358 (2006-08-07), Heft 2/3, S. 293-314Online academicJournal
-
In: Theoretical Computer Science, Jg. 330 (2005-02-09), Heft 3, S. 475-499Online academicJournal