高级检索   注册
ISCAS OpenIR  > 软件所图书馆  > 专著章节/文集论文

浏览所有条目

按标题快速跳转
请选择题名首字母 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
输入前几个字母(或汉字)   
按发表日期快速跳转
日期跳转:
 
14条检索结果中的1-14条条目
条数/页:   其他排序方式:
题名作者发表日期▼ 全文
Resource Architecture and Continuous Performance Engineering [专著章节/文集论文]Murray Woodside2007
Layered Architecture for Secure E-Commerce Applications [专著章节/文集论文]Amir Herzberg; Igal Yoffe2006
Formal Specification and Refinement of a Safe Train Control Function [专著章节/文集论文]V.Winter; D.Kapur; G.Fuehrer2004
Formal specification and refinement of a safe train control function [专著章节/文集论文]V. Winter; D. Kapur; G. Fuehrer2004
Real-time character animation using puppet metaphor [专著章节/文集论文]Yoshihiro Okada2003-2-28
A natural learning algorithm based on Hough transform for text lines extraction in handwritten documents [专著章节/文集论文]Yao Pu; ZhiXin Shi1999
An Introduction to Inductive Definitions [专著章节/文集论文]PETER ACZEL1999
HANDBOOK OF MATHEMATICAL LOGIC [专著章节/文集论文]PETER ACZEL etc1999
λμ-Calculus: An algorithmic interpretation of classical natural deduction [专著章节/文集论文]Michel Parigot1992
Safety for branching time semantics [专著章节/文集论文]A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis1991
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams [专著章节/文集论文]Olivier Coudert; Jean Christophe Madre; Christian Berthet1990
Trace theory [专著章节/文集论文]Antoni Mazurkiewicz1987
Data refinement refined resume [专著章节/文集论文]J.He; C.A.R.Hoare; J.W.Sanders1986
tree automata: an informal survey [专著章节/文集论文]james w.thatcher1974

 

Valid XHTML 1.0! 版权所有 © 2007-2012  中国科学院软件研究所  -反馈
系统开发与技术支持:中国科学院国家科学图书馆兰州分馆(信息系统部)
本系统基于 MIT 和 Hewlett-Packard 的 DSpace 软件开发