1
منشور في 2014
جدول المحتويات: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2008
جدول المحتويات: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2006
جدول المحتويات: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2006
جدول المحتويات: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2013
جدول المحتويات: ... Routing Problem -- Implementation of Fractional Order PID Controller for Three Interacting Tank Process...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2015
جدول المحتويات: ...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2015
جدول المحتويات: ... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
بواسطة Spear, Chris., Spear, Chris.
منشور في 2008
جدول المحتويات: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
احصل على النص الكامل
الكتروني كتاب الكتروني