Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- language theory and syntactical analysis 35 Treffer
- theorie des langages et analyse syntaxique 35 Treffer
- algorithmics. computability. computer arithmetics 32 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 32 Treffer
- mathematics 26 Treffer
-
45 weitere Werte:
- mathematiques 26 Treffer
- computer theory 24 Treffer
- informatica teorica 24 Treffer
- automatique, recherche operationnelle 22 Treffer
- control theory, operational research 22 Treffer
- sciences and techniques of general use 18 Treffer
- sciences et techniques communes 18 Treffer
- language theory 15 Treffer
- teoria lenguaje 15 Treffer
- theorie langage 15 Treffer
- langage formel 14 Treffer
- regular language 14 Treffer
- decidabilite 13 Treffer
- decidability 13 Treffer
- decidibilidad 13 Treffer
- formal language 13 Treffer
- langage rationnel 13 Treffer
- lenguaje formal 13 Treffer
- lenguaje racional 13 Treffer
- logiciel 12 Treffer
- software 12 Treffer
- context free language 11 Treffer
- langage cf 11 Treffer
- lenguaje cf 11 Treffer
- morfismo 10 Treffer
- morphism 10 Treffer
- morphisme 10 Treffer
- combinatoire mot 9 Treffer
- divers 9 Treffer
- memory organisation. data processing 9 Treffer
- miscellaneous 9 Treffer
- organisation des memoires. traitement des donnees 9 Treffer
- combinatoire 8 Treffer
- combinatorics 8 Treffer
- word combinatorics 8 Treffer
- data processing. list processing. character string processing 7 Treffer
- infinite word 7 Treffer
- mot 7 Treffer
- mot infini 7 Treffer
- palabra 7 Treffer
- palabra infinita 7 Treffer
- traitement des donnees. listes et chaines de caracteres 7 Treffer
- word 7 Treffer
- automata. abstract machines. turing machines 6 Treffer
- automates. machines abstraites. machines de turing 6 Treffer
Verlag
Publikation
- lecture notes in computer science 18 Treffer
- theoretical computer science 18 Treffer
- informatique theorique et applications (imprime) 10 Treffer
- discrete applied mathematics 6 Treffer
- acta informatica 4 Treffer
-
37 weitere Werte:
- information processing letters 3 Treffer
- theoretical informatics and applications 3 Treffer
- formal and natural computing-eessays dedicated to grzegorz rozenberg 2 Treffer
- theory is forever : essays dedicated to arto salomaa on the occasion of this 70th birthday 2 Treffer
- a bird's eye view of theory 1 Treffer
- advances in applied mathematics (print) 1 Treffer
- automata, languages and programming (geneva, 9-15 july 2000) 1 Treffer
- cit. journal of computing and information technology 1 Treffer
- computer journal (print) 1 Treffer
- computers and artificial intelligence 1 Treffer
- developments in grammar systems 1 Treffer
- discrete mathematics 1 Treffer
- dlt 2001 : developments in language theory (wien, 16-21 july 2001, revised papers) 1 Treffer
- dlt 2003 : developements in language theory (szeged, 7-11 july 2003) 1 Treffer
- fct 2003 : fundamentals of computation theory (malmo, 12-15 august 2003) 1 Treffer
- fct '99 : fundamentals of computation theory (iasi, 30 august - 3 september 1999) 1 Treffer
- formal aspects of computing 1 Treffer
- formal languages and applications: a collection of paper in honor of sheng yu 1 Treffer
- fuzzy sets and systems 1 Treffer
- implementation and applications of automata (santa barbara ca, 16-18 july 2003) 1 Treffer
- insightful theory 1 Treffer
- international journal of computer mathematics 1 Treffer
- international journal of intelligent systems 1 Treffer
- mfcs 2001 : mathematical foundations of computer science (marianske lazne, 27-31 august 2001) 1 Treffer
- mfcs 2002 : mathematical foundations of computer science (warsaw, 26-30 august 2002) 1 Treffer
- mpc 2002 : mathematics of program construction (dagstuhl castle, 8-10 july 2002) 1 Treffer
- natural computing 1 Treffer
- neural processing letters 1 Treffer
- pattern recognition 1 Treffer
- special issue on intelligent and soft computing techniques for information processing 1 Treffer
- spire 2003 : string processing and information retrieval (manaus, 8-10 october 2003) 1 Treffer
- stacs 2000 (lille, 17-19 february 2000) 1 Treffer
- stacs 2003 : 20th annual symposium on theoretical aspects of computer science (berlin, 27 february - 1 march 2003) 1 Treffer
- stacs 2004 (montpellier, 25-27 march 2004) 1 Treffer
- the art of theory 1 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 1 Treffer
- words 1 Treffer
Sprache
73 Treffer
-
In: STACS 2004 (Montpellier, 25-27 March 2004), 2004, S. 294-304KonferenzZugriff:
-
In: STACS 2003 : 20th annual symposium on theoretical aspects of computer science (Berlin, 27 February - 1 March 2003), 2003, S. 74-84KonferenzZugriff:
-
In: Words, Jg. 307 (2003), Heft 1, S. 139-172Online Konferenz
-
In: SPIRE 2003 : string processing and information retrieval (Manaus, 8-10 October 2003), 2003, S. 287-303KonferenzZugriff:
-
In: FCT 2003 : fundamentals of computation theory (Malmö, 12-15 August 2003), 2003, S. 355-363KonferenzZugriff:
-
In: Implementation and applications of automata (Santa Barbara CA, 16-18 July 2003), 2003, S. 3-10KonferenzZugriff:
-
In: DLT 2003 : developements in language theory (Szeged, 7-11 July 2003), 2003, S. 316-324KonferenzZugriff:
-
In: MPC 2002 : mathematics of program construction (Dagstuhl Castle, 8-10 July 2002), 2002, S. 233-262KonferenzZugriff:
-
In: MFCS 2002 : mathematical foundations of computer science (Warsaw, 26-30 August 2002), 2002, S. 40-58KonferenzZugriff:
-
In: DLT 2001 : developments in language theory (Wien, 16-21 July 2001, revised papers), 2002, S. 304-310KonferenzZugriff:
-
In: MFCS 2001 : mathematical foundations of computer science (Mariánské Láznĕ, 27-31 August 2001), 2001, S. 328-337KonferenzZugriff:
-
In: STACS 2000 (Lille, 17-19 February 2000), 2000, S. 122-132KonferenzZugriff:
-
In: Automata, languages and programming (Geneva, 9-15 July 2000), 2000, S. 536-546KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 372-387KonferenzZugriff:
-
In: Informatique théorique et applications (Imprimé), Jg. 45 (2011), Heft 2, S. 225-234Online academicJournalZugriff:
-
In: Neural processing letters, Jg. 33 (2011), Heft 1, S. 17-30Online academicJournalZugriff:
-
In: Discrete mathematics, Jg. 311 (2011), Heft 17, S. 1863-1873Online academicJournal
-
In: Discrete applied mathematics, Jg. 159 (2011), Heft 5, S. 335-343Online academicJournal
-
In: FCT '99 : fundamentals of computation theory (Iasi, 30 August - 3 september 1999), 1999, S. 398-408KonferenzZugriff:
-
In: Information processing letters, Jg. 110 (2010), Heft 14-15, S. 591-595academicJournalZugriff: