Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- genie logiciel 3 Treffer
- mathematics 3 Treffer
- mathematiques 3 Treffer
- sciences and techniques of general use 3 Treffer
- sciences et techniques communes 3 Treffer
-
45 weitere Werte:
- software engineering 3 Treffer
- analyse flux donnee 2 Treffer
- data flow analysis 2 Treffer
- demonstration theoreme 2 Treffer
- demostracion teorema 2 Treffer
- logic and foundations 2 Treffer
- logique et fondements 2 Treffer
- logique mathematique, fondements, theorie des ensembles 2 Treffer
- mathematical logic, foundations, set theory 2 Treffer
- memory organisation. data processing 2 Treffer
- organisation des memoires. traitement des donnees 2 Treffer
- theorem proving 2 Treffer
- theoretical computing 2 Treffer
- 03d55 1 Treffer
- 17a50 1 Treffer
- 68q10 1 Treffer
- 68q60 1 Treffer
- abstract interpretation 1 Treffer
- algebra 1 Treffer
- algebre 1 Treffer
- algebre libre 1 Treffer
- algebres et anneaux non associatifs 1 Treffer
- analisis intervalo 1 Treffer
- analisis programa 1 Treffer
- analyse intervalle 1 Treffer
- analyse programme 1 Treffer
- asistencia ordenador 1 Treffer
- assistance ordinateur 1 Treffer
- combinatoire 1 Treffer
- combinatoire mot 1 Treffer
- combinatoire. structures ordonnees 1 Treffer
- combinatorics 1 Treffer
- combinatorics. ordered structures 1 Treffer
- computadora 1 Treffer
- computer 1 Treffer
- computer aid 1 Treffer
- computer security 1 Treffer
- condicion suficiente 1 Treffer
- condition suffisante 1 Treffer
- construccion 1 Treffer
- construccion modular 1 Treffer
- construction 1 Treffer
- construction modulaire 1 Treffer
- data flow 1 Treffer
- data processing. list processing. character string processing 1 Treffer
Publikation
4 Treffer
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 399-442Online academicJournal
-
In: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal
-
In: Applied Semantics: Selected Topics, Jg. 342 (2005), Heft 1, S. 56-78Online Konferenz
-
In: Applied semantics, Jg. 364 (2006), Heft 3, S. 273-291Online Konferenz