Megjelenítés:
1 - 13
/
13
- 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ó:
programozási nyelvek
AND
Computer system failures
Formátum:
könyv
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
programozási nyelvek
AND
Computer system failures
Formátum:
könyv
Keresés:
Megjelenítés:
1 - 13
/
13
- 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
Computing and Software Science : State of the Art and Perspectives
Megjelenés: 2019
Jelzet:
16080
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
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:
3
Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15941
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...
Megjelenés: 2019
Jelzet:
15438
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Megjelenés: 2019
Jelzet:
15439
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
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:
7
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019...
Megjelenés: 2019
Jelzet:
15445
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15446
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15991
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Evaluation of Novel Approaches to Software Engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15708
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Confere...
Megjelenés: 2019
Jelzet:
15605
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2019
Jelzet:
15436
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16233
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
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
13
IK Kari Könyvtár
13
Különgyűjtemény
e-book
13
Formátum
könyv
Nyelv
angol
13
Szerző
SpringerLink (Online service), közreadó testület
13
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
3
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
2
Beyer, Dirk, szerk
1
Caires, Luís., szerk
1
Chakraborty, Supratik, szerk
1
többet ...
Damiani, Ernesto, szerk
1
Franch, Xavier, szerk
1
Hähnle, Reiner, szerk
1
IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems39.(2019) (Copenhagen, Denmark)
1
International Conference on Evaluation of Novel Approaches to Software Engineering13.(2018) (Madeira, Portugal)
1
International Conference on Fundamental Approaches to Software Engineering22.(2019) (Prague, Czech Republic)
1
International Conference on Principles of Security and Trust8.(2019) (Prague, Czech Republic)
1
International Conference on Product-Focused Software Process Improvement20.(2019) (Barcelona)
1
International Conference on Software Engineering and Formal Methods17.(2019) (Oslo, Norway)
1
International Conference on Verified Software: Theories, Tools, and Experiments11.(2019) (New York City, NY, USA)
1
Lin, Anthony Widjaja., szerk
1
Maciaszek, Leszek A., szerk
1
Martínez-Fernández, Silverio, szerk
1
Männistö, Tomi, szerk
1
Navas, Jorge A, szerk
1
Nielson, Flemming, szerk
1
Piattini, Mario, szerk
1
Pérez, Jorge A., szerk
1
Salaün, Gwen, szerk
1
Sands, David, szerk
1
Spanoudakis, George, szerk
1
Steffen, Bernhard, szerk
1
Vojnar, Tomáš, szerk
1
Woeginger, Gerhard, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computer system failures
elektronikus könyv
13
programozási nyelvek
Computers
12
Software engineering
12
konferenciakötet
11
többet ...
szoftverfejlesztés
11
tanulmányok
11
Programming languages (Electronic computers)
10
konferencia
10
programozási nyelvek -- konferencia
10
Artificial intelligence
5
Computer logic
5
modell-ellenőrzés
5
modell-ellenőrzés -- szoftvertesztelés -- konferencia
5
szoftverfejlesztés -- konferencia
5
szoftvertesztelés
5
informatika
4
számítógépes logika
4
Computer programming
3
Computer simulation
3
beágyazott rendszerek
3
számítógépes logika -- konferencia
3
verifikáció
3
verifikáció -- szoftverfejlesztés -- konferencia
3
Computer security
2
Mathematical logic
2
Special purpose computers
2
beágyazott rendszerek -- informatika
2
matematikai logika
2
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...