13 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
Partial differential equations.
Yazar
Mureşan, Marian. author.
Format:
Electronic Resources
Alıntı:
differential equations Advantages of Mathematica® dealing with the Pi number The power of Mathematica® working
View Other Search Results
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
-- Dependability of Adaptable and Evolvable Distributed Systems -- Mean-Field Limits Beyond Ordinary Differential
Yazar
Bose, Sujit Kumar. author.
Format:
Electronic Resources
Alıntı:
Equations -- Chapter 7. Partial Differential Equations -- Chapter 8. Approximation -- Chapter 9. Matrix
Yazar
Maletti, Andreas. editor.
Format:
Electronic Resources
Alıntı:
-- On differential uniformity of maps that may hide an algebraic trapdoor -- On the Lower Block
Yazar
Platzer, André. author.
Format:
Electronic Resources
Alıntı:
Invariants -- Differential Equations and Proofs -- Ghosts and Differential Ghosts -- Logical Foundations and
Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
, differential equations, and labeled transition systems. A case study involving aircraft separation within the
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Timed Patterns -- Automatic Verification of Stability and Safety for Delay Differential Equations
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Equations -- On the Width of Regular Classes of Finite Structures -- Extending SMT solvers to Higher-Order
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations
Yazar
Hommersom, Arjen. editor.
Format:
Electronic Resources
Alıntı:
, and using different techniques, from probability theory and differential equations to logic. The book
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Differential Equations -- SV COMP -- Software Verification with Validation of Results (Report on SV-COMP 2017
13 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: