Jorge Cuellar | Akateeminen Kirjakauppa

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

FM 2008: FORMAL METHODS - 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, TURKU, FINLAND, MAY 26-30, 2008, PROCEEDINGS

Jorge Cuellar; Tom Maibaum
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

SECURITY AND TRUST MANAGEMENT - 6TH INTERNATIONAL WORKSHOP, STM 2010, ATHENS, GREECE, SEPTEMBER 23-24, 2010, REVISED SELECTED PA

Jorge Cuellar; Javier Lopez; Gilles Barthe; Alexander Pretschner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

SMART GRID SECURITY - FIRST INTERNATIONAL WORKSHOP, SMARTGRIDSEC 2012, BERLIN, GERMANY, DECEMBER 3, 2012, REVISED SELECTED PAPER

Jorge Cuellar
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

45,80 €

SMART GRID SECURITY - SECOND INTERNATIONAL WORKSHOP, SMARTGRIDSEC 2014, MUNICH, GERMANY, FEBRUARY 26, 2014, REVISED SELECTED PAP

Jorge Cuellar
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

40,00 €

6 RELATOS ESCALOFRIANTES PARA NOCHES OBSCURAS

Luz Alejandra Cuellar; Jorge Alberto Rojas Cruz
Independently Published (2021)
Pehmeäkantinen kirja

9,30 €

LA POLÍTICA EN JOSÉ MARTÍ

Jorge Cuéllar Montoya
CORPORATIVO V Y T (2021)
Pehmeäkantinen kirja

17,20 €

SMART GRID SECURITY

Jorge Cuellar
Springer (2013)
Pehmeäkantinen kirja

115,10 €

LOCATION PRIVACY IN WIRELESS SENSOR NETWORKS

Ruben Rios; Javier Lopez; Jorge Cuellar
Taylor & Francis Inc (2016)
Kovakantinen kirja

170,20 €

LOCATION PRIVACY IN WIRELESS SENSOR NETWORKS

Ruben Rios; Javier Lopez; Jorge Cuellar
Taylor & Francis Ltd (2020)
Pehmeäkantinen kirja

59,20 €

FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Jorge Cuellar, Tom Maibaum

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 436 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 08.05.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus