Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
Boldo, Sylvie, 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ő
Boldo, Sylvie, szerk.
Megjelenítés:
1 - 1
/
1
- kulcsszavak: '
Boldo, Sylvie, szerk.
'
, keresési idő: 0.02mp
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
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Közreműködő(k):
“
...
Boldo
,
Sylvie
,
szerk
....
”
Jelzet:
13710
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
Algorithm Analysis and Problem Complexity
Computer science
Computer simulation
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Simulation and Modeling
Software Engineering
Software engineering
elektronikus könyv
konferencia
konferenciakötet
logikai tervezés
logikai tervezés -- konferencia
szoftverfejlesztés
szoftverfejlesztés -- konferencia
számítógépes szimuláció
számítógépes szimuláció -- konferencia
tanulmányok
×
Betöltés...