Jens Høyrup's Documents

Jens Høyrup's Documents

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Read more
Wastewater Pathogens

Wastewater Pathogens
Read more
Transcranial Magnetic Stimulation in Clinical Psychiatry

Transcranial Magnetic Stimulation in Clinical Psychiatry
Read more
Assessing for Learning: Librarians and Teachers as Partners, Revised and Expanded

Assessing for Learning: Librarians and Teachers as Partners, Revised and Expanded
Read more
Debt Relief for Poor Countries

Debt Relief for Poor Countries
Read more
International Review of Cytology: A Survey of Cell Biology, Volume 106

International Review of Cytology: A Survey of Cell Biology, Volume 106
Read more
Mobile Agents for Telecommunication Applications: 5th International Workshop, MATA 2003, Marakech, Morocco, October 8-10, 2003, Proceedings

Mobile Agents for Telecommunication Applications: 5th International Workshop, MATA 2003, Marakech, Morocco, October 8-10, 2003, Proceedings
Read more
Biology and evolution of ferns and lycophytes

Biology and evolution of ferns and lycophytes
Read more
The Non-Alcoholic Drink Book

The Non-Alcoholic Drink Book
Read more
Theory and Applications of Special Functions: A Volume Dedicated to Mizan Rahman

Theory and Applications of Special Functions: A Volume Dedicated to Mizan Rahman
Read more
Field Theory, Quantum Gravity, and Strings II

Field Theory, Quantum Gravity, and Strings II
Read more
Groebner bases and commutative algebra

Groebner bases and commutative algebra
Read more
Diagenesis II

Diagenesis II
Read more
Quantum topology

Quantum topology
Read more
Nonlinear Oscillations

Nonlinear Oscillations
Read more
Phase Transitions in Cell Biology

Phase Transitions in Cell Biology
Read more
Microvias: For Low Cost, High Density Interconnects

Microvias: For Low Cost, High Density Interconnects
Read more
Death Is a Festival: Funeral Rites and Rebellion in Nineteenth-Century Brazil

Death Is a Festival: Funeral Rites and Rebellion in Nineteenth-Century Brazil
Read more
Progress in Zeolite and Microporous Materials (Studies in Surface Science and Catalysis)

Progress in Zeolite and Microporous Materials (Studies in Surface Science and Catalysis)
Read more
The Official Samba-3 HOWTO and Reference Guide, 2nd Edition

The Official Samba-3 HOWTO and Reference Guide, 2nd Edition
Read more
The Illustrated Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time

The Illustrated Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time
Read more
50 Fabulous Places to Raise Your Family: Lee & Saralee Rosenberg's (Lee and Saralee Rosenberg's 50 Fabulous Places to Raise Your Family)

50 Fabulous Places to Raise Your Family: Lee & Saralee Rosenberg's (Lee and Saralee Rosenberg's 50 Fabulous Places to Raise Your Family)
Read more
Evolutionary ethics

Evolutionary ethics
Read more
Advances in Microbial Physiology, Volume 6

Advances in Microbial Physiology, Volume 6
Read more
Nonlinear Optics of Nanoparticles and Nanocomposites

Nonlinear Optics of Nanoparticles and Nanocomposites
Read more
Small-Animal SPECT Imaging

Small-Animal SPECT Imaging
Read more
Bioterrorism

Bioterrorism
Read more
Intermetallic Compounds, Volume 2, Basic Mechanical Properties and Lattice Defects of

Intermetallic Compounds, Volume 2, Basic Mechanical Properties and Lattice Defects of
Read more
The Invisible Man

The Invisible Man
Read more
Integrated Watershed Management: Connecting People to their Land and Water

Integrated Watershed Management: Connecting People to their Land and Water
Read more