نتایج جستجو

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
Sharon Shoham (editor), Yakir Vizel (editor), 2022
Fundamentals of Traffic Simulation (International Series in Operations Research & Management Science, 145)
Jaume Barceló (editor), 2010
Mujeres en Perú : sus derechos, en peligro
Amnesty International/ Amnistía Internacional, 1995
Perú. La legislación «antiterrorista» y sus efectos: una asignatura pendiente de la transición a la democracia
Amnesty International/ Amnistía Internacional, 2003
Calculus: International Metric Edition
Ron Larson, Bruce Edwards, 2022
12th Annual International Conference on Philosophy
Gregory T. Papanikos, 2017
Contesting Revisionism: China, the United States, and the Transformation of International Order
Steve Chan, Huiyun Feng, Kai He, Weixing Hu, 2021
Contesting Revisionism: China, the United States, and the Transformation of International Order
Steve Chan, Huiyun Feng, Kai He, Weixing Hu, 2021
Le dollar et le système monétaire international
Michel Aglietta, Virginie Coudert, 2014
Decolonizing Educational Knowledge: International Perspectives and Contestations
Ann E. Lopez, Herveen Singh (eds.), 2024
Decolonizing Educational Knowledge: International Perspectives and Contestations
Ann E. Lopez, Herveen Singh (eds.), 2024
Research Challenges in Information Science: 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14–17, 2024, Proceedings
João Araújo (editor), Jose Luis de la Vara (editor), Maribel Yasmina Santos (editor), Saïd Assar (editor), 2024
The Engagement of Domestic Courts with International Law: Comparative Perspectives
André Nollkaemper (editor), Yuval Shany (editor), Antonios Tzanakopoulos (editor), 2024
Essays in Honor of Judge Taslim Olawale Elias. Volume II: Contemporary International Law and African Law
Emmanuel G. Bello, Prince Bola A. Ajibola (eds.), 1992
Essays in Honour of Judge Taslim Olawale Elias, Volume I: Contemporary International Law and Human Rights
Emmanuel G. Bello, Prince Bola A. Ajibola (eds.), 1992
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Constantin Enea (editor), Akash Lal (editor), 2023
Angewandte Philosophie: Eine internationale Zeitschrift / Applied Philosophy: An International Journal
Norbert Blößner, Jörg Hardy (eds.), 2024
North American Genocides Indigenous Nations, Settler Colonialism, and International Law
Laurelyn Whitt, Alan W. Clarke, 2019
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers
Peter Birkner, Nicolas Thériault (auth.), Roberto Maria Avanzi, Liam Keliher, Francesco Sica (eds.), 2009