Megjelenítés:
1 - 14
/
14
- 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ó:
számítógépes szimuláció
AND
Software engineering
AND
mesterséges intelligencia
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
számítógépes szimuláció
AND
Software engineering
AND
mesterséges intelligencia
Keresés:
Megjelenítés:
1 - 14
/
14
- 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
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:
2
Intelligent Computing, Networked Control, and Their Engineering Applications : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conferen...
Megjelenés: 2017
Jelzet:
13694
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14234
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16176
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Machine Learning and Intelligent Communications : First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14259
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16378
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
16377
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16622
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13842
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13765
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Transactions on Computational Collective Intelligence XXVII
Megjelenés: 2017
Jelzet:
14343
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14117
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Megjelenés: 2017
Jelzet:
13820
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
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
14
IK Kari Könyvtár
14
Különgyűjtemény
e-book
14
Formátum
könyv
14
Nyelv
angol
14
Szerző
SpringerLink (Online service), közreadó testület
14
Ait-Ameur, Yamine, szerk
1
Bektaş, Tolga, szerk
1
Best, Eike, szerk
1
Di Marco, Antinisca, szerk
1
Duan, Zhenhua, szerk
1
többet ...
European Workshop on Computer Performance Engineering14.(2017) (Berlin, Germany)
1
Geuvers, Herman, szerk
1
International Conference on Application and Theory of Petri Nets and Concurrency38.(2017) (Zaragoza, Spanyolország)
1
International Conference on Computational Logistics8.(2017) (Southampton, UK)
1
International Conference on Computer Aided Verification29.2017Heidelberg, Germany
1
International Conference on Formal Engineering Methods21(2019) (Shenzhen, China)
1
International Conference on Formal Methods for Industrial Critical Systems24.(2019) (Amsterdam, The Netherlands)
1
International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság)
1
International Conference on Machine Learning and Intelligent Communications (2016) (Sanghai, China)
1
International Conference on Principles and Practice of Constraint Programming26.(2020) (Louvain-la-Neuve, Belgium)
1
International Workshop on Structured Object-Oriented Formal Language and Method8.(2018) (Gold Coast, QLD, Australia)
1
International Workshop on Structured Object-Oriented Formal Language and Method9.(2019) (Shenzhen, China)
1
Kunčak, Viktor, szerk.(1977-)
1
Lahiri, Shuvendu K., szerk
1
Larsen, Kim Guldstrand, szerk
1
Majumdar, Rupak, szerk
1
Mercik, Jacek, szerk
1
Miao, Huaikou, szerk
1
Qin, Shengchao, szerk
1
Reinecke, Philipp, szerk
1
Simonis, Helmut, szerk
1
Wang, Chao, szerk
1
Willemse, Tim, szerk
1
Xin-lin, Huang, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
14
Software engineering
elektronikus könyv
14
mesterséges intelligencia
szoftverfejlesztés
14
számítógépes szimuláció
többet ...
Computer simulation
13
konferenciakötet
11
tanulmányok
11
Simulation and Modeling
8
Artificial Intelligence (incl. Robotics)
7
Software Engineering
6
konferencia
6
mesterséges intelligencia -- konferencia
6
szoftverfejlesztés -- konferencia
6
számítógépes szimuláció -- konferencia
6
Computers
5
Computer science
4
Logic design
4
Logics and Meanings of Programs
4
beágyazott rendszerek
4
beágyazott rendszerek -- informatika
4
informatika
4
Computer organization
3
Computer system performance
2
Information systems
2
Mathematical Logic and Formal Languages
2
Special Purpose and Application-Based Systems
2
System Performance and Evaluation
2
információs rendszerek
2
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...