Megjelenítés:
1 - 9
/
9
- 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
AND
mesterséges intelligencia
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
matematikai logika
AND
Algorithms
AND
mesterséges intelligencia
Keresés:
Megjelenítés:
1 - 9
/
9
- 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
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15501
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Theoretical Computer Science : 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
Megjelenés: 2019
Jelzet:
16016
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15938
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15987
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Advances in Conceptual Modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16174
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Advances in Soft Computing : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16173
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16496
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
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:
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
9
IK Kari Könyvtár
9
Különgyűjtemény
e-book
9
Formátum
könyv
9
Nyelv
angol
9
Szerző
SpringerLink (Online service), közreadó testület
9
Anselmo, Marcella, szerk
1
Batyrshin, Ildar, szerk
1
Benzmüller, Christoph, szerk
1
Chaves, Madalena, szerk
1
Chen, Xiaoyun, szerk
1
többet ...
Chen, Yu-Fang, szerk
1
Cheng, Chih-Hong, szerk
1
Conference on Computability in Europe16.(2020) (Fisciano, Italy)
1
Esparza, Javier, szerk
1
Gailly, Frederik, szerk
1
Guizzardi, Giancarlo, szerk
1
He, Kun, szerk
1
Herzig, Andreas, szerk
1
International Conference on Conceptual Modeling38.(2019) (Salvador, Brazil)
1
International Symposium in Molecular Logic and Computational Synthetic Biology (2018) (Chile, Santiago)
1
International Symposium on Automated Technology for Verification and Analysis17.(2019) (Taipei, Taiwan)
1
International Symposium on Frontiers of Combining Systems12.(2019) (London)
1
Martins, Manuel A., szerk
1
Martínez-Villaseñor, Lourdes, szerk
1
Marín-Hernández, Antonio, szerk
1
Mexican Conference on Artificial Intelligence18.(2019) (Xalapa, Mexikó)
1
National Conference of Theoretical Computer Science37.(2019) (Lanzhou, China)
1
Parker, David, szerk
1
Popescu, Andrei, szerk
1
Stuckenschmidt, Heiner, szerk
1
Sun, Xiaoming, szerk
1
Suzana Pitangueira Maciel, Rita, szerk
1
Wolf, Verena, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithms
Mathematical logic
9
elektronikus könyv
9
matematikai logika
mesterséges intelligencia
Artificial intelligence
8
többet ...
konferenciakötet
8
tanulmányok
8
konferencia
5
matematikai logika -- konferencia
5
mesterséges intelligencia -- konferencia
5
Software engineering
4
szoftverfejlesztés
4
Computer logic
3
számítógépes logika
3
Application software
2
Computers
2
Database management
2
Mathematical statistics
2
adatbáziskezelés
2
algoritmus
2
szoftverfejlesztés -- konferencia
2
számítógépes logika -- konferencia
2
Computer organization
1
Computer science—Mathematics
1
Computer simulation
1
Numerical analysis
1
Optical data processing
1
Programming languages (Electronic computers)
1
Special purpose computers
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...