„complete operating systems“

Suchergebnisse

1.000+ Treffer

• Complete Symbolic Simulation of SystemC Models – Efficient Formal Verification of Finite Non-Terminating Programs
  Herdt, Vladimir 2016 Springer Fachmedien Wiesbaden
• A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
  Aceto, Luca ; Della Monica, Dario ; Goranko, Valentin ; Anna Ingólfsdóttir ; Montanari, Angelo ; Sciavicco, Guido
• Time-driven cost analysis of pediatric liver biopsy completed in pediatric sedation clinic and operating room
  Ruprecht, Kylie K. ; Furuya, Katryn N. ; Swanson, Jonathan O. ; Monroe, Eric J.
• Robot Operating System (ROS) – The Complete Reference (Volume 3)
  Koubâa, Anis 2019 Springer International Publishing
• MCSA – Windows 10 Complete Study Guide: Exam 70-698 and Exam 70-697
  Panek, William 2017 John Wiley & Sons
• MCSA – Windows 10 Complete Study Guide: Exam 70-698 and Exam 70-697
  Panek, William 2017 John Wiley & Sons
• Professional Sitecore 8 Development – A Complete Guide to Solutions and Best Practices
  2016 Apress
• Complete model-based equivalence class testing
  Huang, Wen-ling ; Peleska, Jan
• Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
  Aman, Bogdan ; Ciobanu, Gabriel
• Arduino Software Internals – A Complete Guide to How Your Arduino Language and Hardware Work Together
  Dunbar, Norman 2024 Apress, Imprint: Apress
• Complete group law for genus 2 Jacobians on Jacobian coordinates
  Ozbay Gurler, Elif ; Hisil, Huseyin
• Safety-complete test suites
  Huang, Wen-ling ; Özoguz, Sadik ; Peleska, Jan
• Understanding videos with face recognition: a complete pipeline and applications
  Lisena, Pasquale ; Laaksonen, Jorma ; Troncy, Raphaël
• Complete symbolic simulation of systemC models – efficient formal verification of finite non-terminating programs
  Herdt, Vladimir 2016 Springer Vieweg
• Complete System of Equivalent Transformations for Multitape Automata
  Khachatryan, V. E.
• Complete open-state testing of limitedly nondeterministic systems
  Bourdonov, I. B. ; Kossatchev, A. S.
• Decidability of NP-Complete Problems
  Vagis, A. A. ; Gupal, A. M.
• Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic
  Sadykov, R. F. ; Mandrykin, M. U.
• Multi-level Fisher vector aggregated completed local fractional order derivative feature vector for face recognition
  Li, Jing ; Chen, Yajun ; Zhang, Erhu
• Completeness Assessment and Improvement in Mobile Crowd-Sensing Environments
  Mehanna, Souheir ; Kedad, Zoubida ; Chachoua, Mohamed