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ó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
Programming Languages, Compilers, Interpreters
Szűrők törlése
Szűrők megjelenítése (4)
Tárgyszó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
Programming Languages, Compilers, Interpreters
Keresés:
Megjelenítés:
1 - 13
/
13
- kulcsszavak: '
'
, keresési idő: 0.03mp
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
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:
2
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:
3
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14100
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings...
Megjelenés: 2017
Jelzet:
13867
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
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:
6
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:
7
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14142
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13951
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13691
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13767
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13785
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13927
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Szerző:
Zeume, Thomas
Megjelenés: 2017
Jelzet:
13848
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
13
Nyelv
angol
13
Szerző
SpringerLink (Online service), közreadó testület
13
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
Legay, Axel, szerk
2
Margaria, Tiziana, szerk
2
Abate, Alessandro, szerk
1
Barkaoui, Kamel, szerk.(1954-)
1
többet ...
Barrett, Clark, szerk
1
Cabaleiro, José C., szerk
1
Dastani, Mehdi, szerk
1
Davies, Misty, szerk
1
Dou, Yong, szerk
1
Geeraerts, Gilles, szerk
1
Hermenegildo, Manuel V., szerk
1
International Conference on Formal Aspects of Component Software14(2014) (Braga, Portugal)
1
International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország)
1
International Conference on Fundamentals of Software Engineering11(2017) (Teherán)
1
International Conference on Parallel and Distributed Computing23.(2017) (Santiago de Compostela, Spain)
1
International Conference on Verification and Evaluation of Computer and Communication Systems11.(2017) (Montreal, QC, Kanada)
1
International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság)
1
International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok)
1
International Symposium on Search Based Software Engineering9.(2017) (Paderborn, Németország)
1
International Workshop on Advanced Parallel Processing Technologies12.(2017) (Santiago de Compostela, Spanyolország)
1
Kahsai, Temesghen, szerk
1
Katoen, Joost-Pieter (1964-), szerk
1
Langerak, Rom, szerk
1
Lopez-Garcia, Pedro, szerk
1
Lumpe, Markus, szerk
1
Menzies, Tim, szerk
1
Pena, Tomás F., szerk
1
Petke, Justyna, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
13
Computer science
13
Computer software
Programming Languages, Compilers, Interpreters
Software engineering
elektronikus könyv
többet ...
Software Engineering
12
szoftverfejlesztés
12
Logic design
10
Logics and Meanings of Programs
9
Mathematical Logic and Formal Languages
8
számítástudomány
7
Programming Techniques
6
szoftver
6
konferencia
5
konferenciakötet
5
szoftverfejlesztés -- konferencia
5
tanulmányok
5
Operating Systems
3
Operating systems (Computers)
3
logikai tervezés
3
Artificial Intelligence (incl. Robotics)
2
Artificial intelligence
2
Computation by Abstract Devices
2
Computer network architectures
2
Computer simulation
2
Simulation and Modeling
2
logikai tervezés -- konferencia
2
mesterséges intelligencia
2
modell ellenőrzés
2
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...