Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- applied sciences 22 Treffer
- computer science 22 Treffer
- computer science; control theory; systems 22 Treffer
- exact sciences and technology 22 Treffer
- informatique 22 Treffer
-
45 weitere Werte:
- informatique theorique 22 Treffer
- informatique; automatique theorique; systemes 22 Treffer
- mathematiques 22 Treffer
- sciences and techniques of general use 22 Treffer
- sciences appliquees 22 Treffer
- sciences et techniques communes 22 Treffer
- sciences exactes et technologie 22 Treffer
- theoretical computing 22 Treffer
- computer theory 18 Treffer
- informatica teorica 18 Treffer
- algorithmics. computability. computer arithmetics 14 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 14 Treffer
- algebra 10 Treffer
- mathematical analysis 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
- algebre 7 Treffer
- general logic 7 Treffer
- language theory and syntactical analysis 7 Treffer
- logiciel 7 Treffer
- logique generale 7 Treffer
- software 7 Treffer
- theorie des langages et analyse syntaxique 7 Treffer
- analyse mathematique 6 Treffer
- divers 6 Treffer
- miscellaneous 6 Treffer
- process algebra 6 Treffer
- calcul des variations et controle optimal 5 Treffer
- calculus of variations and optimal control 5 Treffer
- 68wxx 4 Treffer
- algebra proceso 4 Treffer
- algebre processus 4 Treffer
- borne inferieure 4 Treffer
- coalgebra 4 Treffer
- coalgebre 4 Treffer
- cota inferior 4 Treffer
- lower bound 4 Treffer
- maximo 4 Treffer
- maximum 4 Treffer
- verificacion 4 Treffer
- verification 4 Treffer
- aleatorizacion 3 Treffer
- algorithme approximation 3 Treffer
Verlag
Publikation
- formal methods for components and objects 4 Treffer
- algebra and coalgebra in computer science 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
- expressiveness in concurrency 1 Treffer
-
7 weitere Werte:
- foundations of computation theory (fct 2003) 1 Treffer
- foundations of software science and computation structures 1 Treffer
- icalp'97 1 Treffer
- mathematical foundations of computer science (mfcs 2001) 1 Treffer
- process algebra 1 Treffer
- selected papers of cmcs'03 1 Treffer
- structural information and communication complexity (sirocco 2007) 1 Treffer
Sprache
Geographischer Bezug
29 Treffer
-
In: Theoretical Computer Science, Jg. 777 (2018-12-06), S. 260-295Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 702 (2017-11-01), S. 60-64Online unknownZugriff:
-
In: Theoretical Computer Science, , Heft 1, S. 171-200Online unknownZugriff:
-
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: Theoretical computer science, Jg. 412 (2011), Heft 8-10, S. 633-641Online academicJournal
-
In: ICALP'97, Jg. 221 (1999), Heft 1-2, S. 271-293Online Konferenz
-
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 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