44 results on '"Rabe F"'
Search Results
2. An Automated System for Multiple Recording of Diurnal pH
3. Comparison of the lossy image data compressions for the MESUR Pathfinder and for the Huygens Titan Probe
4. Formalizing Physics: Automation, Presentation and Foundation Issues
5. Learning2Reason
6. Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
7. Preface
8. A Formalization of the C99 Standard in HOL, Isabelle and Coq
9. Computer Certified Efficient Exact Reals in Coq
10. Licensing the Mizar mathematical library
11. Formalizing Physics: Automation, Presentation and Foundation Issues
12. Mizar: State-of-the-art and Beyond
13. Publishing math lecture notes as linked data
14. Präklinische Schlaganfallversorgung - welche 'Rettung' kommt beim Patienten an?
15. Krisenintervention im Rettungsdienst - welcher Versorgungsgrad besteht in Deutschland?
16. Die Nervösen Beziehungen des Dickdarms zum Dünndarm und Magen
17. The Mizar Mathematical Library in OMDoc: Translation and Applications
18. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
19. Preface
20. Learning2Reason
21. A Formalization of the C99 Standard HOL, Isabelle and Coq
22. Large Formal Wikis: Issues and Solutions
23. Computer Certified Efficient Exact Reals in Coq
24. Licensing the Mizar mathematical library
25. Effects of a Growth-promoting Implant Containing Tylosin Tartrate on Performance, Buller Incidence and Carcass Characteristics of Feedlot Steers
26. The imager for mars pathfinder (IMP) experiment
27. Differential roles of Mac-1+ cells, and CD4+ and CD8+ T lymphocytes in primary nonfunction and classic rejection of islet allografts.
28. Über Faserstoffmangel im Blute bei einem Falle von Hämophilie
29. Publishing math lecture notes as linked data
30. Publishing math lecture notes as linked data
31. Logic-Independent Proof Search in Logical Frameworks: (Short Paper)
32. Barriers to adherence of posttreatment follow-up after positive primary cervical cancer screening in Ethiopia: a mixed-methods study.
33. Adherence to Treatment and Follow-Up of Precancerous Cervical Lesions in Ethiopia.
34. Estimating multimodal brain variability in schizophrenia spectrum disorders: A worldwide ENIGMA study.
35. Performing a vibrotactile discrimination task modulates finger representations in primary somatosensory cortex.
36. Survival and predictors of breast cancer mortality in South Ethiopia: A retrospective cohort study.
37. Ergodicity-breaking reveals time optimal decision making in humans.
38. Overrepresentation Analyses of Differentially Expressed Genes in the Smut Fungus Ustilago bromivora during Saprophytic and in planta Growth.
39. A complete toolset for the study of Ustilago bromivora and Brachypodium sp. as a fungal-temperate grass pathosystem.
40. Phytohormone sensing in the biotrophic fungus Ustilago maydis - the dual role of the transcription factor Rss1.
41. Degradation of the plant defence hormone salicylic acid by the biotrophic fungus Ustilago maydis.
42. Metabolic priming by a secreted fungal effector.
43. Measurement of dose-area product with GafChromic XR Type R film.
44. A study of GafChromic XR Type R film response with reflective-type densitometers and economical flatbed scanners.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.