Roberto Amadio - Bücher - alle Infos bei Yasni.de

(1 - 6 von 9

)

Automata, Languages and Programming: 24th International Colloquium,...

books.google.de

Roberto Amadio and Sanjiva Prasad. Localities and failures. In FST-TCS, volume 880 of LNCS. Springer, Roberto Amadio. From a concurrent ^.-calculus ...

CONCUR Concurrency Theory: 14th International Conference,...

books.google.de

This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September...

CONCUR Concurrency Theory: 22nd International Conference,...

books.google.de

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September...

CONCUR Concurrency Theory: 23rd International Conference,...

books.google.de

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne,...

FSTTCS 2007: Foundations of Software Technology and Theoretical...

books.google.de

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science,...

Modeling and Verification of Parallel Processes: 4th Summer School,...

books.google.de

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP...

Verwandte Suchanfragen zu Roberto Amadio

Personen
Vorname "Roberto" (10520)
Name "Amadio" (39)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Roberto Amadio

Automata, Languages and Programming: 24th International Colloquium,...

CONCUR Concurrency Theory: 14th International Conference,...

CONCUR Concurrency Theory: 22nd International Conference,...

CONCUR Concurrency Theory: 23rd International Conference,...

FSTTCS 2007: Foundations of Software Technology and Theoretical...

Modeling and Verification of Parallel Processes: 4th Summer School,...