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ó:
ML
Szűrők törlése
Szűrők megjelenítése (1)
Tárgyszó:
ML
Keresés:
Megjelenítés:
1 - 7
/
7
- kulcsszavak: '
'
, keresési idő: 0.01mp
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
The definition of standard ML : revised
Megjelenés: 1997
Jelzet:
í828
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Edinburgh LCF : a mechanised logic of computation
Szerző:
Gordon, Michael J. C.
Megjelenés: 1979
Jelzet:
5412
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
The Vienna development method : the meta-language
Megjelenés: 1978
Jelzet:
5397
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
ML with concurrency : Design, analysis, implementation, and application
Megjelenés: 1997
Jelzet:
10794
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Concurrent programming in ML
Szerző:
Reppy, John H.
Megjelenés: 1999
Jelzet:
10743
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
ML for the working programmer
Szerző:
Paulson, Lawrence C.
Megjelenés: 1996
Jelzet:
í 3387
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Elements of ML programming
Szerző:
Ullman, Jeffrey D.
Megjelenés: 1994
Jelzet:
í 3383
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
Nincs elérhető adat
Formátum
könyv
7
Nyelv
angol
7
Szerző
Bjørner, Dines (1937-)
1
Gordon, Michael J. C.
1
Jones, Cliff B. (1944-)
1
Milner, Arthur J.
1
Milner, Robin ([1934-])
1
Nielson, Flemming
1
többet ...
Paulson, Lawrence C.
1
Reppy, John H.
1
Ullman, Jeffrey D.
1
Wadsworth, Christopher P.
1
többet mutat ...
kevesebbet ...
Tárgyszó
ML
programozási nyelv
7
programozási nyelv -- ML
7
ML (Computer program language)
3
Programming languages
1
Programming techniques
1
többet ...
Programming techniques -- ML
1
matematikai logika
1
programozás
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...