Megjelenítés:
1 - 20
/
38
- 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ó:
Software Engineering
AND
Algorithm Analysis and Problem Complexity
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Software Engineering
AND
Algorithm Analysis and Problem Complexity
Keresés:
Megjelenítés:
1 - 20
/
38
- 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
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13737
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13750
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
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:
10
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:
11
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Megjelenés: 2017
Jelzet:
14113
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13951
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
Networked Systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13489
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
38
IK Kari Könyvtár
38
Különgyűjtemény
e-book
38
Formátum
könyv
38
Nyelv
angol
38
Szerző
SpringerLink (Online service), közreadó testület
38
Abate, Alessandro, szerk
2
Du, Hongwei, szerk
2
Gao, Xiaofeng, szerk
2
Han, Meng, szerk
2
International Conference on Combinatorial Optimization and Applications11.(2017) (Shanghai, China)
2
többet ...
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
Legay, Axel, szerk
2
Margaria, Tiziana, szerk
2
Alahakoon, Damminda, szerk
1
Au, Man Ho Allen, szerk
1
Barkaoui, Kamel, szerk.(1954-)
1
Barrett, Clark, szerk
1
Bektaş, Tolga, szerk
1
Berger, Christian, szerk
1
Boldo, Sylvie, szerk
1
Bozzano, Marco, szerk
1
Carmona, Josep, szerk
1
Choo, Kim-Kwang Raymond, szerk
1
Criado Pacheco, Natalia, sszerk
1
Dastani, Mehdi, szerk
1
Davies, Misty, szerk
1
Di Napoli, Edoardo, szerk
1
Dixon, Clare, szerk
1
Dou, Yong, szerk
1
El Abbadi, Amr, szerk
1
Engels, Gregor, szerk
1
European Symposium on Research in Computer Security22.(2017) (Oslo, Norvégia)
1
Finger, Marcelo, szerk
1
Foley, Simon N., szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
Computer software
38
Software Engineering
Software engineering
38
elektronikus könyv
38
szoftverfejlesztés
27
többet ...
Computer science
26
Logic design
22
Logics and Meanings of Programs
21
konferencia
19
konferenciakötet
19
tanulmányok
19
Mathematical Logic and Formal Languages
15
szoftver
15
számítástudomány
15
Artificial intelligence
14
Computer Communication Networks
14
Artificial Intelligence (incl. Robotics)
13
Programming Languages, Compilers, Interpreters
12
szoftverfejlesztés -- konferencia
12
mesterséges intelligencia
10
Information Systems Applications (incl. Internet)
9
Computation by Abstract Devices
7
Computer simulation
6
Programming Techniques
6
Simulation and Modeling
6
Computational complexity
5
Discrete Mathematics in Computer Science
5
logikai tervezés
5
logikai tervezés -- konferencia
4
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...