نتایج جستجو
برای International Code Council.، صفحه ۳۵۹ از ۱,۴۲۰ در بین ۳۵,۴۹۰ کتاب.
PDF
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008PDF
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008PDF
Historical Linguistics 1997: Selected Papers from the 13th International Conference on Historical Linguistics, Düsseldorf, 10-17 August 1997
Monika S. Schmid, Jennifer R. Austin, Dieter Stein (Eds.), 1998PDF
Small-Scale Turbulence and Mixing in the Ocean: Proceedings of the 19th International Liege Colloquium on Ocean Hydrodynamics
J.C.J. Nihoul and B.M. Jamart (Eds.), 1988PDF
Advances in Power Electronics and Instrumentation Engineering: Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Tapan Mandal, Santanu Das (auth.), Vinu V Das, Nessy Thankachan, Narayan C. Debnath (eds.), 2011
PDF
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Sava Krstić, Amit Goel (auth.), Boris Konev, Frank Wolter (eds.), 2007PDF
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Marek Chrobak (auth.), Leszek Gąsieniec, Frank Wolter (eds.), 2013PDF
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Marek Chrobak (auth.), Leszek Gąsieniec, Frank Wolter (eds.), 2013PDF
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.), 2001
PDF
A Diplomat’s Handbook of International Law and Practice
B. Sen (auth.), 1965
PDF
A Strategic Understanding of UN Economic Sanctions: International Relations, Law and Development
Golnoosh Hakimdavar, 2013PDF
A Study of the Philosophy of International Law as Seen in Works of Latin American Writers
H. B. Jacobini (auth.), 1954
PDF
Aboriginal Peoples, Colonialism and International Law: Raw Law
Irene Watson, 2014PDF
Access to Justice, Denial of Justice and International Investment Law
Francesco FrancioniPDF
Acoustical Imaging: Proceedings of the Sixteenth International Symposium, June 10–12, 1987
Philip S. Green, Joel F. Jensen, Zse-Cherng Lin (auth.), Lawrence W. Kessler (eds.), 1989PDF
Africa and the Deep Seabed Regime: Politics and International Law of the Common Heritage of Mankind
Edwin Egede (auth.), 2011PDF
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012PDF
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
PDF
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2009PDF
