نتایج جستجو
Amar Chitra Katha - Shakuntala
Dolat H. Doongaji, 2009
100 Word Exercise Book: Arabic
Jane Wightwick, Mahmoud Gaafar, Mahmoud Gaafar, 1999
Developing Middleware in Java EE 8
Abdalla Mahmoud [Abdalla Mahmoud], 2018
Advances in Cryptology — CRYPTO ’91: Proceedings
M. Abadi, M. Burrows, B. Lampson, G. Plotkin (auth.), Joan Feigenbaum (eds.), 1992
A theory of Objects
Martín Abadi, Luca Cardelli, 1996
A theory of objects
Martín Abadi, Luca Cardelli, 1996
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.), 1992
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.), 1990
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012
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
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
Advances in Cryptology — CRYPTO ’91: Proceedings
M. Abadi, 1992

مقالات ISI مرتبط


