Top 219 barbara forte abate abate PDF Book Page 8

book image

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.)
·391 Pages
·2004
·3.388 MB

book image

Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings

Viet Tung Hoang, Ben Morris, Phillip Rogaway (auth.), Reihaneh Safavi-Naini, Ran Canetti (eds.)
·902 Pages
·2012
·12.273 MB

book image

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.)
·496 Pages
·2006
·6.41 MB

book image

Emotions, Communities, and Difference in Medieval Europe: Essays in Honor of Barbara H. Rosenwein

Maureen C. Miller (ed.), Edward Wheatley (ed.)
·259 Pages
·2017
·24.1 MB

book image

Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Francesco Bullo (auth.), João P. Hespanha, Ashish Tiwari (eds.)
·594 Pages
·2006
·9.728 MB