中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 专著章节/文集论文

view all items

(Results 1-14 of 14)
Help
Items/Page:    Sort:
Resource Architecture and Continuous Performance Engineering [专著章节/文集论文]
出自: Software Architectures, Components, and Applications, Berlin / Heidelberg:Springer, 2007
Murray Woodside
  |  View/Download:3/0
 
Layered Architecture for Secure E-Commerce Applications [专著章节/文集论文]
出自: SECRYPT, Portugal:INSTICC Press, 2006
Amir Herzberg; Igal Yoffe
  |  View/Download:1/0
 
Formal specification and refinement of a safe train control function [专著章节/文集论文]
出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA:Kluwer Academic Publishers, 2004
V. Winter; D. Kapur; G. Fuehrer
  |  View/Download:4/0
 
Formal Specification and Refinement of a Safe Train Control Function [专著章节/文集论文]
Norwell, MA, USA:Kluwer Academic Publishers, 2004
V.Winter; D.Kapur; G.Fuehrer
  |  View/Download:6/0
 
Real-time character animation using puppet metaphor [专著章节/文集论文]
出自: Entertainment Computing: Technologies and Applications (IFIP Advances in Information and Communication Technology), Springer-Verlag in Berlin:Springer, 2003-02-28
Yoshihiro Okada
  |  View/Download:6/6
 
HANDBOOK OF MATHEMATICAL LOGIC [专著章节/文集论文]
出自: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS, OXFORD:ELSEVIER, 1999
PETER ACZEL etc
  |  View/Download:11/1
 
An Introduction to Inductive Definitions [专著章节/文集论文]
出自: Handbook of Mathematical Logic, OXFORD:ELSEVIER, 1999
PETER ACZEL
  |  View/Download:7/1
 
A natural learning algorithm based on Hough transform for text lines extraction in handwritten documents [专著章节/文集论文]
出自: Advances in handwriting recognition, Singapore:world scientific, 1999
Yao Pu; ZhiXin Shi
  |  View/Download:1/0
 
λμ-Calculus: An algorithmic interpretation of classical natural deduction [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg:Springer, 1992
Michel Parigot
  |  View/Download:1/0
 
Safety for branching time semantics [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer, 1991
A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis
  |  View/Download:1/0
 
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams [专著章节/文集论文]
London, UK:Springer-Verlag, 1990
Olivier Coudert; Jean Christophe Madre; Christian Berthet
  |  View/Download:2/0
 
Trace theory [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer Berlin / Heidelberg, 1987
Antoni Mazurkiewicz
  |  View/Download:2/0
 
Data refinement refined resume [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg:Springer, 1986
J.He; C.A.R.Hoare; J.W.Sanders
  |  View/Download:0/0
 
tree automata: an informal survey [专著章节/文集论文]
出自: CURRENTS IN THE THEORY OF COMPUTING, ENGLEWOOD CLIFFS, N.J.:PRENTICE-HALL,INC, 1974
james w.thatcher
  |  View/Download:2/2
 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace