Megjelenítés:
821 - 830
/
830
- 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ó:
szoftverfejlesztés
Szűrők törlése
Szűrők megjelenítése (1)
Tárgyszó:
szoftverfejlesztés
Keresés:
Megjelenítés:
821 - 830
/
830
- 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ő
32
33
34
35
36
37
38
39
40
41
42
821
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Megjelenés: 2019
Jelzet:
16056
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
822
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Megjelenés: 2020
Jelzet:
16364
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
823
The Agile Safety Case
Szerző:
Myklebust, Thor
Megjelenés: 2018
Jelzet:
14612
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
824
Software Architecture : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16633
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
825
Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16613
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
826
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13642
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
827
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Megjelenés: 2020
Jelzet:
16559
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
828
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Megjelenés: 2020
Jelzet:
16560
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
829
Mathematical methods of specification and synthesis of software systems '85 : Proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
Megjelenés: 1986
Jelzet:
7284
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
830
Szoftvertesztelési alapismeretek
Szerző:
Fehér Krisztián (informatikus)
Megjelenés: 2016
Jelzet:
13044
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
[1]
Előző
32
33
34
35
36
37
38
39
40
41
42
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
821
IK Kari Könyvtár
812
EDIT
12
TTK Kari Könyvtár
10
Egyetemi Könyvtár és Levéltár
6
Szakdolgozatok (GTK) - Szakdolgozatok (GTK)
4
többet ...
BTK Könyvtár- és Inf.tud. Int.
2
PPK Kari Könyvtár
1
Márton Áron Szakkoll. Kvt.
1
többet mutat ...
kevesebbet ...
Különgyűjtemény
e-book
709
Formátum
könyv
815
szakdolgozat
8
disszertáció
4
CD-ROM, DVD, sz.gépfájl
1
folyóiratcikk
1
Nyelv
angol
801
magyar
27
német
1
orosz
1
Szerző
SpringerLink (Online service), közreadó testület
709
Marcus, Aaron, szerk
7
Misra, Sanjay, szerk
7
Gervasi, Osvaldo, szerk
6
International Conference on Computational Science and Its Applications19.(2019) (Saint Petersburg)
6
Kurosu, Masaaki, szerk
6
többet ...
Margaria, Tiziana, szerk
6
Stephanidis, Constantine, szerk
6
Botto-Tobar, Miguel, szerk
5
Sommerville, Ian (1951-)
5
Steffen, Bernhard, szerk
5
European Joint Conferences on Theory And Practice of Software11.(2008) (Budapest, Hungary)
4
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
4
Felderer, Michael, szerk
4
International Conference on Human-Computer Interaction21.(2019) (Orlando)
4
International Conference on Human-Computer Interaction22.(2020) (Copenhagen, Denmark)
4
Mahmood, Zaigham, szerk
4
Romanovsky, Alexander, szerk
4
Staron, Miroslaw
4
Wang, Wentao, szerk
4
Ahrendt, Wolfgang, szerk
3
Antona, Margherita, szerk
3
Beyer, Dirk, szerk
3
Bourdot, Patrick, szerk
3
Bowen, Jonathan P., szerk
3
Conference on Cryptologic Research (2020) (online)
3
De Paolis, Lucio Tommaso, szerk.(1961-)
3
Fowler, Martin
3
Hammoudi, Slimane, szerk
3
International Conference on Applied Technologies (2019) (Quito, Ecuador)
3
többet mutat ...
kevesebbet ...
Tárgyszó
szoftverfejlesztés
elektronikus könyv
708
Software engineering
670
konferenciakötet
482
tanulmányok
482
Artificial intelligence
316
többet ...
mesterséges intelligencia
264
konferencia
249
szoftverfejlesztés -- konferencia
228
informatika
210
Computer science
187
Software Engineering
182
Computers
158
Application software
154
Computer communication systems
106
Computer organization
99
Computer Communication Networks
91
Information Systems Applications (incl. Internet)
89
Computer software
84
számítástudomány
82
Logic design
81
Artificial Intelligence (incl. Robotics)
75
Management information systems
71
adatvédelem
69
információs rendszerek
67
Special Purpose and Application-Based Systems
63
mesterséges intelligencia -- konferencia
63
Computer logic
62
Special purpose computers
62
számítástechnika
61
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...