Community Development through Community Leadership Programs: Insights from a Statewide Community Leadership Initiative
- 期刊名称Community Development
- 作者Wituk, Scott; Ealey, Sarah; Clark, Mary Jo; Heiny, Pat; Meissen, Greg
- 卷第36卷
- 期第2期
- 印刷ISSN1557-5330
- 电子ISSN1944-7485
- 文件大小8706.55KB
- 发表时间2005-06
- DOI10.1080/15575330509490177
- 页码89-101
[IEEE 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Reviewers2010
[IEEE 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Preface2010
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - [Cover art]2010
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Title Page i2010
[IEEE 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Copyright Page2010
[IEEE 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Author Index2010
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Programming via RewritingCa, Virgil Emil · 2010
[IEEE 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Table of Contents2010
Theorema: Towards computer-aided mathematical theory explorationBruno Buchberger; Adrian Crǎciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger · 2006
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programsNikolaj Popov; Tudor Jebelean · 2009
[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Combining Logic and Algebraic Techniques for Program Verification in TheoremaKovács, Laura; Popov, Nikolaj; Jebelean, Tudor · 2006