A pragmatic approach to software synthesis
- 期刊名称ACM SIGPLAN Notices
- 作者Freitag, Burkhard; Margaria, Tiziana; Steffen, Bernhard
- 卷第29卷
- 期第8期
- 印刷ISSN0362-1340
- 文件大小881.93KB
- 发表时间1994-08-01
- DOI10.1145/185087.185102
- 页码46-58
Identification of acrylic consolidants in wood by Raman spectroscopyMartina Ohlídalová; Irena Kučerová; Miroslava Novotná · 2006
Investigations on some hybrids from theArabis hirsutacomplexIrena Novotná; Romana Czapik · 1971
Individually Rate Corrected QTc Intervals in Children and AdolescentsAndršová, Irena; Hnatkova, Katerina; Helánová, Kateřina; Šišáková, Martina; Novotný, Tomáš; Kala, Petr; Malik, Marek · Frontiers in Physiology · 2019
WildLactucagermplasm for lettuce breeding: current status, gaps and challengesAleš Lebeda; Ivana Doležalová; Eva Křístková; Miloslav Kitner; Irena Petrželová; Barbora Mieslerová; Alžběta Novotná · 2009
Studies on the progenies of hybrids from theArabis hirsutacomplexIrena Novotná; Romana Czapik · 1974
Investigations on Some Hybrids from the Arabis hirsuta ComplexIrena Novotná and Romana Czapik · Folia Geobotanica & Phytotaxonomica · 1971
Effect of Bacillus firmus on antibody formation after mucosal and parenteral immunization in miceLudmila Prokešová; Pavla Mlčková; Irena Staňková; Alice Chloubová; Veronika Novotná; Petra Ladmanová; Petra Chalupná; Milan Mára · 1998