Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

PDF
English
Year: 2011
Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)

Formal Techniques for Distributed Systems. Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings

PDF
English
Year: 2011
Author: Roberto Bruni, Juergen Dingel (eds.)

Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

PDF
English
Year: 2009
Author: Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.)

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

PDF
English
Year: 2009
Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

Models of Computation

PDF
English
Year: 2017
Author: Roberto Bruni, Ugo Montanari (auth.)

Numerical Integration of Differential Equations and Large Linear Systems: Proceedings of two Workshops Held at the University of Bielefeld Spring 1980

PDF
English
Year: 1982
Author: Don Secrest (auth.), Juergen Hinze (eds.)

Spatial Econometric Interaction Modelling

PDF
English
Year: 2016
Author: Roberto Patuelli, Giuseppe Arbia (eds.)

Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings

PDF
English
Year: 2010
Author: Roberto Grossi, Alessio Orlandi, Giuseppe Ottaviano (auth.), Paolo Boldi, Luisa Gargano (eds.)

Models of Computation

PDF
english
Year: 2017
Author: Roberto Bruni, Ugo Montanari

Models of Computation

PDF
English
Year: 2017
Author: Roberto Bruni, Ugo Montanari