中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters    
Items/Page:    Sort:
Resource Architecture and Continuous Performance Engineering [专著章节/文集论文]
出自: Software Architectures, Components, and Applications, Berlin / Heidelberg:Springer, 2007-01-01
Murray Woodside
  |  
 
Formal Specification and Refinement of a Safe Train Control Function [专著章节/文集论文]
, Norwell, MA, USA:Kluwer Academic Publishers, 2004-01-01
V.Winter; D.Kapur; G.Fuehrer
  |  
 
HANDBOOK OF MATHEMATICAL LOGIC [专著章节/文集论文]
出自: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS, OXFORD:ELSEVIER, 1999-01-01
PETER ACZEL etc
  |  
 
An Introduction to Inductive Definitions [专著章节/文集论文]
出自: Handbook of Mathematical Logic, OXFORD:ELSEVIER, 1999-01-01
PETER ACZEL
  |  
 
A natural learning algorithm based on Hough transform for text lines extraction in handwritten documents [专著章节/文集论文]
出自: Advances in handwriting recognition, Singapore:world scientific, 1999-01-01
Yao Pu; ZhiXin Shi
  |  
 
λμ-Calculus: An algorithmic interpretation of classical natural deduction [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg:Springer, 1992-01-01
Michel Parigot
  |  
 
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams [专著章节/文集论文]
, London, UK:Springer-Verlag, 1990-01-01
Olivier Coudert; Jean Christophe Madre; Christian Berthet
  |  
 
Data refinement refined resume [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Springer Berlin / Heidelberg:Springer, 1986-01-01
J.He; C.A.R.Hoare; J.W.Sanders
  |  
 
tree automata: an informal survey [专著章节/文集论文]
出自: CURRENTS IN THE THEORY OF COMPUTING, ENGLEWOOD CLIFFS, N.J.:PRENTICE-HALL,INC, 1974-01-01
james w.thatcher
  |  
 

1

 

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