Top 774 placido cherchi luigi ruggiu vittorino grossi remo bodei maria bettetini mimmo bua bruno forte gianni carchia sergio givone reimar klein giulio angioni bachisio bandinu maria antonietta mongiu nereide rudas PDF Book Page 33

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)

·278 Pages

·2012

·3.291 MB

Global Values 101: A Short Course with Howard Zinn, Amy Goodman, Naomi Klein, Robert Reich, Juliet Schor, Katha Pollitt, Paul Farmer, Lani Guinier, and others

Kate Holbrook, Ann S. Kim, Brian Palmer, Anna Portnoy (Editors)

·289 Pages

·2006

·1.216 MB

Universo cuántico y sincronicidad: La visión antrópica. Coincidencias significativas. El inconsciente colectivo. El papel de las pandemias en el camino evolutivo humano. Bruno Del Medico Editor

Vicente Cajal

·2020

·0.198 MB

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)

·244 Pages

·2010

·2.948 MB

Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991

K.R. Parker and G.A. Rose (Eds.)

·580 Pages

·1992

·25.66 MB

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. Proce

Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)

·333 Pages

·2013

·3.911 MB

…