Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer theory 299 Treffer
- informatica teorica 299 Treffer
- mathematics 215 Treffer
- mathematiques 215 Treffer
- sciences and techniques of general use 215 Treffer
-
45 weitere Werte:
- sciences et techniques communes 215 Treffer
- algorithmics. computability. computer arithmetics 196 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 196 Treffer
- divers 174 Treffer
- miscellaneous 174 Treffer
- language theory and syntactical analysis 108 Treffer
- theorie des langages et analyse syntaxique 108 Treffer
- combinatoire 96 Treffer
- combinatorics 96 Treffer
- combinatoire. structures ordonnees 95 Treffer
- combinatorics. ordered structures 95 Treffer
- automata. abstract machines. turing machines 75 Treffer
- automates. machines abstraites. machines de turing 75 Treffer
- graph theory 68 Treffer
- logic and foundations 66 Treffer
- logiciel 66 Treffer
- logique et fondements 66 Treffer
- logique mathematique, fondements, theorie des ensembles 66 Treffer
- mathematical logic, foundations, set theory 66 Treffer
- software 66 Treffer
- 68wxx 61 Treffer
- algorithm 61 Treffer
- algorithme 61 Treffer
- algoritmo 61 Treffer
- theorie des graphes 54 Treffer
- information retrieval. graph 52 Treffer
- recherche information. graphe 52 Treffer
- language theory 47 Treffer
- teoria lenguaje 47 Treffer
- theorie langage 47 Treffer
- 68r10 46 Treffer
- general logic 42 Treffer
- logique generale 42 Treffer
- complexity 36 Treffer
- complejidad 35 Treffer
- complexite 35 Treffer
- formal language 35 Treffer
- langage formel 35 Treffer
- analyse mathematique 33 Treffer
- mathematical analysis 33 Treffer
- algebra 32 Treffer
- algebre 32 Treffer
- lenguaje formal 32 Treffer
- programming theory 32 Treffer
- theorie programmation 32 Treffer
Publikation
- combinatorics of the discrete plane and tilings 7 Treffer
- advances in discrete geometry for computer imagery 6 Treffer
- combinatorics on words 6 Treffer
- cellular automata and discrete complex systems 5 Treffer
- discrete applied problems: florilegium for e. goles 5 Treffer
-
45 weitere Werte:
- structural information and communication complexity (sirocco 2008) 5 Treffer
- the art of theory 5 Treffer
- words 5 Treffer
- a bird's eye view of theory 4 Treffer
- combinatorics on words (words 2009) 4 Treffer
- computational systems biology 3 Treffer
- concurrency theory (concur 2004) 3 Treffer
- discrete tomography and digital geometry 3 Treffer
- foundations of software science and computation structures 3 Treffer
- latin american theoretical informatics 3 Treffer
- max-plus algebras 3 Treffer
- trustworthy global computing 3 Treffer
- algorithmic aspects of global computing 2 Treffer
- automata, languages and programming (icalp 2005) 2 Treffer
- calculi, types and applications: essays in honour of m. coppo, m. dezani-ciancaglini and s. ronchi della rocca 2 Treffer
- complex networks 2 Treffer
- complexity of simple programs 2 Treffer
- developments in language theory 2 Treffer
- expressiveness in concurrency 2 Treffer
- game theory meets theoretical computer science 2 Treffer
- implementation and application of automata 2 Treffer
- implementation and application of automata (ciaa 2009) 2 Treffer
- implicit computational complexity 2 Treffer
- internet and network economics 2 Treffer
- mathematical foundations of computer science 2004 2 Treffer
- real numbers and computers 2 Treffer
- structural information and communication complexity (sirocco 2005) 2 Treffer
- theoretical computer science issues in image analysis and processing 2 Treffer
- weak arithmetics 2 Treffer
- abstract interpretation and logic programming: in honor of professor giorgio levi 1 Treffer
- algebraic methods in language processing 1 Treffer
- algorithmic aspects of wireless sensor networks 1 Treffer
- algorithmic learning theory (alt 2000) 1 Treffer
- algorithmic learning theory 5alt 2009) 1 Treffer
- algorithmic verification of infinite-state systems 1 Treffer
- algorithms 1 Treffer
- applied semantics: selected topics 1 Treffer
- automata, languages and programming 1 Treffer
- automata, languages and programming: algorithms and complexity (icalp-a 2004) 1 Treffer
- automata, languages and programming: logic and semantics (icalp-b 2004) 1 Treffer
- automated reasoning for security protocol analysis 1 Treffer
- caen '97 1 Treffer
- computing and combinatorics (cocoon 2001), guilin, china, august 20-23, 2001 1 Treffer
- current trends in algebraic development techniques 1 Treffer
- distributed computing 1 Treffer
Sprache
Geographischer Bezug
435 Treffer
-
In: Automata, languages and programming (ICALP 2005), Jg. 380 (2007), Heft 1-2, S. 69-86Online Konferenz
-
In: Structural information and communication complexity (SIROCCO 2005), Jg. 384 (2007), Heft 2-3, S. 139-151Online Konferenz
-
In: Developments in language theory, Jg. 376 (2007), Heft 1-2, S. 52-59Online Konferenz
-
In: Structural information and communication complexity (SIROCCO 2004), Jg. 383 (2007), Heft 1, S. 23-33Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 220-237Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 238-250Online Konferenz
-
In: Theory and applications of models of computation, Jg. 384 (2007), Heft 1, S. 77-86Online Konferenz
-
In: Automata, languages and programming (ICALP 2005), Jg. 380 (2007), Heft 1-2, S. 164-180Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 317-329Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 401-410Online Konferenz
-
In: Structural information and communication complexity (SIROCCO 2005), Jg. 384 (2007), Heft 2-3, S. 201-221Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 251-265Online Konferenz
-
In: Combinatorics on words, Jg. 380 (2007), Heft 3, S. 286-303Online Konferenz
-
In: Concurrency Theory (CONCUR 2004), Jg. 358 (2006), Heft 2-3, S. 229-254Online Konferenz
-
In: Foundations of computation theory (FCT 2003), Jg. 354 (2006), Heft 3, S. 405-420Online Konferenz
-
In: Logic, language, information and computation, Jg. 364 (2006), Heft 2, S. 196-211Online Konferenz
-
In: Concurrency Theory (CONCUR 2004), Jg. 358 (2006), Heft 2-3, S. 273-292Online Konferenz
-
In: Automata, languages and programming: logic and semantics (ICALP-B 2004), Jg. 350 (2006), Heft 2-3, S. 345-372Online Konferenz
-
In: Algebraic methods in language processing, Jg. 354 (2006), Heft 1, S. 4-23Online Konferenz
-
In: Automated reasoning for security protocol analysis, Jg. 367 (2006), Heft 1-2, S. 2-32Online Konferenz