Megjelenítés:
1 - 8
/
8
- 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ó:
számítástudomány
AND
szoftver
AND
Programming Languages, Compilers, Interpreters
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
számítástudomány
AND
szoftver
AND
Programming Languages, Compilers, Interpreters
Keresés:
Megjelenítés:
1 - 8
/
8
- 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
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:
2
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:
3
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13517
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
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:
5
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:
6
Hybrid Artificial Intelligent Systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13788
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
8
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
8
IK Kari Könyvtár
8
Különgyűjtemény
e-book
8
Formátum
könyv
8
Nyelv
angol
8
Szerző
SpringerLink (Online service), közreadó testület
8
Abate, Alessandro, szerk
1
Barkaoui, Kamel, szerk.(1954-)
1
Barrett, Clark, szerk
1
Davies, Misty, szerk
1
De Lara, Juan, szerk
1
többet ...
Geeraerts, Gilles, szerk
1
Hermenegildo, Manuel V., szerk
1
International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország)
1
International Conference on Graph Transformation10.(2017) (Marburg, Németország)
1
International Conference on Hybrid Artificial Intelligence Systems12.(2017) (La Rioja, Spanyolország)
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
Kahsai, Temesghen, szerk
1
Lopez-Garcia, Pedro, szerk
1
Martínez de Pisón, Francisco Javier, szerk
1
Menzies, Tim, szerk
1
Petke, Justyna, szerk
1
Plump, Detlef, szerk
1
Zeume, Thomas
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
8
Computer science
8
Computer software
8
Programming Languages, Compilers, Interpreters
elektronikus könyv
8
szoftver
többet ...
számítástudomány
Programming Techniques
6
Software Engineering
6
Software engineering
6
szoftverfejlesztés
6
Logic design
5
Logics and Meanings of Programs
4
Mathematical Logic and Formal Languages
4
Artificial Intelligence (incl. Robotics)
3
Artificial intelligence
3
mesterséges intelligencia
3
Operating Systems
2
Operating systems (Computers)
2
Computational complexity
1
Computer simulation
1
Computer system performance
1
Data Structures
1
Data structures (Computer scienc
1
Discrete Mathematics in Computer Science
1
Information Systems Applications (incl. Internet)
1
Logic Design
1
Simulation and Modeling
1
System Performance and Evaluation
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...