KIRJAUDU

ostoskori

avaa valikko

Tiziana Margaria | Akateeminen Kirjakauppa

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

SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of

Steffen, Bernhard; Baier, Christel; van den Brand, Mark; Eder, Johann; Hinchey, Mike; Margaria, Tiziana
Springer International Publishing AG
2017
Pehmeäkantinen kirja

59,10 €

Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam

Herzwurm, Georg; Tiziana, Margaria
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

54,50 €

Software Business. from Physical Products to Software Services and Solutions - 4th International Conference, Icsob 2013, Potsdam

Herzwurm, Georg; Tiziana, Margaria
Springer
2013
Pehmeäkantinen kirja

132,00 €

Correct Hardware Design and Verification Methods - 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingsto

Margaria, Tiziana; Melham, Tom
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

59,10 €

Tools and Algorithms for the Construction and Analysis of Systems - 7th International Conference, TACAS 2001 Held as Part of the

Margaria, Tiziana; Yi, Wang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

116,60 €

Tools and Algorithms for the Construction and Analysis of Systems - Second International Workshop, TACAS '96, Passau, Germany, M

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja

59,10 €

Services and Visualization: Towards User-Friendly Design - ACos'98, VISUAL'98, AIN'97, Selected Papers

Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Porto Sani,

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

154,80 €

Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

116,60 €

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Cre

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Cre

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, I

Margaria, Tiziana; Steffen, Bernhard
Springer International Publishing AG
2016
Pehmeäkantinen kirja

116,60 €

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th Internatio

Margaria, Tiziana; Steffen, Bernhard
Springer International Publishing AG
2016
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Sy

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th Internatio

Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Lima

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018,

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

59,10 €

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA

Margaria, Tiziana; Steffen, Bernhard
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

59,10 €

Näytä lisää...

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Meistä

Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta

Seuraa Akateemista

Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn

Sisäänkirjautuminen

Kirjaudu sisään Rekisteröityminen

Oma tili

Omat tiedot Omat tilaukset Omat laskut

Meistä

Yhteystiedot ja aukioloajat Usein kysytyt Akateemisen Ystäväklubi Toimitusehdot Tietosuojaseloste Maksutavat Evästeiden hallinta

Seuraa Akateemista

Instagram Facebook Threads TikTok YouTube LinkedIn