Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 18 Treffer
- mathematiques 18 Treffer
- sciences and techniques of general use 18 Treffer
- sciences et techniques communes 18 Treffer
- algorithmics. computability. computer arithmetics 14 Treffer
-
45 weitere Werte:
- algorithmique. calculabilite. arithmetique ordinateur 14 Treffer
- divers 10 Treffer
- miscellaneous 10 Treffer
- logiciel 9 Treffer
- software 9 Treffer
- logic and foundations 8 Treffer
- logique et fondements 8 Treffer
- logique mathematique, fondements, theorie des ensembles 8 Treffer
- mathematical logic, foundations, set theory 8 Treffer
- algebra 6 Treffer
- algebre 6 Treffer
- general logic 6 Treffer
- language theory and syntactical analysis 6 Treffer
- logique generale 6 Treffer
- theorie des langages et analyse syntaxique 6 Treffer
- 68wxx 5 Treffer
- algebra proceso 4 Treffer
- algebre processus 4 Treffer
- algorithme approximation 4 Treffer
- algoritmo aproximacion 4 Treffer
- analyse mathematique 4 Treffer
- approximation algorithm 4 Treffer
- borne inferieure 4 Treffer
- calcul automatique 4 Treffer
- calcul des variations et controle optimal 4 Treffer
- calculo automatico 4 Treffer
- calculus of variations and optimal control 4 Treffer
- computing 4 Treffer
- cota inferior 4 Treffer
- langages de programmation 4 Treffer
- lower bound 4 Treffer
- mathematical analysis 4 Treffer
- maximo 4 Treffer
- maximum 4 Treffer
- process algebra 4 Treffer
- programming languages 4 Treffer
- programming theory 4 Treffer
- theorie programmation 4 Treffer
- 68q55 3 Treffer
- 68q60 3 Treffer
- 68w25 3 Treffer
- analyse numerique. calcul scientifique 3 Treffer
- bisimilarite 3 Treffer
- coalgebra 3 Treffer
- coalgebre 3 Treffer
Publikation
- formal methods for components and objects 4 Treffer
- algebra and coalgebra in computer science 1 Treffer
- algebraic methodology and software technology 1 Treffer
- 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
-
7 weitere Werte:
- expressiveness in concurrency 1 Treffer
- foundations of computation theory (fct 2003) 1 Treffer
- foundations of software science and computation structures 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
23 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: 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: Theoretical computer science, Jg. 411 (2010), Heft 1, S. 164-173Online academicJournal
-
In: Structural Information and Communication Complexity (SIROCCO 2007), Jg. 410 (2009), Heft 14, S. 1346-1354Online academicJournal
-
In: Theoretical computer science, Jg. 410 (2009), Heft 41, S. 4044-4066Online academicJournal
-
In: Theoretical computer science, Jg. 410 (2009), Heft 47-49, S. 5093-5111Online academicJournal
-
In: Theoretical computer science, Jg. 410 (2009), Heft 27-29, S. 2685-2700Online academicJournal
-
In: Calculi, types and applications: Essays in honour of M. Coppo, Jg. 398 (2008), Heft 1-3, S. 16-31Online academicJournal
-
In: Theoretical computer science, Jg. 407 (2008), Heft 1-3, S. 231-241Online academicJournal