Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 57 Treffer
- applied sciences 47 Treffer
- computer science; control theory; systems 47 Treffer
- exact sciences and technology 47 Treffer
- informatique 47 Treffer
-
45 weitere Werte:
- informatique; automatique theorique; systemes 47 Treffer
- sciences appliquees 47 Treffer
- sciences exactes et technologie 47 Treffer
- informatique theorique 44 Treffer
- theoretical computing 44 Treffer
- mathematics 29 Treffer
- algorithmics. computability. computer arithmetics 24 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 24 Treffer
- mathematical analysis 24 Treffer
- computer theory 23 Treffer
- informatica teorica 23 Treffer
- mathematiques 22 Treffer
- sciences and techniques of general use 22 Treffer
- sciences et techniques communes 22 Treffer
- algorithms 20 Treffer
- bisimulation 20 Treffer
- computational complexity 19 Treffer
- process algebra 19 Treffer
- algebra 17 Treffer
- kolmogorov complexity 17 Treffer
- semantics 17 Treffer
- coalgebra 16 Treffer
- competitive analysis 16 Treffer
- logiciel 16 Treffer
- software 16 Treffer
- language theory and syntactical analysis 15 Treffer
- theorie des langages et analyse syntaxique 15 Treffer
- compression 13 Treffer
- approximation algorithm 11 Treffer
- concurrency 11 Treffer
- divers 11 Treffer
- mathematical optimization 11 Treffer
- miscellaneous 11 Treffer
- programming languages 11 Treffer
- verification 11 Treffer
- online algorithms 10 Treffer
- operational semantics 10 Treffer
- polynomials 10 Treffer
- programming theory 10 Treffer
- theorie programmation 10 Treffer
- coinduction 9 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
Verlag
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
408 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: