Megjelenítés:
1 - 20
/
28
- 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ó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
konferenciakötet
Szűrők törlése
Szűrők megjelenítése (4)
Tárgyszó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
konferenciakötet
Keresés:
Megjelenítés:
1 - 20
/
28
- 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
2
Következő
[2]
1
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2017
Jelzet:
14224
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2017
Jelzet:
14541
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
4
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14100
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
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:
6
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:
7
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings...
Megjelenés: 2017
Jelzet:
13867
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Recent Advances in Intelligent Manufacturing : First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for...
Megjelenés: 2018
Jelzet:
14956
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Intelligent Computing and Internet of Things : First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for...
Megjelenés: 2018
Jelzet:
14951
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Sel...
Megjelenés: 2017
Jelzet:
14530
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
Megjelenés: 2017
Jelzet:
14389
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Job Scheduling Strategies for Parallel Processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016...
Megjelenés: 2017
Jelzet:
14547
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14142
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13710
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14432
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
High-Performance Scientific Computing : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13891
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
Megjelenés: 2017
Jelzet:
14387
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
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:
19
Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Megjelenés: 2017
Jelzet:
14463
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
Advanced Concepts for Intelligent Vision Systems : 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14304
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
1
2
Következő
[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
28
IK Kari Könyvtár
28
Különgyűjtemény
e-book
28
Formátum
könyv
28
Nyelv
angol
28
Szerző
SpringerLink (Online service), közreadó testület
28
Du, Hongwei, szerk
2
Gao, Xiaofeng, szerk
2
Han, Meng, szerk
2
International Conference on Combinatorial Optimization and Applications11.(2017) (Shanghai, China)
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
többet ...
Legay, Axel, szerk
2
Li, Kang, szerk
2
Margaria, Tiziana, szerk
2
Abate, Alessandro, szerk
1
Alahakoon, Damminda, szerk
1
Au, Man Ho Allen, szerk
1
Bektaş, Tolga, szerk
1
Blanc-Talon, Jacques, szerk
1
Boldo, Sylvie, szerk
1
Cabaleiro, José C., szerk
1
Christakis, Maria, szerk
1
Cirne, Walfredo, szerk
1
Criado Pacheco, Natalia, sszerk
1
Dastani, Mehdi, szerk
1
Desai, Narayan, szerk
1
Di Napoli, Edoardo, szerk
1
Gerdt, V. P., szerk
1
International Conference on Algorithmic Decision Theory5.(2017) (Luxembourg)
1
International Conference on Computational Logistics8.(2017) (Southampton, UK)
1
International Conference on Current Trends in Theory and Practice of Computer Science43.(2017) (Limerick, Ireland)
1
International Conference on Formal Aspects of Component Software14(2014) (Braga, Portugal)
1
International Conference on Fundamentals of Software Engineering11(2017) (Teherán)
1
International Conference on Green, Pervasive, and Cloud Computing12.(2017) (Cetara, Italy)
1
International Conference on Membrane Computing17.(2016) (Milan, Olaszország)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computer software
Software engineering
elektronikus könyv
konferenciakötet
tanulmányok
28
konferencia
27
többet ...
Algorithm Analysis and Problem Complexity
23
Software Engineering
19
szoftverfejlesztés
16
szoftverfejlesztés -- konferencia
15
Computer science
14
Artificial intelligence
13
Computer Communication Networks
12
Logic design
9
Logics and Meanings of Programs
9
Artificial Intelligence (incl. Robotics)
8
mesterséges intelligencia
8
Information Systems Applications (incl. Internet)
7
mesterséges intelligencia -- konferencia
7
Computation by Abstract Devices
6
Mathematical Logic and Formal Languages
5
Programming Languages, Compilers, Interpreters
5
Computational complexity
4
Computer network architectures
4
Computer simulation
4
Discrete Mathematics in Computer Science
4
Simulation and Modeling
4
logikai tervezés
4
logikai tervezés -- konferencia
4
modell ellenőrzés
4
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...