Megjelenítés:
1 - 6
/
6
- 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ó:
formális nyelvek (számítástechnika)
AND
informatika
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
formális nyelvek (számítástechnika)
AND
informatika
Keresés:
Megjelenítés:
1 - 6
/
6
- kulcsszavak: '
'
, keresési idő: 0.01mp
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
Reasoning Web. Declarative Artificial Intelligence : 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
Megjelenés: 2020
Jelzet:
16795
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16772
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16465
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16388
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15681
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Megjelenés: 2020
Jelzet:
16560
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
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
6
IK Kari Könyvtár
6
Különgyűjtemény
e-book
6
Formátum
könyv
6
Nyelv
angol
6
Szerző
SpringerLink (Online service), közreadó testület
6
Alam, Mehwish, szerk
1
Endres, Dominik, szerk
1
Hung, Dang Van (1950-), szerk
1
International Conference on Conceptual Structures24.(2019) (Marburg)
1
International Conference on Developments in Language Theory24.(2020) (Tampa, Florida)
1
többet ...
International Symposium on Automated Technology for Verification and Analysis18.(2020) (Hanoi, Vietnam)
1
Jonoska, Nataša (1961-), szerk
1
Lahiri, Shuvendu K., szerk
1
Leporati, Alberto, szerk
1
Manna, Marco, szerk
1
Pieris, Andreas, szerk
1
Reasoning Web Summer School16.(2020) (Oslo)
1
Savchuk, Dmytro, szerk
1
Sokolsky, Oleg, szerk
1
Wang, Chao, szerk
1
Şotropa, Diana., szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
6
elektronikus könyv
6
formális nyelvek (számítástechnika)
informatika
konferenciakötet
6
tanulmányok
6
többet ...
mesterséges inteligencia
4
természetes nyelvek feldolgozása
4
természetes nyelvek feldolgozása -- mesterséges inteligencia -- informatika
4
Database management
3
Natural language processing (Computer science)
3
adatbáziskezelés
3
automataelmélet
3
Application software
2
Architecture, Computer
2
Computer hardware
2
Computer logic
2
Computers
2
Data structures (Computer science)
2
ontológiák
2
szoftverfejlesztés
2
számítógépes logika
2
Algorithms
1
Computer organization
1
Computer science—Mathematics
1
Computer simulation
1
Elosztott rendszerek (számítástechnika)
1
Mathematical logic
1
Software engineering
1
Special purpose computers
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...