机构

• 软件研究所 [14]

采集方式

• OAI收割 [14]

内容类型

• 专著章节/文集论文 [14]

发表日期

• 2007 [1]
• 2006 [1]
• 2004 [2]
• 2003 [1]
• 1999 [3]
• 1992 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 限定条件 专题：专著章节/文集论文    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 Resource Architecture and Continuous Performance Engineering 专著章节/文集论文  OAI收割 出自: Software Architectures, Components, and Applications, Berlin / Heidelberg, Berlin / Heidelberg:Springer, Springer, 2007 Murray Woodside   |  收藏  |  浏览/下载：20/0  |  提交时间：2010/05/11 Layered Architecture for Secure E-Commerce Applications 专著章节/文集论文  OAI收割 出自: SECRYPT, Portugal, Portugal:INSTICC Press, INSTICC Press, 2006 Amir Herzberg; Igal Yoffe   |  收藏  |  浏览/下载：39/0  |  提交时间：2010/05/14 Secure e-commerce  secure payments  attested delivery  e-banking  cryptographic protocol  non-repudiation  Secure e-commerce  secure payments  attested delivery  e-banking  cryptographic protocol  non-repudiation   Formal Specification and Refinement of a Safe Train Control Function 专著章节/文集论文  OAI收割 Norwell, MA, USA, Norwell, MA, USA:Kluwer Academic Publishers, Kluwer Academic Publishers, 2004 V.Winter; D.Kapur; G.Fuehrer   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/05/07 Formal specification and refinement of a safe train control function 专著章节/文集论文  OAI收割 出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA, Norwell, MA, USA:Kluwer Academic Publishers, Kluwer Academic Publishers, 2004 V. Winter; D. Kapur; G. Fuehrer   |  收藏  |  浏览/下载：29/0  |  提交时间：2010/05/27 Real-time character animation using puppet metaphor 专著章节/文集论文  OAI收割 出自: Entertainment Computing: Technologies and Applications (IFIP Advances in Information and Communication Technology), Springer-Verlag in Berlin, Springer-Verlag in Berlin:Springer, Springer, 2003 Yoshihiro Okada   |  收藏  |  浏览/下载：37/0  |  提交时间：2010/05/13 A natural learning algorithm based on Hough transform for text lines extraction in handwritten documents 专著章节/文集论文  OAI收割 出自: Advances in handwriting recognition, Singapore, Singapore:world scientific, world scientific, 1999 Yao Pu; ZhiXin Shi   |  收藏  |  浏览/下载：35/0  |  提交时间：2010/05/13 An Introduction to Inductive Definitions 专著章节/文集论文  OAI收割 出自: Handbook of Mathematical Logic, OXFORD, OXFORD:ELSEVIER, ELSEVIER, 1999 PETER ACZEL   |  收藏  |  浏览/下载：27/0  |  提交时间：2010/10/28 HANDBOOK OF MATHEMATICAL LOGIC 专著章节/文集论文  OAI收割 出自: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS, OXFORD, OXFORD:ELSEVIER, ELSEVIER, 1999 PETER ACZEL etc   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/10/28 λμ-Calculus: An algorithmic interpretation of classical natural deduction 专著章节/文集论文  OAI收割 出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Springer Berlin / Heidelberg:Springer, Springer, 1992 Michel Parigot   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/05/13 Safety for branching time semantics 专著章节/文集论文  OAI收割 出自: Lecture Notes in Computer Science, Berlin / Heidelberg, Berlin / Heidelberg:Springer, Springer, 1991 A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis   |  收藏  |  浏览/下载：20/0  |  提交时间：2010/05/11