Font Size:
a
A
A
Keyword [Normal Form]
Result: 1 - 20 | Page: 1 of 4
1.
Stability And H_∞ Control For Classes Of Switched Nonlinear Systems
2.
An XML Schema Design Methodology Based On XUML
3.
Research On Structures And Normal Forms Of Security Protocols
4.
Nonlinear Control Of A Class Of Underactuated Mechanical Systems
5.
Research On Totally-ordered And Partially-ordered Temporal Database
6.
Research On The Reasoning Of Concept Satisfiability In Description Logics
7.
The Standardization Of The Xml Document
8.
A Complete Axiomatization For Projection Temporal Logic And Formal Verifications
9.
Design And Realization For Database Of Network Management System In Integration Communication Network
10.
Researching On Several Key Problems About Notmalization Theory For Object-oriented Database
11.
Study On Data Dependency Theory In Temporal Database
12.
The Normalization Theories And Algorithms In OODB Designs
13.
Research On The Paraconsistent Database
14.
Investigations On Normal Forms In Intermediate Logics
15.
Satisfiability And Expressiveness Of Propositional Projection Temporal Logic
16.
Decidability Of Propositional Projection Temporal Logic
17.
Research On Data Dependency Of Totally Ordered Temporal Scheme In Temporal Database
18.
Application Of Petri Nets In Predicate Logic Reasoning
19.
Stabilization Of Some Classes Of Switched Nonlinear Systems
20.
Research On XML Normalization Based On Semantic Constraints
<<First
<Prev
Next>
Last>>
Jump to
