Symbolic and Numerical Methods for Reachability Analysis (SNR), International Workshop on

Symbolic and Numerical Methods for Reachability Analysis (SNR), International Workshop on

Bibliografiske detaljer
Format:	Electronisk Bog
Sprog:	English
Udgivet:	IEEE
Fag:	Computing and Processing Conference papers and proceedings.
Online adgang:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Lignende værker

2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)

Reachability Problems
Udgivet: (2013)

Being Available and Reachable
af: Tazanu

Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD), International Workshop on

Proceedings of the 2007 international workshop on Symbolic-numeric computation

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation

Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), International Symposium on

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD)

Proceedings of the 2009 conference on Symbolic numeric computation

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation

Numerical Methods
af: Ram Babu

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Introductory methods of numerical analysis /
af: Sastry, S. S.
Udgivet: (1998)

Numerical Methods of Statistics
af: John F. Monahan
Udgivet: (2011)

Numerical methods for engineers /
af: Chapra, Steven C., et al.
Udgivet: (2021)

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

Numerical methods in economics /
af: Judd, Kenneth L.
Udgivet: (1998)

Numerical methods for scientists and engineers /
af: Hamming, R. W. (Richard Wesley), 1915-1998
Udgivet: (1986)

Numerical methods using MATLAB /
af: Mathews, John H., 1943-
Udgivet: (2004)

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains

Numerical methods : with programs in BASIC, FORTRAN and Pascal /
af: Balachandra Rao, S. (Shiralli), 1944-
Udgivet: (1992)

Numerical Methods and Optimization in Finance
af: Gilli, Manfred
Udgivet: (2011)

Numerical Methods for Metamaterial Design
Udgivet: (2013)

Numerical Methods in Finance with C++
af: Maciej J. Capiński, Tomasz Zastawniak
Udgivet: (2012)

Communications in Numerical Methods in Engineering

Communications in Applied Numerical Methods

Numerical Methods and Optimization in Finance
af: Gilli, Manfred
Udgivet: (2011)

International Journal for Numerical Methods in Engineering

International Journal for Numerical Methods in Fluids