Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithmics. computability. computer arithmetics 24 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 24 Treffer
- computer theory 23 Treffer
- informatica teorica 23 Treffer
- mathematics 22 Treffer
-
45 weitere Werte:
- mathematiques 22 Treffer
- sciences and techniques of general use 22 Treffer
- sciences et techniques communes 22 Treffer
- logiciel 16 Treffer
- software 16 Treffer
- language theory and syntactical analysis 15 Treffer
- theorie des langages et analyse syntaxique 15 Treffer
- divers 11 Treffer
- miscellaneous 11 Treffer
- programming theory 10 Treffer
- theorie programmation 10 Treffer
- logic and foundations 9 Treffer
- logique et fondements 9 Treffer
- logique mathematique, fondements, theorie des ensembles 9 Treffer
- mathematical logic, foundations, set theory 9 Treffer
- algebra proceso 8 Treffer
- algebre processus 8 Treffer
- process algebra 8 Treffer
- algebra 7 Treffer
- algebre 7 Treffer
- general logic 7 Treffer
- logique generale 7 Treffer
- analyse mathematique 6 Treffer
- bisimulation 6 Treffer
- coalgebra 6 Treffer
- coalgebre 6 Treffer
- mathematical analysis 6 Treffer
- operational semantics 6 Treffer
- semantique operationnelle 6 Treffer
- 68wxx 5 Treffer
- borne inferieure 5 Treffer
- calcul des variations et controle optimal 5 Treffer
- calculus of variations and optimal control 5 Treffer
- cota inferior 5 Treffer
- espace metrique 5 Treffer
- espacio metrico 5 Treffer
- langage programmation 5 Treffer
- langages de programmation 5 Treffer
- lenguaje programacion 5 Treffer
- lower bound 5 Treffer
- metric space 5 Treffer
- programming language 5 Treffer
- programming languages 5 Treffer
- algorithme approximation 4 Treffer
- algoritmo aproximacion 4 Treffer
Publikation
- formal methods for components and objects 4 Treffer
- icalp'97 2 Treffer
- algebra and coalgebra in computer science 1 Treffer
- algebraic methodology and software technology 1 Treffer
- algorithmic learning theory 1 Treffer
-
15 weitere Werte:
- approximation and online algorithms 1 Treffer
- calculi, types and applications: essays in honour of m. coppo, m. dezani-ciancaglini and s. ronchi della rocca 1 Treffer
- complexity and logic 1 Treffer
- coordination 1 Treffer
- expressiveness in concurrency 1 Treffer
- foundations of computation theory (fct 2003) 1 Treffer
- foundations of software science and computation structures 1 Treffer
- mathematical foundations of computer science (mfcs 2001) 1 Treffer
- modern algebra and its applications 1 Treffer
- on-line algorithms 1 Treffer
- probabilistic modelling 1 Treffer
- process algebra 1 Treffer
- selected papers from 36th international colloquium on automata, languages and programming (icalp 2009) 1 Treffer
- selected papers of cmcs'03 1 Treffer
- structural information and communication complexity (sirocco 2007) 1 Treffer
Sprache
Geographischer Bezug
47 Treffer
-
In: Algebraic methodology and software technology, Jg. 351 (2006), Heft 2, S. 240-257Online Konferenz
-
In: Foundations of computation theory (FCT 2003), Jg. 354 (2006), Heft 3, S. 421-440Online Konferenz
-
In: Algebra and coalgebra in computer science, Jg. 366 (2006), Heft 1-2, S. 60-81Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 291-323Online Konferenz
-
In: Process algebra, Jg. 335 (2005), Heft 2-3, S. 147-186Online Konferenz
-
In: Expressiveness in Concurrency, Jg. 330 (2005), Heft 3, S. 377-405Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 251-290Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 443-481Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 413-442Online Konferenz
-
In: Selected papers of CMCS'03, Jg. 327 (2004), Heft 1-2, S. 3-22Online Konferenz
-
In: Foundations of Software Science and Computation Structures, Jg. 298 (2003), Heft 3, S. 471-510Online Konferenz
-
In: Mathematical foundations of computer science (MFCS 2001), Jg. 295 (2003), Heft 1-3, S. 279-294Online Konferenz
-
In: Complexity and Logic, Jg. 288 (2002), Heft 1, S. 21-43Online Konferenz
-
In: On-line Algorithms, Jg. 268 (2001), Heft 1, S. 91-105Online Konferenz
-
In: Modern Algebra and Its Applications, Jg. 249 (2000), Heft 1, S. 3-80Online Konferenz
-
In: Selected Papers from 36th International Colloquium on Automata, Languages and Programming (ICALP 2009), Jg. 412 (2011), Heft 24, S. 2611-2622Online academicJournal
-
In: Theoretical computer science, Jg. 412 (2011), Heft 8-10, S. 633-641Online academicJournal
-
In: ICALP'97, Jg. 221 (1999), Heft 1-2, S. 179-210Online Konferenz
-
In: ICALP'97, Jg. 221 (1999), Heft 1-2, S. 271-293Online Konferenz
-
In: Theoretical computer science, Jg. 411 (2010), Heft 1, S. 164-173Online academicJournal