1
תוכן הענינים: ...Optimal Stabilization Control for Discrete-time Systems -- Optimal Tracking Control for Discrete...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
תוכן הענינים: ... -- Robust Stabilization under Control Constraints: An Overview -- Part II: Stability Analysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים: ... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים: ... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ... and Distributed Computability in Anonymous Networks -- A Self-stabilizing Algorithm with Tight Bounds for Mutual...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים: ... Lists -- Fault-Tolerant and Self-stabilizing Mobile Robots Gathering -- Fast Computation by Population...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2015
תוכן הענינים: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים: ... for Discrete Probabilistic Systems -- Semantic Barbs and Biorthogonality -- On the Stability by Union...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2012
תוכן הענינים: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2010
תוכן הענינים: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2013
תוכן הענינים: ... Stability Property of the Generalized Spherical Radon Transform (D. Faifman) -- Banach Representations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני