Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 6 Treffer
- foundations of arithmetic 4 Treffer
- programming languages 4 Treffer
- algebra 2 Treffer
- algorithmic learning theory 2 Treffer
-
45 weitere Werte:
- ant algorithms 2 Treffer
- boolean algebra 2 Treffer
- computer algorithms 2 Treffer
- computer software 2 Treffer
- computer storage devices 2 Treffer
- computer systems 2 Treffer
- denotational semantics 2 Treffer
- electronic data processing 2 Treffer
- inapproximability 2 Treffer
- lll algorithm 2 Treffer
- polynomials 2 Treffer
- quantum computing 2 Treffer
- query complexity 2 Treffer
- approximation algorithms 1 Treffer
- calculus 1 Treffer
- central processing units 1 Treffer
- compilers (computer programs) 1 Treffer
- computer logic 1 Treffer
- computer science 1 Treffer
- computer software development 1 Treffer
- concurrency 1 Treffer
- fixed point theory 1 Treffer
- footprints 1 Treffer
- functional logic programming 1 Treffer
- functional programming 1 Treffer
- geometry of interaction 1 Treffer
- granularity 1 Treffer
- graph drawing 1 Treffer
- graph transformation 1 Treffer
- graphic methods 1 Treffer
- interactive computer systems 1 Treffer
- interactive systems 1 Treffer
- linear logic 1 Treffer
- logic programming 1 Treffer
- lpt 1 Treffer
- mathematical analysis 1 Treffer
- mathematical programming 1 Treffer
- microprocessors 1 Treffer
- model checking 1 Treffer
- optimization 1 Treffer
- parallel programming 1 Treffer
- planar graphs 1 Treffer
- program transformation 1 Treffer
- programming language semantics 1 Treffer
- pseudocode (computer program language) 1 Treffer
Publikation
Sprache
14 Treffer
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 308 (2014-10-29), S. 65-86Online serialPeriodical
-
In: Theoretical Computer Science, Jg. 378 (2007-06-03), Heft 1, S. 41-53Online academicJournal
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 241 (2009-07-03), S. 101-111Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 109 (2004-12-14), S. 137-147Online serialPeriodical
-
In: Journal of Discrete Algorithms, Jg. 7 (2009-09-01), Heft 3, S. 327-340Online academicJournal
-
In: Electronic Notes in Discrete Mathematics, Jg. 31 (2008-08-20), S. 37-40Online academicJournal
-
In: Theoretical Computer Science, Jg. 396 (2008-05-10), Heft 1-3, S. 50-62Online academicJournal
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 248 (2009-08-05), S. 67-82Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 203 (2008-05-14), Heft 3, S. 69-94Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 188 (2007-07-16), S. 117-142Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 170 (2007-03-06), S. 125-138Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 163 (2006-09-19), Heft 1, S. 57-69Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-03-03), Heft 3, S. 107-117Online serialPeriodical
-
In: ENTCS: Electronic Notes in Theoretical Computer Science, Jg. 130 (2005-05-12), S. 401-418Online serialPeriodical