Megjelenítés:
281 - 281
/
281
- 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ó:
mesterséges intelligencia
AND
Software engineering
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
mesterséges intelligencia
AND
Software engineering
Keresés:
Megjelenítés:
281 - 281
/
281
- 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]
Előző
5
6
7
8
9
10
11
12
13
14
15
281
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:
[1]
Előző
5
6
7
8
9
10
11
12
13
14
15
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
281
IK Kari Könyvtár
281
Különgyűjtemény
e-book
281
Formátum
könyv
280
Nyelv
angol
281
Szerző
SpringerLink (Online service), közreadó testület
281
International Conference on Computational Science and Its Applications19.(2019) (Saint Petersburg)
6
Misra, Sanjay, szerk
6
Gervasi, Osvaldo, szerk
5
Steffen, Bernhard, szerk
5
Antona, Margherita, szerk
3
többet ...
Bourdot, Patrick, szerk
3
Damaševičius, Robertas, szerk
3
De Paolis, Lucio Tommaso, szerk.(1961-)
3
International Conference on Computational Science and Its Applications20.(2020) (Cagliari, Italy)
3
International Symposium on Leveraging Applications of Formal Methods9.(2020) (Rhodes, Greece)
3
Kuznetsov, Sergei O., szerk
3
Margaria, Tiziana, szerk
3
Panetto, Hervé, szerk
3
Romanovsky, Alexander, szerk
3
Stephanidis, Constantine, szerk
3
Valencia-García, Rafael, szerk
3
Ali, Moonis, szerk
2
Bajwa, Imran Sarwar, szerk
2
Balduccini, Marcello, szerk
2
Benferhat, Salem, szerk
2
Blomqvist, Eva, szerk
2
Demazeau, Yves, szerk
2
European Conference on the Applications of Evolutionary Computation20.(2017) (Amsterdam, Hollandia)
2
European Semantic Web Conference14.(2017) (Portorož, Szlovénia)
2
Felsberg, Michael, szerk
2
Fred, Ana, szerk
2
Goertzel, Ben, szerk
2
Herzig, Andreas, szerk
2
Heyden, Anders, szerk
2
többet mutat ...
kevesebbet ...
Tárgyszó
Software engineering
mesterséges intelligencia
elektronikus könyv
280
Artificial intelligence
253
szoftverfejlesztés
232
konferenciakötet
209
többet ...
tanulmányok
208
konferencia
109
informatika
81
Artificial Intelligence (incl. Robotics)
80
Computers
77
mesterséges intelligencia -- konferencia
76
Computer science
74
szoftverfejlesztés -- konferencia
71
Application software
67
Software Engineering
54
Computer organization
53
Computer Communication Networks
45
Computer communication systems
40
Special Purpose and Application-Based Systems
40
számítástudomány
38
Information Systems Applications (incl. Internet)
35
Logic design
34
Optical data processing
29
optikai adatfeldolgozás
28
Computer logic
27
információs rendszerek
27
számítógépes logika
26
Computer software
24
Data mining
24
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...