Andreas Podelski | Akateeminen Kirjakauppa

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

NETWORKED SYSTEMS - 6TH INTERNATIONAL CONFERENCE, NETYS 2018, ESSAOUIRA, MOROCCO, MAY 9–11, 2018, REVISED SELECTED PAPERS

Andreas Podelski; François Taïani
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

51,40 €

CONSTRAINT PROGRAMMING: BASICS AND TRENDS - 1994 CHATILLON SPRING SCHOOL, CHATILLON-SUR-SEINE, FRANCE, MAY 16 - 20, 1994. SELECT

Andreas Podelski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja

51,40 €

STATIC ANALYSIS - 25TH INTERNATIONAL SYMPOSIUM, SAS 2018, FREIBURG, GERMANY, AUGUST 29–31, 2018, PROCEEDINGS

Andreas Podelski
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

51,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 10TH INTERNATIONAL CONFERENCE, TACAS 2004, HELD AS PART OF T

Kurt Jensen; Andreas Podelski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

101,40 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION - 8TH INTERNATIONAL CONFERENCE, VMCAI 2007, NICE, FRANCE, JANUARY 14-1

Byron Cook; Andreas Podelski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS - 4TH INTERNATIONAL CONFERENCE, VSTTE 2012, PHILADELPHIA, PA, USA, JANUARY 28-29

Rajeev Joshi; Peter Müller; Andreas Podelski
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Andreas Podelski, François Taïani

51,40 €

Springer Nature Switzerland AG
Sivumäärä: 412 sivua
Asu: Pehmeäkantinen kirja
Painos: 2019 ed.
Julkaisuvuosi: 2019, 06.01.2019 (lisätietoa)
Kieli: Englanti
Tuotesarja: Computer Communication Networks and Telecommunications

This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018.

The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus