Megjelenítés:
21 - 30
/
30
- 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ástudomány
AND
konferencia
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
számítástudomány
AND
konferencia
Keresés:
Megjelenítés:
21 - 30
/
30
- 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]
Előző
1
2
21
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:
22
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:
23
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:
24
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:
25
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:
26
The 7th International Multi-Conference on Engineering and Technological Innovation, July 15-18, 2014 - Orlando, Florida, USA
Megjelenés: 2014
Jelzet:
12797
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
27
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:
28
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:
29
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:
30
Computation, logic, games and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
Megjelenés: 2013
Jelzet:
12790
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
[1]
Előző
1
2
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
30
IK Kari Könyvtár
30
Különgyűjtemény
e-book
19
Formátum
könyv
30
Nyelv
angol
30
francia
1
német
1
Szerző
SpringerLink (Online service), közreadó testület
19
Pergl, Robert, szerk
2
Bečvář, Jiři
1
Brazilian Symposium on Formal Methods20.(2017) (Recife, Brazil)
1
Callaos, Nagib, szerk
1
Cavalheiro, Simone, szerk
1
többet ...
Charlier, Émilie, szerk
1
Choudrie, Jyoti, szerk
1
Chytil, Michel P.
1
Coecke, Bob, szerk
1
Cremers, Armin B.
1
Csuhaj-Varjú Erzsébet, szerk
1
Derksen, Christian, szerk
1
Deussen, Peter (1935-)
1
Dinneen, Michael J., szerk
1
Du, Dingzhu, szerk
1
Ehrig, Hartmut
1
Fiadeiro, José, szerk
1
Ganapathi, Geetha, szerk
1
Gesellschaft für Informatik Conference5.(1981) (Karlsruhe)
1
Gesellschaft für Informatik Symposium on Theoretical Computer Science6.(1983) (Dortmund, Germany)
1
Gheorghe, Marian, szerk
1
Gruska, Jozef
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
többet mutat ...
kevesebbet ...
Tárgyszó
konferencia
konferenciakötet
30
számítástudomány
tanulmányok
30
elektronikus könyv
19
számítástudomány -- konferencia
17
többet ...
Software engineering
14
Computer science
11
Software Engineering
9
szoftverfejlesztés
9
Algorithm Analysis and Problem Complexity
8
Computer software
8
szoftverfejlesztés -- 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
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
formális logika
3
formális logika -- konferencia
3
logikai tervezés
3
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...