Megjelenítés:
1 - 20
/
89
- 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
Lelőhely:
IK Kari Könyvtár
Tárgyszó:
Software engineering
AND
számítástudomány
Szűrők törlése
Szűrők megjelenítése (3)
Lelőhely:
IK Kari Könyvtár
Tárgyszó:
Software engineering
AND
számítástudomány
Keresés:
Megjelenítés:
1 - 20
/
89
- kulcsszavak: '
'
, keresési idő: 0.08mp
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
3
4
5
Következő
[5]
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
Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
Megjelenés: 2017
Jelzet:
13731
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
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:
10
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16397
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
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:
12
Membrane Computing Models : implementations
Megjelenés: 2021
Jelzet:
15879
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Software Engineering in Health Care : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Pa...
Megjelenés: 2017
Jelzet:
13498
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Electronic Government : 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13793
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Enterprise and Organizational Modeling and Simulation : 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Megjelenés: 2019
Jelzet:
16218
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
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:
17
Symbiotic Interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13803
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16821
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
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:
20
Security and Trust Management : 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13937
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
1
2
3
4
5
Következő
[5]
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
89
IK Kari Könyvtár
Különgyűjtemény
e-book
88
Formátum
könyv
89
Nyelv
angol
89
Szerző
SpringerLink (Online service), közreadó testület
88
Pergl, Robert, szerk
3
Antona, Margherita, szerk
2
European Conference on the Applications of Evolutionary Computation20.(2017) (Amsterdam, Hollandia)
2
Felsberg, Michael, szerk
2
Gervasi, Osvaldo, szerk
2
többet ...
Heyden, Anders, szerk
2
International Conference on Computer Analysis of Images and Patterns17.(2017) (Ystad, Svédország)
2
Krüger, Norbert, szerk
2
Sim, Kevin, szerk
2
Squillero, Giovanni, szerk
2
Stephanidis, Constantine, szerk
2
Abate, Alessandro, szerk
1
Aceto, Luca, szerk.(1961-)
1
Alagić, Suad (1946-)
1
Alba, Enrique, szerk
1
Anjorin, Anthony, szerk
1
Annual Conference Towards Autonomous Robotic Systems18.(2017) (Guildford, Egyesült Királyság)
1
Ayala-Rincón, Mauricio, szerk
1
Aydoğan, Reyhan, szerk
1
Balduccini, Marcello, szerk
1
Barkaoui, Kamel, szerk.(1954-)
1
Barrett, Clark, szerk
1
Best, Eike, szerk
1
Blanas, Spyros, szerk
1
Botterweck, Goetz, szerk
1
Bouajjani, Ahmed, szerk
1
Bozzano, Marco, szerk
1
Brazilian Symposium on Formal Methods20.(2017) (Recife, Brazil)
1
Bruni, Roberto
1
többet mutat ...
kevesebbet ...
Tárgyszó
Software engineering
számítástudomány
elektronikus könyv
88
szoftverfejlesztés
81
Computer science
76
Software Engineering
59
többet ...
Artificial intelligence
40
mesterséges intelligencia
38
Artificial Intelligence (incl. Robotics)
33
Logic design
31
Programming Languages, Compilers, Interpreters
29
Logics and Meanings of Programs
26
Information Systems Applications (incl. Internet)
24
Computer Communication Networks
22
Computer software
22
Mathematical Logic and Formal Languages
22
Special Purpose and Application-Based Systems
22
Algorithm Analysis and Problem Complexity
21
konferenciakötet
17
szoftver
17
tanulmányok
17
User Interfaces and Human Computer Interaction
15
Programming Techniques
14
konferencia
14
Computer simulation
13
Simulation and Modeling
11
Computer network architectures
10
formális módszerek
10
információs rendszerek
10
számítógépes szimuláció
9
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...