Megjelenítés:
161 - 171
/
171
- 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
Formátum:
könyv
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
programozási nyelvek
Formátum:
könyv
Keresés:
Megjelenítés:
161 - 171
/
171
- 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]
Előző
1
2
3
4
5
6
7
8
9
161
AI*IA 2019 – Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proc...
Megjelenés: 2019
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
162
Semantics : Foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : Proceedings
Megjelenés: 1993
Jelzet:
9136
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
163
Automata, languages and programming : seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
Megjelenés: 1980
Jelzet:
5418
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
164
Theories of programming languages
Szerző:
Reynolds, John C.
Megjelenés: 1998
Jelzet:
í4418
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
165
Magasszintű programnyelvek
Szerző:
Horowitz, Ellis
Megjelenés: 1987
Jelzet:
7686
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
166
Semantics of type theory : correctness, completeness, and independence results
Szerző:
Streicher, Thomas
Megjelenés: 1991
Jelzet:
9125
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
167
Informal introduction to ALGOL 68
Szerző:
Lindsey, C. H.
Megjelenés: 1971
Jelzet:
SZ-TUD L68
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
168
Types and programming languages
Szerző:
Pierce, Benjamin C.
Megjelenés: 2002
Jelzet:
12898
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
169
Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computi...
Megjelenés: 2020
Jelzet:
16477
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
170
Artificial Intelligence in Music, Sound, Art and Design : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings...
Megjelenés: 2020
Jelzet:
16421
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
171
Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15395
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
[1]
Előző
1
2
3
4
5
6
7
8
9
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
171
IK Kari Könyvtár
168
TTK Kari Könyvtár
5
Különgyűjtemény
e-book
95
Formátum
könyv
Nyelv
angol
166
magyar
3
francia
2
német
1
orosz
1
Szerző
SpringerLink (Online service), közreadó testület
95
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
Arts, Thomas (1969-)
2
Bakker, Jacobus Willem de (1939-2012)
2
többet ...
Chang, Bor-Yuh Evan, szerk
2
European Joint Conferences on Theory And Practice of Software11.(2008) (Budapest, Hungary)
2
Ganzinger, Harald (1950-)
2
Gordon, Michael J. C.
2
Harper, Robert
2
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
Jones, Neil D.
2
Legay, Axel, szerk
2
Müller, Peter, szerk
2
Ničković, Dejan (1981-), szerk
2
Peltier, Nicolas (1972-), szerk
2
Pierce, Benjamin C.
2
Sofronie-Stokkermans, Viorica, szerk
2
Vojnar, Tomáš, szerk
2
Wienke, Sandra, szerk
2
Zhang, Lijun, szerk
2
ter Beek, Maurice H., szerk
2
Ölveczky, Peter Csaba, szerk
2
Agafonov, V. N.
1
Ahrendt, Wolfgang, szerk
1
Aldini, Alessandro
1
Alviano, Mario, szerk
1
Artho, Cyrille, szerk.(1976-)
1
többet mutat ...
kevesebbet ...
Tárgyszó
programozási nyelvek
tanulmányok
119
konferenciakötet
118
elektronikus könyv
95
konferencia
86
programozási nyelvek -- konferencia
82
többet ...
Programming languages (Electronic computers)
76
Software engineering
55
szoftverfejlesztés
48
Artificial intelligence
45
Programming languages
36
Computers
33
Computer programming
32
Computer logic
31
programozás
29
számítógépes logika
27
Congresses
26
matematikai logika
24
Mathematical logic
22
informatika
22
szoftverfejlesztés -- konferencia
21
mesterséges intelligencia
20
Computer organization
18
Programming languages -- Congresses
18
programozás -- konferencia
17
Application software
15
Logic design
14
Algorithms
13
Computer system failures
13
logikai tervezés
13
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...