Megjelenítés:
1 - 7
/
7
- 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 Techniques
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
számítástudomány
AND
szoftver
AND
Programming Techniques
Keresés:
Megjelenítés:
1 - 7
/
7
- 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
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:
5
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:
6
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:
7
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13847
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
7
IK Kari Könyvtár
7
Különgyűjtemény
e-book
7
Formátum
könyv
7
Nyelv
angol
7
Szerző
SpringerLink (Online service), közreadó testület
7
Barkaoui, Kamel, szerk.(1954-)
1
Barrett, Clark, szerk
1
Davies, Misty, szerk
1
De Lara, Juan, szerk
1
Drewes, Frank, szerk
1
többet ...
Hermenegildo, Manuel V., szerk
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 Language and Automata Theory and Applications11.(2017) (Umeå, Svédorszá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
Kahsai, Temesghen, szerk
1
Lopez-Garcia, Pedro, szerk
1
Martín-Vide, Carlos, szerk
1
Martínez de Pisón, Francisco Javier, szerk
1
Plump, Detlef, szerk
1
Truthe, Bianca, szerk
1
Zeume, Thomas
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
7
Computer science
7
Computer software
7
Programming Techniques
elektronikus könyv
7
szoftver
többet ...
számítástudomány
Programming Languages, Compilers, Interpreters
6
Mathematical Logic and Formal Languages
4
Software Engineering
4
Software engineering
4
szoftverfejlesztés
4
Artificial Intelligence (incl. Robotics)
3
Artificial intelligence
3
Logic design
3
Logics and Meanings of Programs
3
mesterséges intelligencia
3
Computation by Abstract Devices
1
Computational complexity
1
Computer system performance
1
Data Structures
1
Data structures (Computer scienc
1
Database Management
1
Database management
1
Discrete Mathematics in Computer Science
1
Information Systems Applications (incl. Internet)
1
Operating Systems
1
Operating systems (Computers)
1
System Performance and Evaluation
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...