Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
Bouajjani, Ahmed, szerk.
'
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
Szerző
Bouajjani, Ahmed, szerk.
Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
Bouajjani, Ahmed, szerk.
'
, 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
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Közreműködő(k):
“
...
Bouajjani
,
Ahmed
,
szerk
....
”
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
Közreműködő(k):
“
...
Bouajjani
,
Ahmed
,
szerk
....
”
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
—
Kapcsolódó kulcsszavak
Computer Communication Networks
Computer science
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Software engineering
elektronikus könyv
szoftverfejlesztés
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computation by Abstract Devices
Programming Languages, Compilers, Interpreters
konferencia
konferenciakötet
logikai tervezés
logikai tervezés -- konferencia
mesterséges intelligencia
szoftverfejlesztés -- konferencia
számítástudomány
tanulmányok
×
Betöltés...