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ő
Cím
Szerző
Tárgyszó
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ástudomány
AND
konferencia
Különgyűjtemény:
e-book
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
számítástudomány
AND
konferencia
Különgyűjtemény:
e-book
Keresés:
Megjelenítés:
1 - 19
/
19
- 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
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:
2
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computi...
Megjelenés: 2019
Jelzet:
15609
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15277
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14394
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13716
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14319
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Ge...
Megjelenés: 2017
Jelzet:
13413
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20,...
Megjelenés: 2017
Jelzet:
14424
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Theory and Practice of Natural Computing : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14408
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14253
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14012
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation : Third International Conference, ICC3 2017, Coimb...
Megjelenés: 2018
Jelzet:
14966
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Transactions on Petri Nets and Other Models of Concurrency XII
Megjelenés: 2017
Jelzet:
14345
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14285
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14007
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
Information and Communication Technologies for Development : 14th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2017, Yogy...
Megjelenés: 2017
Jelzet:
13353
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Enterprise and Organizational Modeling and Simulation : 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Megjelenés: 2018
Jelzet:
14967
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Enterprise and Organizational Modeling and Simulation : 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
Megjelenés: 2017
Jelzet:
14415
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14272
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
Formátum
könyv
19
Nyelv
angol
19
Szerző
SpringerLink (Online service), közreadó testület
19
Pergl, Robert, szerk
2
Brazilian Symposium on Formal Methods20.(2017) (Recife, Brazil)
1
Cavalheiro, Simone, szerk
1
Charlier, Émilie, szerk
1
Choudrie, Jyoti, szerk
1
többet ...
Derksen, Christian, szerk
1
Du, Dingzhu, szerk
1
Fiadeiro, José, szerk
1
Ganapathi, Geetha, szerk
1
Hinze, Thomas, szerk
1
IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK)
1
IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries14.(2017) (Yogyakarta, Indonézia)
1
International Conference on Computational Intelligence, Cyber Security, and Computational Models3.(2018) (Coimbatore, India)
1
International Conference on Coordination Languages and Models21.(2019) (Kongens Lyngby, Denmark)
1
International Conference on Current Trends in Theory and Practice of Computer Science43.(2017) (Limerick, Ireland)
1
International Conference on Developments in Language Theory21.(2017) (Liège, Belgium)
1
International Conference on Membrane Computing17.(2016) (Milan, Olaszország)
1
International Conference on Membrane Computing19.(2018) (Dresden, Germany)
1
International Conference on Principles of Security and Trust8.(2019) (Prague, Czech Republic)
1
International Conference on Smart Energy Research3.(2016) (Essen, Németország)
1
International Conference on Smart Energy Research4.(2017) (Essen, Németország)
1
International Conference on Unconventional Computation and Natural Computation16.(2017) (Fayetteville, AR, USA)
1
International Conference,on Theory and Practice of Natural Computing6.(2017) (Prague, Czech Republic)
1
International Symposium on Fundamentals of Computation Theory21.(2017) (Bordeaux, France)
1
International Workshop on Enterprise and Organizational Modeling and Simulation13.(2017) (Essen, Germany)
1
International Workshop on Enterprise and Organizational Modeling and Simulation14.(2018) (Tallinn, Estonia)
1
James, Phillip, szerk
1
Kennedy, Juliette, szerk
1
Klasing, Ralf, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
elektronikus könyv
19
konferencia
konferenciakötet
19
számítástudomány
tanulmányok
19
Software engineering
14
többet ...
Computer science
11
Software Engineering
9
Algorithm Analysis and Problem Complexity
8
Computer software
8
szoftverfejlesztés
8
számítástudomány -- konferencia
8
Artificial intelligence
7
Logic design
7
Logics and Meanings of Programs
7
formális módszerek
7
formális módszerek -- számítástudomány -- konferencia
7
szoftverfejlesztés -- konferencia
7
Information Systems Applications (incl. Internet)
5
Artificial Intelligence (incl. Robotics)
4
Computer simulation
4
Mathematical Logic and Formal Languages
4
szoftvertesztelés
4
Computation by Abstract Devices
3
Computer Communication Networks
3
Management information systems
3
Simulation and Modeling
3
logikai tervezés
3
logikai tervezés -- konferencia
3
modell ellenőrzés
3
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...