Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- congruence class 1 Treffer
- data refinement 1 Treffer
- directed graph 1 Treffer
- dynamic programming algorithm 1 Treffer
- empty string 1 Treffer
-
20 weitere Werte:
- equivalence relation 1 Treffer
- expressive power 1 Treffer
- formal language theory 1 Treffer
- free monoid 1 Treffer
- function type 1 Treffer
- linear logic 1 Treffer
- mathematical linguistics 1 Treffer
- mathematical object 1 Treffer
- minimal element 1 Treffer
- model check 1 Treffer
- natural transformation 1 Treffer
- optimal tree 1 Treffer
- path cost 1 Treffer
- path expression 1 Treffer
- path query 1 Treffer
- query evaluation 1 Treffer
- query performance 1 Treffer
- structural rule 1 Treffer
- visual language 1 Treffer
- young tableau 1 Treffer
Publikation
- advances in database technology - edbt 2004 : 9th international conference on extending database technology, heraklion, crete, greece, march 14-18, 2004 2 Treffer
- automata, languages and programming : 31st international colloquium, icalp 2004, turku, finland, july 12-16, 2004. proceedings 2 Treffer
- b'98: recent advances in the development and use of the b method : second international b conference montpellier, france, april 22-24, 1998 proceedings 1 Treffer
- combinatorics on words : 9th international conference, words 2013, turku, finland, september 16-20. proceedings 1 Treffer
- multiset processing : mathematical,computer science, and molecular computing points of view 1 Treffer
7 Treffer
-
2013Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
1998Online E-BookZugriff: