Megjelenítés:
1 - 2
/
2
- 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ó:
Logic design
Szerző:
Bouajjani, Ahmed, szerk
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Logic design
Szerző:
Bouajjani, Ahmed, szerk
Keresés:
Megjelenítés:
1 - 2
/
2
- 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
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13882
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Confere...
Megjelenés: 2017
Jelzet:
13604
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
2
IK Kari Könyvtár
2
Különgyűjtemény
e-book
2
Formátum
könyv
2
Nyelv
angol
2
Szerző
Bouajjani, Ahmed, szerk
SpringerLink (Online service), közreadó testület
2
International Conference on Formal Techniques for Distributed Objects, Components, and Systems37.(2017) (Neuchâtel, Svájc)
1
International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France)
1
Monniaux, David, szerk
1
Silva, Alexandra, szerk
1
Tárgyszó
Computer Communication Networks
2
Computer science
2
Logic design
Logics and Meanings of Programs
2
Mathematical Logic and Formal Languages
2
Software Engineering
2
többet ...
Software engineering
2
elektronikus könyv
2
szoftverfejlesztés
2
Artificial Intelligence (incl. Robotics)
1
Artificial intelligence
1
Computation by Abstract Devices
1
Programming Languages, Compilers, Interpreters
1
konferencia
1
konferenciakötet
1
logikai tervezés
1
logikai tervezés -- konferencia
1
mesterséges intelligencia
1
szoftverfejlesztés -- konferencia
1
számítástudomány
1
tanulmányok
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...