Stefan Näher's Documents

Stefan Näher's Documents

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Grenzenlose Cyberwelt?: Zum Verhältnis digitaler Ungleichheit und neuen Bildungszugängen für Jugendliche

Grenzenlose Cyberwelt?: Zum Verhältnis digitaler Ungleichheit und neuen Bildungszugängen für Jugendliche
Read more
Osteoarthritis

Osteoarthritis
Read more
Quantum Chromodynamics

Quantum Chromodynamics
Read more
Handbook of Medical Sociology

Handbook of Medical Sociology
Read more
Symmetry And Perturbation Theory: Proceedings Of The International Conference SPT 2004 Cala Genone, Italy, 30 May – 6 June 2004

Symmetry And Perturbation Theory: Proceedings Of The International Conference SPT 2004 Cala Genone, Italy, 30 May – 6 June 2004
Read more
Twenty Years of Inflation Targeting: Lessons Learned and Future Prospects

Twenty Years of Inflation Targeting: Lessons Learned and Future Prospects
Read more
Requirements Management: The Interface Between Requirements Development and All Other Systems Engineering Processes

Requirements Management: The Interface Between Requirements Development and All Other Systems Engineering Processes
Read more
Manual of Temporal Bone Exercises

Manual of Temporal Bone Exercises
Read more
Hepatology 2012: A Clinical Textbook

Hepatology 2012: A Clinical Textbook
Read more
Die Kunst gemeinsam zu handeln: Soziale Prozesse professionell steuern (German Edition)

Die Kunst gemeinsam zu handeln: Soziale Prozesse professionell steuern (German Edition)
Read more
NoSQL: Einstieg in die Welt nichtrelationaler Web 2.0 Datenbanken

NoSQL: Einstieg in die Welt nichtrelationaler Web 2.0 Datenbanken
Read more
Sprach-Geschichte: Ein Handbuch Zur Geschichte Der Deutschen Sprache Und Ihrer Erforschung (Handbooks of Linguistics and Communication Science) (German Edition) (Pt. 3)

Sprach-Geschichte: Ein Handbuch Zur Geschichte Der Deutschen Sprache Und Ihrer Erforschung (Handbooks of Linguistics and Communication Science) (German Edition) (Pt. 3)
Read more
3G Evolution: HSPA and LTE for Mobile Broadband

3G Evolution: HSPA and LTE for Mobile Broadband
Read more
3G Evolution HSPA and LTE for Mobile Broadband

3G Evolution HSPA and LTE for Mobile Broadband
Read more
Robot Grippers

Robot Grippers
Read more
Theory of defects in semiconductors

Theory of defects in semiconductors
Read more
Hepatology: a clinical textbook

Hepatology: a clinical textbook
Read more
GPRS Networks

GPRS Networks
Read more
The 2012 Flying Short Publisher Guide to Hepatitis C

The 2012 Flying Short Publisher Guide to Hepatitis C
Read more
Die Kunst gemeinsam zu handeln: Soziale Prozesse professionell steuern (German Edition)

Die Kunst gemeinsam zu handeln: Soziale Prozesse professionell steuern (German Edition)
Read more
Rationelle Energienutzung in Alten- und Pflegeheim: Leitfaden fur Heimleitung und Haustechnik, 1. Auflage GERMAN

Rationelle Energienutzung in Alten- und Pflegeheim: Leitfaden fur Heimleitung und Haustechnik, 1. Auflage GERMAN
Read more
Cognitive Linguistics: Convergence and Expansion (Human Cognitive Processing)

Cognitive Linguistics: Convergence and Expansion (Human Cognitive Processing)
Read more
Minimal Surfaces II: Boundary Regularity (Grundlehren Der Mathematischen Wissenschaften)

Minimal Surfaces II: Boundary Regularity (Grundlehren Der Mathematischen Wissenschaften)
Read more
Parallel Imaging in Clinical MR Applications

Parallel Imaging in Clinical MR Applications
Read more
Advanced Microsoft Content Management Server MCMS: Working with the Publishing API, Placeholders, Search, Web Services, RSS, and Sharepoint Integration

Advanced Microsoft Content Management Server MCMS: Working with the Publishing API, Placeholders, Search, Web Services, RSS, and Sharepoint Integration
Read more
Optimization with PDE Constraints

Optimization with PDE Constraints
Read more
Quantum chromodynamics

Quantum chromodynamics
Read more
3G Evolution HSPA and LTE for Mobile Broadband

3G Evolution HSPA and LTE for Mobile Broadband
Read more
Innovation und Beteiligung in der betrieblichen Praxis: Strategien, Modelle und Erfahrungen in der Umsetzung von Innovationsprojekten

Innovation und Beteiligung in der betrieblichen Praxis: Strategien, Modelle und Erfahrungen in der Umsetzung von Innovationsprojekten
Read more