Megjelenítés:
21 - 31
/
31
- 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ó:
matematikai logika
AND
Algorithms
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
matematikai logika
AND
Algorithms
Keresés:
Megjelenítés:
21 - 31
/
31
- 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]
Előző
1
2
21
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Megjelenés: 2019
Jelzet:
16330
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
22
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16148
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
23
Topics in Theoretical Computer Science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16615
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
24
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Megjelenés: 2019
Jelzet:
15688
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
25
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Megjelenés: 2019
Jelzet:
15479
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
26
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15982
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
27
Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 20a [et al.]
Megjelenés: 2020
Jelzet:
16900
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
28
Quantum Interaction : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
16246
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
29
Theory and Applications of Models of Computation : 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings
Megjelenés: 2019
Jelzet:
16929
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
30
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15279
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
31
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Szerző:
Alemi, Mario
Megjelenés: 2020
Jelzet:
16975
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
[1]
Előző
1
2
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
31
IK Kari Könyvtár
30
TTK Kari Könyvtár
1
Különgyűjtemény
e-book
31
Formátum
könyv
31
Nyelv
angol
31
Szerző
SpringerLink (Online service), közreadó testület
31
Alemi, Mario
1
Ali Abam, Mohammad, szerk
1
André, Étienne, szerk
1
Annual Conference on Theory and Applications of Models of Computation16.(2020) (Changsha, China)
1
Anselmo, Marcella, szerk
1
többet ...
Artho, Cyrille, szerk.(1976-)
1
Batyrshin, Ildar, szerk
1
Ben Hedia, Belgacem, szerk
1
Benzmüller, Christoph, szerk
1
Biondi, Fabrizio, szerk
1
Bose, Sujit Kumar, szerző
1
Bowen, Jonathan P., szerk
1
Brazilian Symposium on Formal Methods23.(2020) (Ouro Preto, Brazil)
1
Carvalho, Gustavo, szerk
1
Chaves, Madalena, szerk
1
Chen, Jianer, szerk
1
Chen, Xiaoyun, szerk
1
Chen, Yu-Fang, szerk
1
Cheng, Chih-Hong, szerk
1
Coecke, Bob, szerk
1
Collart-Dutilleul, Simon, szerk
1
Conference on Computability in Europe15.(2019) (Durham, UK)
1
Conference on Computability in Europe16.(2020) (Fisciano, Italy)
1
Deshmukh, Jyotirmoy, szerk
1
Dongol, Brijesh, szerk
1
Esparza, Javier, szerk
1
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
1
Fantechi, Alessandro, szerk
1
Feng, Qilong, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithms
Mathematical logic
31
elektronikus könyv
31
matematikai logika
tanulmányok
27
konferenciakötet
26
többet ...
Software engineering
18
Artificial intelligence
17
Computer logic
17
konferencia
17
matematikai logika -- konferencia
17
számítógépes logika
16
szoftverfejlesztés
13
számítógépes logika -- konferencia
12
Computer science—Mathematics
10
mesterséges intelligencia
9
Programming languages (Electronic computers)
7
programozási nyelvek
7
algoritmus
6
szoftverfejlesztés -- konferencia
6
számítástechnika
6
Computer simulation
5
Computers
5
Data structures (Computer science)
5
Numerical analysis
5
adatszerkezetek
5
adatszerkezetek -- számítástechnika
5
mesterséges intelligencia -- konferencia
5
algoritmusok
4
gráfelmélet
4
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...