Integrated Formal Methods [Risorsa elettronica] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Leuschel, Heike Wehrheim

• Record Nr.: UNINA990009259290403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2009
• ISBN: 9783642002557
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5423
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Crimes against humanity in the 21st century : law, practice, and threats to international peace and security / / by Robert Dubler and Matthew Kalyk

• Record Nr.: UNINA9910466715703321
• Autore: Dubler Robert
• Pubbl/distr/stampa: Leiden : , : Brill/Nijhoff, , 2018
• ISBN: 9004347682; 9789004347687
• Descrizione fisica: 1 online resource (xvi, 1,090 pages)
• Altri autori (Persone): KalykMatthew
• Disciplina: ELECTRONIC BOOK
• Soggetti: Crimes against humanity; International criminal courts; International security; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia