Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

PDF
English
Year: 2013
Author: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)

Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings

PDF
English
Year: 2015
Author: Ezio Bartocci, Rupak Majumdar (eds.)

Lectures on Runtime Verification: Introductory and Advanced Topics

PDF
English
Year: 2018
Author: Ezio Bartocci,Yliès Falcone (eds.)

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

PDF
English
Year: 2013
Author: Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)

New Trends in Geometry: Their Role in the Natural and Life Sciences

PDF
English
Year: 2011
Author: Bartocci C., et al. (eds.)

Lectures on Runtime Verification: Introductory and Advanced Topics

EPUB
English
Year: 2018
Author: Bartocci, Ezio.;Falcone, Yliès

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10805)

EPUB
English
Year: 2018
Author: Dirk Beyer

Vom Zukunfts- zum Auslaufmodell?: Die deutsche Wirtschaftsordnung im Wandel

PDF
German
Year: 2003
Author: Jürgen Beyer (auth.), Dr. Jürgen Beyer (eds.)

Die Technik der Dichtkunst: Anleitung zum Vers- und Strophenbau und zur Übersetzungskunst

PDF
German
Year: 1884
Author: C. Beyer

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

PDF
English
Year: 2019
Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky