Megjelenítés:
1 - 20
/
139
- kulcsszavak: '
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szűrők törlése
Tárgyszó:
Theory of computation
Szűrők törlése
Szűrők megjelenítése (1)
Tárgyszó:
Theory of computation
Keresés:
Megjelenítés:
1 - 20
/
139
- kulcsszavak: '
'
, keresési idő: 0.02mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
1
2
3
4
5
6
7
Következő
[7]
1
Parallel algorithms for irregularly structured problems : second international workshop, IRREGULAR ̓95, Lyon, France, September, 4-6, 1995 : proceedings
Megjelenés: 1995
Jelzet:
9758
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Proof theory in computer science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings
Megjelenés: 2001
Jelzet:
í190
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
Megjelenés: 1996
Jelzet:
10283
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Theoretical aspects of computer software : International Conference, TACS91, Sendai, Japan, September 24-27, 1991 : Proceedings
Megjelenés: 1991
Jelzet:
8650
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Efficient checking of polynomials and proofs and the hardness of approximation problems
Szerző:
Sudan, Madhu
Megjelenés: 1995
Jelzet:
9862
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Randomization and approximation techniques in computer science : international workshop RANDOM '97, Bologna, Italy, July 11-12,1997 : proceedings
Megjelenés: 1997
Jelzet:
10339
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
Megjelenés: 1997
Jelzet:
10331
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Exploitation of fine-grain parallelism
Szerző:
Böckle, Günter
Megjelenés: 1995
Jelzet:
9688
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
CONCUR'97: Concurrency theory : 8th International Conference Warsaw, Poland, July 1997 : proceedings
Megjelenés: 1997
Jelzet:
10320
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Theorem provers in circuit design : Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 1994 : proceedings
Megjelenés: 1995
Jelzet:
9617
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
CONCUR'95: Concurrency theory : 6th International Conference Philadelphia, PA, USA, August 1995 : proceedings
Megjelenés: 1995
Jelzet:
9694
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Combinatorial pattern matching : 6th Annual Symposium, CPM 95 Espoo, Finland, July 1995 : proceedings
Megjelenés: 1995
Jelzet:
9729
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings
Megjelenés: 1995
Jelzet:
9764
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Megjelenés: 1995
Jelzet:
9687
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
Megjelenés: 1995
Jelzet:
9614
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
Megjelenés: 1994
Jelzet:
9487
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings
Megjelenés: 1994
Jelzet:
9495
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Megjelenés: 1994
Jelzet:
9460
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Logical foundations of computer science : Third International Symposium, LFCS '94, St Petersburg, Russia, July 1994 : Proceedings
Megjelenés: 1994
Jelzet:
9444
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
Algorithm theory - SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 1994 : proceedings
Megjelenés: 1994
Jelzet:
9477
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
1
2
3
4
5
6
7
Következő
[7]
Keresőeszközök:
RSS-hírfolyam
—
Keresés küldése emailben
—
Keresés mentése
Vissza
Keresés szűkítése
Lelőhely
ELTE összesen
138
IK Kari Könyvtár
138
TTK Kari Könyvtár
3
Különgyűjtemény
Nincs elérhető adat
Formátum
könyv
139
Nyelv
angol
138
magyar
1
Szerző
Börger, Egon (1946-)
4
Choffrut, Christian
3
Comon, Hubert
3
Rozenberg, Grzegorz
3
Salomaa, Arto
3
Gottlob, Georg
2
többet ...
Itō, Takayasu (1940-)
2
Jansen, Klaus (1961-)
2
Konferencia (1997) (Bologna)
2
Mayr, Ernst W.
2
Melham, Tom F.
2
Peled, Doron
2
Petreschi, Rosella
2
Plotkin, Gordon (1946-)
2
Puech, Claude
2
Reichel, Horst
2
Reischuk, Rüdiger
2
Rolim, José D. P.
2
Sato, Masahiko (1947-)
2
Thiagarajan, P. S.
2
Van Leeuwen, Jan
2
ACSC (1995)
1
AISB (1994)
1
ALENEX (1999)
1
APPROX (1998)
1
APPROX (2002)
1
ASIAN (1998)
1
Aagaard, Mark
1
Abadi, Martín
1
Abiteboul, Serge (1953-)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Theory of computation
Congresses
116
Theory of computation -- Congresses
113
konferenciakötet
51
tanulmányok
51
Információelmélet
22
többet ...
konferencia
22
számításelmélet
11
Computation by abstract devices
7
Mathematical logic and formal languages
7
Theory of computation -- Computation by abstract devices
7
Theory of computation -- Mathematical logic and formal languages
7
számítógépes logika
7
számítógépes logika -- konferencia
7
automatikus tételbizonyítás (matematikai logika)
5
számításelmélet -- konferencia
5
Analysis of algorithms and problem complexity
4
Logics and meanings of programs
4
Theory of computation -- Analysis of algorithms and problem complexity
4
Theory of computation -- Logics and meanings of programs
4
verifikáció
4
verifikáció -- konferencia
4
algoritmus
3
formális nyelvek (számítástechnika)
3
számítógéptudomány
3
számítógéptudomány -- konferencia
3
Analysis of algorithms
2
Theory of computation -- Analysis of algorithms -- Congresses
2
automataelmélet
2
A0
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...