Font Size: a A A
Keyword [Logic]
Result: 1 - 20 | Page: 1 of 10
1. Research On Privacy Analysis And Protection Method Of Service Composition In Cloud Computing
2. Research On Image Processing Based On Memristors
3. Memory Encryption Architecture Technology Based On Memristor
4. Constraint Solving And Formal Verification With MSVL
5. Study On Symbolic Model Checking Of Propositional Projection Temporal Logic And Its Applications
6. Sliding Mode Variable Structure Control And Its Application To Wafer Scanner
7. Localization Algorithm Of Wireless Sensor Network Under Complex Environment
8. The Study Of Optical Signal Processing Technology Based On Photon-Liquid Crystal And Hybrid Plasmonic Waveguides
9. The Research And Design On Low Power SAR ADC With High Speed And High Resolution
10. Research On Key Technologies Of Multi- Domain And Multi-Level Authorization Management Model Supporting Resource Management
11. Research On The LLTS-oriented Process Calculus CLL_R
12. Nano-electronic Circuit Reliability Design Based On Evolutionary Algorithm
13. Formal Analysis And Verification Of Hybrid Systems Via Co-Verification And Hybrid Relations
14. Research On Optimization Techniques For Bounded Model Checking Of Hybrid Systems
15. The Quantitative Study In First-Order Logic System
16. Research On Some Key Techniques Of Image Semantic Understanding
17. Cooperative Control Of Uncertain Nonlinear Multi-agent Systems
18. Approximate Reasoning—Investigation Of Polynomial Algebraic Dynamic Logic
19. Research On All-Optical Pseudo Random Binary Sequence Generation And Repetition Rate Multiplication
20. Studies On The Construction And Properties Of New Photochemical Metal Ion Sensors Based On Hydroxyl-containing Diarylethenes
  <<First  <Prev  Next>  Last>>  Jump to