Roland Platz | Akateeminen Kirjakauppa

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

CORRECT SYSTEM DESIGN - SYMPOSIUM IN HONOR OF ERNST-RÜDIGER OLDEROG ON THE OCCASION OF HIS 60TH BIRTHDAY, OLDENBURG, GERMANY, S

Roland Meyer; André Platzer; Heike Wehrheim
Springer International Publishing AG (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

47,70 €

MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION, VOLUME 3 - PROCEEDINGS OF THE 41ST IMAC, A CONFERENCE AND EXPOSITION ON STRUCTU

Roland Platz; Garrison Flynn; Kyle Neal; Scott Ouellette
Springer International Publishing AG (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja

198,50 €

MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION, VOL. 3 - PROCEEDINGS OF THE 42ND IMAC, A CONFERENCE AND EXPOSITION ON STRUCTURA

Roland Platz; Garrison Stevens; Kyle Neal; Scott Ouellette
Springer International Publishing AG (2024)
Saatavuus: Tulossa!
Kovakantinen kirja

147,10 €

MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION, VOLUME 3 : PROCEEDINGS OF THE 35TH IMAC, A CONFERENCE AND EXPOSITION ON STRUCTU

Robert Barthorpe (ed.); Roland Platz (ed.); Israel Lopez (ed.); Babak Moaveni (ed.); Costas Papadimitriou (ed.)
Springer (2017)
Saatavuus: Tilaustuote
Kovakantinen kirja

172,80 €

MODEL VALIDATION AND UNCERTAINTY QUANTIFICATION, VOLUME 3 : PROCEEDINGS OF THE 35TH IMAC, A CONFERENCE AND EXPOSITION ON STRUCTU

Robert Barthorpe (ed.); Roland Platz (ed.); Israel Lopez (ed.); Babak Moaveni (ed.); Costas Papadimitriou (ed.)
Springer (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

172,80 €

Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, S

Roland Meyer, André Platzer, Heike Wehrheim

47,70 €

Springer International Publishing AG
Sivumäärä: 279 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 03.09.2015 (lisätietoa)
Kieli: Englanti

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä

Myymäläsaatavuus