[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || Reasoning About Deterministic Concurrent Functional I/O
- 作者Grelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil
- 文件大小451.41KB
- 发表时间2005
- DOI10.1007/11431664_11
- 页码177-194
ChemistrySelect: Building Strong FoundationsOrtúzar, Natalia · ChemistrySelect · 2016
Amorphous biogenic calcium oxalateWeber, Eva; Verch, Andreas; Levy, Davide; Fitch, Andy N.; Pokroy, Boaz · ChemistrySelect · 2016
Understanding Spectroscopic Features of Trihexyltetradecylphosphonium ChlorideBalci , Volkan; Uzun , Alper · ChemistrySelect · 2016
Metal complexes of diaryltetrabenzodiazaporphyrinsAndrianov, Dmitry S.; Levitskiy, Oleg A.; Rybakov, Victor B.; Magdesieva, Tatiana V.; Cheprakov, Andrey V. · ChemistrySelect · 2016
Synthesis of Xanthenones: A ReviewKhanna, Radhika; Dalal, Aarti; Kumar, Ramesh; Kamboj, Ramesh C. · ChemistrySelect · 2016
Total Synthesis of Antifungal Macrolide Sch 725674Reddy, Yugendar; Sabitha, Gowravaram · ChemistrySelect · 2016
Heteroatom Promoted Cycloadditions for GrapheneDenis, Pablo A. · ChemistrySelect · 2016
Protonated Hydrogen CyanideGoetz, Nadine R.; Axhausen, Joachim A. H.; Soltner, Theresa; Rotter, Christiane; Kornath, Andreas J. · ChemistrySelect · 2016