Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 6 Treffer
- concurrency 6 Treffer
- spatial logic 6 Treffer
- expressiveness 5 Treffer
- separation logic 5 Treffer
-
45 weitere Werte:
- spatial logics 5 Treffer
- undecidability 5 Treffer
- mathematical analysis 4 Treffer
- minimality 4 Treffer
- model-checking 4 Treffer
- mobile ambients 3 Treffer
- adjunction theory 2 Treffer
- applied sciences 2 Treffer
- artificial intelligence 2 Treffer
- calculus 2 Treffer
- computer logic 2 Treffer
- computer programming 2 Treffer
- computer science; control theory; systems 2 Treffer
- computer theory 2 Treffer
- decision making 2 Treffer
- distributed computing 2 Treffer
- eliminacion 2 Treffer
- elimination 2 Treffer
- equivalence classes (set theory) 2 Treffer
- exact sciences and technology 2 Treffer
- fixed point theory 2 Treffer
- general logic 2 Treffer
- informatica teorica 2 Treffer
- informatique 2 Treffer
- informatique theorique 2 Treffer
- informatique; automatique theorique; systemes 2 Treffer
- logic 2 Treffer
- logic and foundations 2 Treffer
- logique et fondements 2 Treffer
- logique generale 2 Treffer
- logique mathematique, fondements, theorie des ensembles 2 Treffer
- logique spatiale 2 Treffer
- mathematical logic, foundations, set theory 2 Treffer
- mathematics 2 Treffer
- mathematiques 2 Treffer
- reynolds number 2 Treffer
- sciences and techniques of general use 2 Treffer
- sciences appliquees 2 Treffer
- sciences et techniques communes 2 Treffer
- sciences exactes et technologie 2 Treffer
- spectrum analysis 2 Treffer
- theoretical computing 2 Treffer
- 68q55 1 Treffer
- 68q60 1 Treffer
- 68t37 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: Theoretical Computer Science, Jg. 560 (2014-12-04), Heft Part 3, S. 326-347Online academicJournal
-
In: THEORETICAL COMPUTER SCIENCE, Jg. 358 (2006), Heft 2/3, S. 293-314KonferenzZugriff:
-
In: Concurrency Theory (CONCUR 2004), Jg. 358 (2006), Heft 2-3, S. 293-314Online Konferenz
-
In: Expressiveness in Concurrency, Jg. 330 (2005), Heft 3, S. 475-499Online Konferenz
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Theoretical Computer Science, Jg. 402 (2008-08-01), S. 120-141Online unknownZugriff: