Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
Partial differential equations.
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
-- Dependability of Adaptable and Evolvable Distributed Systems -- Mean-Field Limits Beyond Ordinary Differential
View Other Search Results
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
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
Alıntı:
Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations
Yazar
Posthoff, Christian. author.
Format:
Electronic Resources
Alıntı:
Logic Functions and Equations Binary Models for Computer Science / Posthoff, Christian. author.
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Timed Patterns -- Automatic Verification of Stability and Safety for Delay Differential Equations
Yazar
Gerdt, Vladimir P. editor.
Format:
Electronic Resources
Alıntı:
Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential
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
van Bevern, René. editor. (orcid)0000-0002-4805-218X
Format:
Electronic Resources
Alıntı:
Equations -- On the Quantum and Classical Complexity of Solving Subtraction Games -- Derandomization for
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Differential Equations -- SV COMP -- Software Verification with Validation of Results (Report on SV-COMP 2017
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Stochastic Systems Efficient Syntax-driven Lumping of Differential Equations -- Faster Statistical Model
Arama Sonuçlarını Sınırlandır
Daraltılmış: