The Verification of MDG Algorithms in the HOL Theorem Prover

Sa''ed Abed, Otmane Ait Mohamed - ISBN: 978-3-8383-1738-0

NEITHER HERE NOR THERE

(DE)CENTERED PORTRAITS OF MONTRÉAL IN FIVE TEXTS FROM QUÉBEC

Christopher Bolander - ISBN: 978-3-8383-1739-7

Modeling of Solid-fluid Interactions in Inclined Open Channels

Modeling of Flowing Film Concentrators

Arun Majumder - ISBN: 978-3-8383-1680-2

Child Survival of Teenage Mothers

Factors Influencing the Survival of Children of Teenage Mothers of Indonesia

Tiodora Hadumaon Siagian - ISBN: 978-3-8383-1747-2

Children''s Perceptions of Violence

The Nature, Extent and Impact of their Experiences

Janis Carroll-Lind - ISBN: 978-3-8383-1720-5

Nonparametric Statistics for Diffusion Processes

The multidimensional case

Annamaria Bianchi - ISBN: 978-3-8383-1745-8

Attachment, Culture, and the Caregiving System

Cultural patterning of everyday experiences among Anglo and Puerto Rican mother-infant pairs

Vivian J Carlson - ISBN: 978-3-8383-1736-6

Evaluation of Level of Service at Airport Passenger Terminals

Individual Components and Overall Perspectives

Anderson Correia - ISBN: 978-3-8383-1757-1

Small-Scale Processes in the Upper Ocean Boundary Layer

Imaging the Sea Surface by Sound

Marco J. Ulloa - ISBN: 978-3-8383-1764-9

Feminist Analysis of Rural Woman in a Village of Turkey

Feminist Theory, Method, Research

NADIDE KARKINER - ISBN: 978-3-8383-1737-3