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

Search Results

Help

Item hits: (Results 1-10 of 14)

Items/Page:    Sort:
Resource Architecture and Continuous Performance Engineering [专著章节/文集论文]
出自: Software Architectures, Components, and Applications, Berlin / Heidelberg:Springer, 2007-01-01
Murray Woodside
  |  
 
Layered Architecture for Secure E-Commerce Applications [专著章节/文集论文]
出自: SECRYPT, Portugal:INSTICC Press, 2006-01-01
Amir Herzberg; Igal Yoffe
  |  
 
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-01-01
V. Winter; D. Kapur; G. Fuehrer
  |  
 
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
  |  
 
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
  |  
 
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
  |  
 
Safety for branching time semantics [专著章节/文集论文]
出自: Lecture Notes in Computer Science, Berlin / Heidelberg:Springer, 1991-01-01
A. Bouajjani; J. C. Fernandez; S. Graf; C. Rodriguez; J. Sifakis
  |  
 

1 2 next

 

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