نتایج جستجو
برای Behzad Abadi Bavil، صفحه ۱ از ۴ در بین ۷۸ کتاب.
PDF
Design of Integrated Circuits for Optical Communications
Behzad Razavi, Behzad Razavi, 2002DJVU
Advances in Cryptology — CRYPTO ’91: Proceedings
M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.), 1992PDF
A theory of Objects
Martín Abadi, Luca Cardelli, 1996DJVU
A theory of objects
Martín Abadi, Luca Cardelli, 1996DJVU
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992DJVU
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990PDF
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012DJVU
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989PDF
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
PDF
Advances in Cryptology — CRYPTO ’91: Proceedings
M. Abadi, 1992
DJVU
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings
Martin Abadi, 1985PDF
PDF
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
Martín Abadi (auth.), 2007PDF
مقالات ISI مرتبط
