Megjelenítés:
1 - 10
/
10
- 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ő
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ó:
szoftverfejlesztés -- konferencia
AND
Artificial intelligence
AND
Computer system failures
Szűrők törlése
Szűrők megjelenítése (4)
Lelőhely:
IK Kari Könyvtár
Tárgyszó:
szoftverfejlesztés -- konferencia
AND
Artificial intelligence
AND
Computer system failures
Keresés:
Megjelenítés:
1 - 10
/
10
- 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
Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15939
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15949
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15700
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Megjelenés: 2019
Jelzet:
1038
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenz...
Megjelenés: 2019
Jelzet:
16019
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Reuse in the Big Data Era : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15660
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
8
Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16008
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Systems, Software and Services Process Improvement : 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15918
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Software Technology: Methods and Tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16085
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
10
IK Kari Könyvtár
Különgyűjtemény
e-book
10
Formátum
könyv
10
Nyelv
angol
10
Szerző
SpringerLink (Online service), közreadó testület
10
Ampatzoglou, Apostolos, szerk
1
Bhowmik, Tanmay, szerk
1
Cerrito, Serenella, szerk
1
European Conference on Systems, Software and Services Process Improvement26.(2019) (Edinburgh, Scotland)
1
Filiot, Emmanuel (1982-), szerk
1
többet ...
Fontaine, Pascal, szerk
1
Hojjat, Hossein, szerk
1
International Conference on Automated Deduction27.(2019) (Natal, Brazil)
1
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods28.(2019) (London)
1
International Conference on Fundamentals of Software Engineering8.(2019) (Teherán)
1
International Conference on Reachability Problems13.(2019) (Brussels)
1
International Conference on Software Engineering and Formal Methods17.(2019) (Oslo, Norway)
1
International Conference on Software Technology: Methods and Tools51.(2019) (Innopolis, Russia)
1
International Conference on Software and Systems Reuse18.(2019) (Cincinnati, Ohio)
1
Janota, Mikoláš., szerk
1
Jungers, Raphaël, szerk
1
Li, Zheng, szerk
1
Lynce, Inês., szerk
1
Massink, Mieke, szerk
1
Mazzara, Manuel, szerk
1
Messnarz, Richard, szerk
1
National Software Application Conference16.(2017) (Harbin, China)
1
National Software Application Conference17.(2018) (Shenzhen, China)
1
O'Connor, Rory V., szerk
1
Peng, Xin, szerk
1
Popescu, Andrei, szerk
1
Potapov, Igor, szerk
1
Salaün, Gwen, szerk
1
Walker, Alastair, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Artificial intelligence
Computer system failures
Software engineering
10
elektronikus könyv
10
konferencia
10
konferenciakötet
10
többet ...
szoftverfejlesztés
10
szoftverfejlesztés -- konferencia
tanulmányok
10
Computers
8
mesterséges intelligencia
7
mesterséges intelligencia -- konferencia
7
Computer logic
4
Mathematical logic
3
matematikai logika
3
matematikai logika -- konferencia
3
számítógépes logika
3
számítógépes logika -- konferencia
3
Application software
2
Computer science
2
Computer science—Mathematics
2
Management information systems
2
Programming languages (Electronic computers)
2
menedzsment információs rendszerek
2
menedzsment információs rendszerek -- konferencia
2
Computer programming
1
Computer simulation
1
Numerical analysis
1
Special purpose computers
1
adattudomány
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...