Megjelenítés:
1 - 14
/
14
- 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
Logic design
Formátum:
könyv
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
programozási nyelvek
AND
Logic design
Formátum:
könyv
Keresés:
Megjelenítés:
1 - 14
/
14
- 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
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:
2
OpenMP: Conquering the Full Hardware Spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15926
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 : 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:
4
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:
5
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:
6
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14141
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16498
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
Transactions on High-Performance Embedded Architectures and Compilers V
Megjelenés: 2019
Jelzet:
15349
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Megjelenés: 2019
Jelzet:
15252
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16004
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Programming and Performance Visualization Tools : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX...
Megjelenés: 2019
Jelzet:
15488
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Languages and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Megjelenés: 2019
Jelzet:
16242
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
OpenMP: Portable Multi-Level Parallelism on Modern Systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16611
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
14
IK Kari Könyvtár
14
Különgyűjtemény
e-book
14
Formátum
könyv
Nyelv
angol
14
Szerző
SpringerLink (Online service), közreadó testület
14
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
Wienke, Sandra, szerk
2
Bertels, Koen, szerk
1
többet ...
Bhalachandra, Sridutt, szerk
1
Bhatele, Abhinav, szerk
1
Chandrasekaran, Sunita, szerk
1
European Joint Conferences on Theory and Practice of Software20.(2017) (Uppsala, Sweden)
1
European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic)
1
European Symposium on Programming26.(2017) (Uppsala, Sweden)
1
Fan, Xing, szerk
1
Fonseca i Casas, Pau, szerk
1
International Conference on System Analysis and Modeling11.(2019) (Munich)
1
International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic)
1
International Workshop on Accelerator Programming Using Directives5.(2018) (Dallas, TX, USA)
1
International Workshop on Languages and Compilers for Parallel Computing30.(2017) (College Station, TX, USA)
1
International Workshop on OpenMP15.(2019) (Auckland, New Zealand)
1
Juckeland, Guido, szerk
1
Milfeld, Kent, szerk
1
Mousavi, Mohammad Reza, szerk
1
Rauchwerger, Lawrence, szerk
1
Sancho, Maria-Ribera, szerk
1
Schulte, Michael, szerk
1
Sgall, Jiří, szerk
1
Sherratt, Edel, szerk
1
Silvano, Cristina, szerk
1
Ulidowski, Irek, szerk
1
Vojnar, Tomáš, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Logic design
elektronikus könyv
14
programozási nyelvek
logikai tervezés
13
konferenciakötet
12
tanulmányok
12
többet ...
konferencia
9
programozási nyelvek -- konferencia
9
Programming languages (Electronic computers)
8
logikai tervezés -- konferencia
8
Software engineering
7
szoftverfejlesztés
6
Architecture, Computer
5
Operating systems (Computers)
5
Computation by Abstract Devices
4
Computer programming
4
Computer science
4
Logics and Meanings of Programs
4
Programming Languages, Compilers, Interpreters
4
operációs rendszerek
4
párhuzamos programozás
4
szoftverfejlesztés -- konferencia
4
Algorithm Analysis and Problem Complexity
3
Computer organization
3
Computer software
3
Mathematical Logic and Formal Languages
3
Microprocessors
3
Microprogramming
3
Software Engineering
3
mikroprogramozás
3
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...