Font Size:
a
A
A
Keyword [Theorem]
Result: 21 - 40 | Page: 2 of 10
21.
Research On GP Technologies And Applications
22.
Investigations On The Substrate Integrated Waveguide And Its Application In Filters
23.
On Global Controllability Of Some Class Of Affine Nonlinear Systems And Its Applications
24.
Analysis And Controlling In Nonlinear Chaotic System
25.
Formalizing Type Safety Of The Java Virtual Machine
26.
Joint Source-Channel (De)Coding/Modulation In Communication Systems
27.
The Formal Verification Techniques For The Timed System Using Timed Automata
28.
Formal Verification Technology For Object-Oriented Software
29.
Study On Algebra Methods For Cryptographic Protocol Verification
30.
The Moshe And Hertz's Algorithm Of Discrete Fourier Transform Generalization And Its Application
31.
Studies Of Nonlinear Sampled-Data Systems Based On Approximate Models
32.
Control Of Position System Based On Sliding Mode Theory And Friction Compensation
33.
Universally Composable Cryptographic Protocols Theory And Applications
34.
Analyzing The Electromagnetic Characteristics Of Frequency Selective Surface By Three-Dimensional Spectral Method
35.
Research On Problems Related To Electromagnetic Scattering From The Rough Surface And Composite Scattering From The Rough Surface And The Target
36.
The Design And Implementation Of An Automated Theorem Prover Used For Pointer Logic
37.
Research On Sliding-Mode Control Of Discrete Uncertain Systems With Time-delays
38.
Study On Stable Theorem And Synchronizing Approach About Fractional Chaotic System
39.
Research On Novel Extraction Methods For Object Edges And Contours
40.
Research On Some Automated Reasoning Methods For Logic
<<First
<Prev
Next>
Last>>
Jump to