长垣产业园区科技文献服务平台

期刊


ISSN0256-2499
刊名Sadhana
参考译名印度科学院工程科学院报
收藏年代1999～2023

关联期刊参考译名收藏年代
Sadhana印度科学院工程科学院报 


全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023

2009, vol.34, no.1 2009, vol.34, no.2 2009, vol.34, no.3 2009, vol.34, no.4 2009, vol.34, no.5 2009, vol.34, no.6

题名作者出版年年卷期
Proof assistants: History, ideas and futureH. GEUVERS20092009, vol.34, no.1
Operating system verification - An overviewGERWIN KLEIN20092009, vol.34, no.1
A compact kernel for the calculus of inductive constructionsA. ASPERTI; W. RICCIOTTI; C. SACERDOTI COEN; E. TASSI20092009, vol.34, no.1
Proving the correctness of client/server softwareEYAD ALKASSAR; SEBASTIAN BOGAN; WOLFGANG J. PAUL20092009, vol.34, no.1
Formalizing Arrow's theoremFREEK WIEDIJK20092009, vol.34, no.1



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024