Megjelenítés:
1 - 20
/
55
- 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
Software engineering
Formátum:
könyv
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
programozási nyelvek
AND
Software engineering
Formátum:
könyv
Keresés:
Megjelenítés:
1 - 20
/
55
- 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
3
Következő
[3]
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
Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15907
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
15437
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15901
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
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:
6
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:
7
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15399
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
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:
10
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:
11
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:
12
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:
13
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017...
Megjelenés: 2017
Jelzet:
14388
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
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:
15
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Megjelenés: 2020
Jelzet:
16502
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Megjelenés: 2020
Jelzet:
16501
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Megjelenés: 2020
Jelzet:
16458
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2020
Jelzet:
16340
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Megjelenés: 2019
Jelzet:
15719
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
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:
1
2
3
Következő
[3]
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
55
IK Kari Könyvtár
55
Különgyűjtemény
e-book
54
Formátum
könyv
Nyelv
angol
55
Szerző
SpringerLink (Online service), közreadó testület
54
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
4
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
3
Margaria, Tiziana, szerk
3
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
International Joint Conference on Automated Reasoning10.(2020) (Paris)
2
többet ...
Legay, Axel, szerk
2
Ničković, Dejan (1981-), szerk
2
Peltier, Nicolas (1972-), szerk
2
Sofronie-Stokkermans, Viorica, szerk
2
Vojnar, Tomáš, szerk
2
Zhang, Lijun, szerk
2
ter Beek, Maurice H., szerk
2
Ölveczky, Peter Csaba, szerk
2
Ahrendt, Wolfgang, szerk
1
Artho, Cyrille, szerk.(1976-)
1
Asian Symposium on Programming Languages and Systems18.(2020) (Fukuoka)
1
Badger, Julia M., szerk
1
Balduccini, Marcello, szerk
1
Baltag, Alexandru (1967-), szerk
1
Ben Sassi, Sihem, szerk
1
Beyer, Dirk, szerk
1
Bhatele, Abhinav, szerk
1
Bliudze, Simon (1977-), szerk
1
Bocchi, Laura, szerk
1
Boreale, Michele, szerk
1
Caires, Luís., szerk
1
Chakraborty, Supratik, szerk
1
Chang, Bor-Yuh Evan, szerk
1
Cirne, Walfredo, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Software engineering
programozási nyelvek
elektronikus könyv
54
szoftverfejlesztés
45
tanulmányok
45
konferenciakötet
44
többet ...
Programming languages (Electronic computers)
40
konferencia
29
programozási nyelvek -- konferencia
29
Artificial intelligence
26
Computer logic
25
Computers
22
számítógépes logika
22
szoftverfejlesztés -- konferencia
19
Mathematical logic
16
matematikai logika
16
Computer programming
15
informatika
15
Computer system failures
12
mesterséges intelligencia
11
programozás
11
számítógépes logika -- konferencia
11
Algorithms
10
Computer organization
10
szoftvertesztelés
10
Computer simulation
9
matematikai logika -- konferencia
9
modell-ellenőrzés
8
modell-ellenőrzés -- szoftvertesztelés -- konferencia
8
Logic design
7
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...