Megjelenítés:
1 - 20
/
45
- 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ó:
programozási nyelvek
AND
Artificial intelligence
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
programozási nyelvek
AND
Artificial intelligence
Keresés:
Megjelenítés:
1 - 20
/
45
- kulcsszavak: '
'
, keresési idő: 0.06mp
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
Következő
[3]
1
Computing and Software Science : State of the Art and Perspectives
Megjelenés: 2019
Jelzet:
16080
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15907
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15440
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2019
Jelzet:
15437
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15901
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, C...
Megjelenés: 2019
Jelzet:
15434
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15958
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedi...
Megjelenés: 2019
Jelzet:
15587
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
High Performance Computing for Computational Science – VECPAR 2018 : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15413
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15399
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16089
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Megjelenés: 2020
Jelzet:
16502
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Megjelenés: 2020
Jelzet:
16501
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Computer Information Systems and Industrial Management : 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15930
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16457
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16456
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16343
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2020
Jelzet:
16340
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revise...
Megjelenés: 2020
Jelzet:
16451
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
Answer Set Programming
Szerző:
Lifschitz, Vladimir
Megjelenés: 2019
Jelzet:
15889
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
1
2
3
Következő
[3]
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
45
IK Kari Könyvtár
45
Különgyűjtemény
e-book
45
Formátum
könyv
45
Nyelv
angol
45
Szerző
SpringerLink (Online service), közreadó testület
45
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
2
International Joint Conference on Automated Reasoning10.(2020) (Paris)
2
Peltier, Nicolas (1972-), szerk
2
Sofronie-Stokkermans, Viorica, szerk
2
többet ...
Vojnar, Tomáš, szerk
2
Zhang, Lijun, szerk
2
Ahrendt, Wolfgang, szerk
1
Alviano, Mario, szerk
1
Asian Symposium on Programming Languages and Systems18.(2020) (Fukuoka)
1
Badger, Julia M., szerk
1
Balduccini, Marcello, szerk
1
Baltag, Alexandru (1967-), szerk
1
Ben Amor, Nahla, szerk
1
Blackburn, Patrick (1959-), szerk
1
Bliudze, Simon (1977-), szerk
1
Bocchi, Laura, szerk
1
Bojańczyk, Mikołaj, szerk
1
Bowman, William J, szerk
1
Byrski, Aleksander (1976-), szerk
1
Chaki, Rituparna, szerk
1
Cirne, Walfredo, szerk
1
Cybenko, George, szerk
1
Deng, Dun, SZERK
1
Desai, Narayan, szerk
1
Deshmukh, Jyotirmoy, szerk
1
Dongol, Brijesh, szerk
1
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty15.(2019) (Belgrade)
1
Fantechi, Alessandro, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
elektronikus könyv
45
programozási nyelvek
tanulmányok
43
konferenciakötet
42
Programming languages (Electronic computers)
35
többet ...
Software engineering
26
szoftverfejlesztés
25
konferencia
22
programozási nyelvek -- konferencia
22
Computer logic
21
Computers
19
mesterséges intelligencia
19
számítógépes logika
18
Computer programming
16
matematikai logika
15
Mathematical logic
14
informatika
11
programozás
11
Application software
10
Computer organization
9
szoftverfejlesztés -- konferencia
9
Algorithms
8
matematikai logika -- konferencia
8
számítógépes logika -- konferencia
8
mesterséges intelligencia -- konferencia
6
Computer system failures
5
mesterséges inteligencia
5
természetes nyelvek feldolgozása
5
természetes nyelvek feldolgozása -- mesterséges inteligencia -- informatika
5
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...