SULJE VALIKKO

avaa valikko

Roderick Bloem | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Roderick Bloem; Peter Lipp
Springer International Publishing AG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decidability of Parameterized Verification
Roderick Bloem; Swen Jacobs; Ayrat Khalimov; Igor Konnov
Morgan & Claypool Publishers (2015)
Pehmeäkantinen kirja
77,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, Nov
Roderick Bloem; Eli Arbel
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA,  October 18–19, 2021, and 14th Internatio
Roderick Bloem; Rayna Dimitrova; Chuchu Fan; Natasha Sharygina
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja
54,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decidability of Parameterized Verification
Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
44,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vie
Armin Biere; Roderick Bloem
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Model Checking
Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem
Springer International Publishing AG (2018)
Kovakantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Model Checking
Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
121,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
49,60 €
Springer International Publishing AG
Sivumäärä: 103 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013
Julkaisuvuosi: 2013, 11.11.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Security and Cryptology
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Trusted Systems, INTRUST 2013, held in Graz, Austria, in December 2013. The revised full papers focus on the theory, technologies and applications of trusted systems. They cover all aspects of trusted computing systems, including trusted modules, platforms, networks, services and applications, from their fundamental features and functionalities to design principles, architecture and implementation technologies.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783319034904
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste