LOIC - PDFSEARCH.IO - Document Search Engine

LOIC
Results: 290

#	Item
71	Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
72	European Journal of Probation University of Bucharest www.ejprob.ro Vol. 4, No.2, 2012, pp 1 – 2 ISSN: 2006 – 2203 Add to Reading List Source URL: www.ejprob.ro Language: English - Date: 2012-05-21 15:16:18 Management Probation Loïc Wacquant Electronic tagging Risk Academic publishing Punishments Ethics Criminal law
73	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
74	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software
75	Everything is global or at least is turning into America - or not? Two approaches to critical comparative urban analysis. Loic Wacquant: “ Das Janusgesicht des Ghettos” Birkhaeser Verlag fuer Architektur. Reihe Bauwe Add to Reading List Source URL: www.monu.org Language: English - Date: 2007-08-27 05:36:36 Urban anthropology Law enforcement Ghetto Law Banlieue Crime Zero tolerance Social anthropologists Loïc Wacquant Slums
76	Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:49 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
77	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
78	nouveautés Actes Sud Junior Détails : © adoc-photos ; © Loïc Robaeys. j a nvi e r FÉVRIER 2014 Add to Reading List Source URL: www.actes-sud-junior.fr Language: French - Date: 2014-05-22 06:52:28
79	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
80	Monu#05_The Return of the Repressed.indd Add to Reading List Source URL: www.monu.org Language: English - Date: 2007-08-27 05:40:14 Structure Sociology Loïc Wacquant Slums Urban anthropology Banlieue Ghetto Underclass Violence Poverty Urban decay France

UPDATE