Megjelenítés:
1 - 19
/
19
- 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
Artificial intelligence
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
Artificial intelligence
Keresés:
Megjelenítés:
1 - 19
/
19
- 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
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
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration : International Conference on Life System Modeling and Simulation, LSMS 2017 and Internati...
Megjelenés: 2017
Jelzet:
14540
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
4
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:
5
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16237
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
5G for Future Wireless Networks : First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Megjelenés: 2018
Jelzet:
14587
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
8
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:
9
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16832
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Spatial Cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26–30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, US...
Megjelenés: 2017
Jelzet:
14284
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
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:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
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:
19
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
19
IK Kari Könyvtár
19
Különgyűjtemény
e-book
19
Formátum
könyv
19
Nyelv
angol
19
Szerző
SpringerLink (Online service), közreadó testület
19
Ahrendt, Wolfgang, szerk
1
Ait-Ameur, Yamine, szerk
1
Barkowsky, Thomas, szerk.(1966-)
1
Bektaş, Tolga, szerk
1
Best, Eike, szerk
1
többet ...
Biannual Conference of the German Cognitive Science Society13.(2016) (Bremen, Germany)
1
Di Marco, Antinisca, szerk
1
Duan, Zhenhua, szerk
1
European Workshop on Computer Performance Engineering14.(2017) (Berlin, Germany)
1
Geuvers, Herman, szerk
1
International Conference on 5G for Future Wireless Networks (2017) (Beijing, China)
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 Integrated Formal Methods15.(2019) (Bergen, Norway)
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 Spatial Cognition Conference10.(2016) (Philadelphia, PA, USA)
1
International Symposium on Dependable Software Engineering: Theories, Tools, and Applications6.(2020) (Guangzhou, China)
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
Li, Kang, szerk
1
Long, Keping, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
Software engineering
elektronikus könyv
19
szoftverfejlesztés
19
számítógépes szimuláció
Computer simulation
18
többet ...
konferenciakötet
16
tanulmányok
16
mesterséges intelligencia
14
Simulation and Modeling
10
konferencia
9
szoftverfejlesztés -- konferencia
9
számítógépes szimuláció -- konferencia
9
Artificial Intelligence (incl. Robotics)
7
Computers
7
Software Engineering
7
informatika
7
mesterséges intelligencia -- konferencia
6
Computer organization
5
Computer science
5
beágyazott rendszerek
5
beágyazott rendszerek -- informatika
5
Logic design
4
Logics and Meanings of Programs
4
Artificial Intelligence
3
Computer system performance
3
Special Purpose and Application-Based Systems
3
Computer logic
2
Information systems
2
Mathematical Logic and Formal Languages
2
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...