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 €

DECIDABILITY OF PARAMETERIZED VERIFICATION

Roderick Bloem; Swen Jacobs; Ayrat Khalimov; Igor Konnov
Morgan & Claypool Publishers (2015)
Pehmeäkantinen kirja

77,20 €

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 €

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 €

DECIDABILITY OF PARAMETERIZED VERIFICATION

Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

44,80 €

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 €

HANDBOOK OF MODEL CHECKING

Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2018)
Kovakantinen kirja

121,30 €

HANDBOOK OF MODEL CHECKING

Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2020)
Pehmeäkantinen kirja

121,30 €

Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Roderick Bloem, Peter Lipp

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus