Pierpaolo Degano | Akateeminen Kirjakauppa

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

PROGRAMMING LANGUAGES AND SYSTEMS - 12TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2003, HELD AS PART OF THE JOINT EUROPEAN CONFER

Pierpaolo Degano
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

51,40 €

CONCURRENCY, GRAPHS AND MODELS - ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY

Pierpaolo Degano; Rocco de Nicola; José Meseguer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

101,40 €

AUTOMATA, LANGUAGES AND PROGRAMMING - 24TH INTERNATIONAL COLLOQUIUM, ICALP'97, BOLOGNA, ITALY, JULY 7 - 11, 1997, PROCEEDINGS

Pierpaolo Degano; Roberto Gorrieri; Alberto Marchetti-Spaccamela
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja

101,40 €

FORMAL ASPECTS IN SECURITY AND TRUST - 5TH INTERNATIONAL WORKSHOP, FAST 2008 MALAGA, SPAIN, OCTOBER 9-10, 2008, REVISED SELECTED

Pierpaolo Degano; Joshua D. Guttman; Fabio Martinelli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

FOUNDATIONS AND APPLICATIONS OF SECURITY ANALYSIS - JOINT WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISS

Pierpaolo Degano; Luca Viganò
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY - 7TH INTERNATIONAL CONFERENCE, CMSB 2009

Pierpaolo Degano; Roberto Gorrieri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

101,40 €

FORMAL ASPECTS IN SECURITY AND TRUST - 6TH INTERNATIONAL WORKSHOP, FAST 2009, EINDHOVEN, THE NETHERLANDS, NOVEMBER 5-6, 2009, RE

Pierpaolo Degano; Joshua D. Guttman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

FORMAL ASPECTS OF SECURITY AND TRUST - 7TH INTERNATIONAL WORKSHOP, FAST 2010, PISA, ITALY, SEPTEMBER 16-17, 2010. REVISED SELECT

Pierpaolo Degano; Sandro Etalle; Joshua Guttman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

51,40 €

PRINCIPLES OF SECURITY AND TRUST - FIRST INTERNATIONAL CONFERENCE, POST 2012, HELD AS PART OF THE EUROPEAN JOINT CONFERENCES ON

Pierpaolo Degano; Joshua D. Guttman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY - 8TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUN

Marco Bernardo; Pierpaolo Degano; Gianluigi Zavattaro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Programming Languages and Systems - 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Confer

Pierpaolo Degano

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 420 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003 ed.
Julkaisuvuosi: 2003, 14.03.2003 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2618

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus