201
Published 1991
Springer Vienna
Table of Contents: ... Drug Users with AIDS Encephalopathy -- The Treatment with Dextromethorphan of Heroin Addicts...

202
by Snook, R.
Published 1974
Springer Netherlands
Table of Contents: ...Road Accidents -- An Introduction -- Organisation of Emergency Medical Aid -- Equipment...

203
Published 2010
Palgrave Macmillan UK
...Challenging the Aid Paradigm critically examines central aspects of Western international aid...

204
by Kinsman, John
Published 2010
Palgrave Macmillan US
...This book presents a history of AIDS control in Uganda, from the start of the epidemic in the early...

205
by Tallis, Vicci
Published 2012
Palgrave Macmillan UK
...Women are disproportionately affected by HIV and AIDS. By focusing on the pandemic at its epicentre...

206
Published 2008
Palgrave Macmillan UK
...This book brings fresh perspectives into the debate on aid effectiveness and aid relationships...

207
by Mumssen, Yogita
Published 2010
World Bank

208
Published 2015
Springer International Publishing
... International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015...

209
Published 2015
Springer International Publishing
Table of Contents: ...SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path...

211
by Zimmermann, Felix
Published 2005
OECD Publishing
...Donors, aid agencies and recipient governments are having a hard time implementing their promises...

212
Published 2002
OECD Publishing
...Mesures d'aide à prendre face à la situation en Afghanistan : Les leçons à tirer des évaluations...

213
Published 1994
Springer Berlin Heidelberg
...This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held...

214
Published 1995
Springer Berlin Heidelberg
Table of Contents: ..., assumption-commitment style reasoning and theorem proving -- CAVEAT: technique and tool for computer aided...

215
Published 1996
Springer Berlin Heidelberg
... Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96...

216
Published 2012
Springer Berlin Heidelberg
... Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers...

217
Published 2007
Springer Berlin Heidelberg
...This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation...

218
Published 2009
Springer Berlin Heidelberg
... Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers...