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ő
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ó:
formális nyelvek (számítástechnika)
AND
programozási nyelvek
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
formális nyelvek (számítástechnika)
AND
programozási nyelvek
Keresés:
Megjelenítés:
1 - 7
/
7
- 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
Methods of algorithmic language implementation
Megjelenés: 1977
Jelzet:
5480
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16457
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16456
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15711
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 : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15588
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Megjelenés: 2018
Jelzet:
15049
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
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
6
TTK Kari Könyvtár
1
Különgyűjtemény
e-book
5
Formátum
könyv
7
Nyelv
angol
7
Szerző
SpringerLink (Online service), közreadó testület
5
Badger, Julia M., szerk
1
Bowman, William J, szerk
1
Byrski, Aleksander (1976-), szerk
1
Eršov, Andrej Petrovič (1931-1988)
1
Garcia, Ronald, szerk
1
többet ...
Guerra, Esther, szerk
1
Hughes, John (1958-), szerk
1
International Symposium on NASA Formal Methods11.(2019) (Houston, TX, USA)
1
International Symposium on Trends in Functional Programming20.(2019) (Vancouver, Canada)
1
International Symposium on Trends in Functional Programming21.(2020) (Krakow, Poland)
1
Koster, Cornelis H. A. (1943-)
1
Lindsey, C. H.
1
Meulen, S. G. van der
1
Müller, Peter, szerk
1
Orejas, Fernando (1952.), szerk
1
Rozier, Kristin Yvonne, szerk
1
Schaefer, Ina, szerk
1
Symposium on methods for the implementation of algorithmic languages (1975) (Novosibirsk)
1
többet mutat ...
kevesebbet ...
Tárgyszó
formális nyelvek (számítástechnika)
programozási nyelvek
elektronikus könyv
5
konferenciakötet
5
tanulmányok
5
Programming languages (Electronic computers)
4
többet ...
Artificial intelligence
3
Computer organization
3
Computer programming
3
Software engineering
3
formális nyelvek (számítástechnika) -- konferencia
3
konferencia
3
programozás
3
programozási nyelvek -- konferencia
3
szoftverfejlesztés
3
Computers
2
Elosztott rendszerek (számítástechnika)
2
szoftverfejlesztés -- konferencia
2
ALGOL 68
1
Algorithms
1
Application software
1
Computer science
1
Computer science—Mathematics
1
Computer simulation
1
Data structures (Computer science)
1
Microprogramming
1
adatszerkezetek
1
adatszerkezetek -- számítástechnika
1
algoritmus (számítógépes)
1
automataelmélet
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...