Megjelenítés:
1 - 5
/
5
- 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ó:
Congresses
Szerző:
Bjørner, Dines (1937-)
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Congresses
Szerző:
Bjørner, Dines (1937-)
Keresés:
Megjelenítés:
1 - 5
/
5
- 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
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
Megjelenés: 1996
Jelzet:
10283
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
Megjelenés: 1993
Jelzet:
9272
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings
Megjelenés: 1990
Jelzet:
8292
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Formal description of programming concepts--II : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June...
Megjelenés: 1983
Jelzet:
6476
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
VDM '87 : VDM - A Formal Method at Work : VDM-Europe Symposium 1987 : Brussels, Belgium, March 1987 : Proceedings
Megjelenés: 1987
Jelzet:
7575
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
5
IK Kari Könyvtár
5
Különgyűjtemény
Nincs elérhető adat
Formátum
könyv
5
Nyelv
angol
5
Szerző
Bjørner, Dines (1937-)
Broy, Manfred (1949-)
2
Pottosin, I. V.
2
Hoare, Charles Anthony Richard
1
IFIP Working Conference on Formal Description of Programming Concepts3.(1982) (Garmisch-Partenkirchen, Germany)
1
International Andrei Ershov Memorial Conference2nd :(1996 :) (Akademgorodok, Novosibirsk, Russia)
1
többet ...
International Symposium of VDM Europe3.(1990) (Kiel)
1
Jones, Cliff B. (1944-)
1
Konferencia (1993) (Novosibirsk)
1
Konferencia (1996) (Novosibirsk)
1
Langmaack, H.
1
VDM (1987)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Congresses
konferencia
3
konferenciakötet
3
tanulmányok
3
Computer software
1
Computer software -- Development -- Congresses
1
többet ...
Development
1
Erčov, Andrej Petrovič
1
Formal languages
1
Formal languages -- Congresses
1
Programming languages
1
Programming languages -- Congresses
1
Software
1
Software -- Congresses
1
Software engineering
1
Software engineering -- Congresses
1
Theory of computation
1
Theory of computation -- Congresses
1
formális nyelvek (számítástechnika)
1
formális nyelvek (számítástechnika) -- konferencia
1
programozás
1
programozás -- konferencia
1
szoftverfejlesztés
1
szoftverfejlesztés -- konferencia
1
szoftvertechnológia
1
szoftvertechnológia -- konferencia
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...