Výsledky vyhledávání - "Thierauf, T."

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Thierauf, T."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 290 pro vyhledávání: '"Thierauf, T."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 2 2

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 3 3

Akademický článek

The Satisfiability Problem for Probabilistic Ordered Branching Programs.

Autor: Agrawal, M., Thierauf, T.

Publikováno v: Theory of Computing Systems. Sep/Oct2001, Vol. 34 Issue 5, p471. 17p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 4 4

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 6 6

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 7 7

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 8 8

Conference

The Boolean isomorphism problem.

Autor: Agrawal, M., Thierauf, T.

Publikováno v: Proceedings of 37th Conference on Foundations of Computer Science; 1996, p422-430, 9p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Functions computable with nonadaptive queries to $N{ m P}$

Autor: Buhrman, Harry, Kadin, J., Thierauf, T.

Publikováno v: Theory of Computing Systems, 31(1), 77-92

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::a62f66e1aaf793194c22590c43546290
https://ir.cwi.nl/pub/1285

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

The complexity of generating and checking proofs of membership

Autor: Buhrman, H.M., Thierauf, T.

Publikováno v: proc STACS'96, 75-86
STARTPAGE=75;ENDPAGE=86;TITLE=proc STACS'96

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::0231f79a7cfcfb62ef736b6b57b86f34
https://dare.uva.nl/personal/pure/en/publications/the-complexity-of-generating-and-checking-proofs-of-membership(f266b8c5-46e3-4322-b9f0-5aa48ac863a2).html

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[29]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

128 Akademické články
71 Elektronické knihy
57 Konferenční materiály
43 Knihy
5 Časopisy

68 algorithms
43 computer science
36 computer science-mathematics
34 computational complexity
28 discrete mathematics
16 computer networks
13 machine theory
12 artificial intelligence
12 complexity
12 graphic methods
12 isomorphism (mathematics)
12 polynomials
12 set theory
11 boolean functions
11 planar graphs
10 graph theory
10 numerical analysis
9 artificial intelligence-data processing
9 computer science--congresses
9 software engineering
8 complexity theory
8 computer graphics
8 data structures (computer science)
8 information theory
8 linear algebra
8 polynomial time algorithms
7 group theory
7 mathematics
7 np-complete problems
7 perfect matching
6 circuit complexity
6 computer logic
6 computer programming
6 counting
6 cryptography
6 derandomization
6 matching theory
6 reachability
5 application software
5 equivalence
5 graph isomorphism
5 symmetric functions
5 tree graphs
4 boolean algebra
4 computer algorithms--congresses
4 computer engineering
4 deterministic algorithms
4 isolation lemma
4 mathematical optimization
4 matroids

88 springer nature
71 springer
18 ieee
14 springer verlag
12 association for computing machinery
8 schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
5 ieee computer society
4 society for industrial and applied mathematics publications
4 springer new york llc
3 iop publishing
3 ios press
3 siam publications
2 academic press
2 birkhauser
2 dunarea de jos university of galati
2 elsevier science bv
2 interdisciplinary information sciences
2 mdpi
2 royal society
2 wiley-blackwell
2 world scientific publ co pte ltd
1 academic press inc elsevier science
1 academic press inc jnl-comp subscriptions
1 academic press inc.
1 arxiv
1 atlantis press
1 birkhauser verlag ag
1 birkhauser-verlag
1 brown university
1 edp sciences
1 edp sciences s a
1 elsevier inc.
1 ibfi schloss dagstuhl
1 ieee computer society press
1 institute of electrical and electronics engineers inc.
1 m i t press
1 mit press
1 national academy of sciences
1 pergamon
1 sage publications ltd
1 wiley-vch
1 world scientific publishing company

44 theory of computing systems
17 lecture notes in computer science
7 siam journal on computing
6 algorithmica
6 leibniz international proceedings in informatics, lipics
6 proceedings of the annual ieee conference on computational complexity
5 communications of the acm
5 computational complexity
5 international journal of foundations of computer science
5 mathematical systems theory
4 information processing letters
3 acm transactions on computation theory
3 dagstuhl seminar proceedings
3 information and computation
3 proceedings thirteenth annual ieee conference on computational complexity (formerly: structure in complexity theory conference) (cat no98cb36247)
3 theoretical computer science
2 20th annual ieee conference on computational complexity (ccc'05)
2 acta informatica
2 annals of combinatorics
2 annals of the university dunarea de jos of galati: fascicle ii, mathematics, physics, theoretical mechanics
2 automation & remote control
2 axioms (2075-1680)
2 chicago journal of theoretical computer science
2 computer science - theory & applications (9783540797081)
2 fundamenta informaticae
2 interdisciplinary information sciences
2 journal of computer and system sciences
2 journal of the acm
2 new journal of physics
2 proceedings 15th annual ieee conference on computational complexity
2 proceedings of 37th conference on foundations of computer science
2 proceedings of computational complexity (formerly structure in complexity theory)
2 proceedings of structure in complexity theory tenth annual ieee conference
2 proceedings of the annual acm symposium on theory of computing
2 proceedings of the royal society a: mathematical, physical & engineering sciences
2 quantum information processing
1 1993 proceedings of the eigth annual structure in complexity theory conference
1 2009 24th annual ieee conference on computational complexity
1 algorithm theory - swat 2014
1 algorithms & computation: 26th international symposium, isaac 2015, nagoya, japan, december 9-11, 2015, proceedings
1 algorithms & computation: 8th international workshop, walcom 2014, chennai, india, february 13-15, 2014, proceedings
1 applicable algebra in engineering, communication & computing
1 automata, languages & programming: 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part i
1 autonomous agents & multi-agent systems
1 combinatorial optimization & applications: 10th international conference, cocoa 2016, hong kong, china, december 16-18, 2016, proceedings
1 combinatorica
1 computer science -- theory & applications
1 computer science - theory & applications (9783319066851)
1 computing & combinatorics (9783540697329)
1 rairo-informatique theorique et applications-theoretical informatics and applications

92 Complementary Index
70 eBook Index
68 Scopus®
21 Academic Search Ultimate
16 Science Citation Index Expanded
16 Business Source Ultimate
5 OpenAIRE
1 eBook Collection (EBSCOhost)
1 Supplemental Index

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......