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

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

Xehetasun bibliografikoak
Formatua:	Baliabide elektronikoa Liburua
Hizkuntza:	English
Argitaratua:	IEEE
Gaiak:	Computing and Processing Conference papers and proceedings.
Sarrera elektronikoa:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Antzeko izenburuak

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

Reachability Problems
Argitaratua: (2013)

Being Available and Reachable
nork: 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

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

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
nork: 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 /
nork: Sastry, S. S.
Argitaratua: (1998)

Numerical Methods of Statistics
nork: John F. Monahan
Argitaratua: (2011)

Numerical methods for engineers /
nork: Chapra, Steven C., et al.
Argitaratua: (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)

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

Numerical methods in economics /
nork: Judd, Kenneth L.
Argitaratua: (1998)

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

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

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

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

Numerical Methods and Optimization in Finance
nork: Gilli, Manfred
Argitaratua: (2011)

Numerical Methods for Metamaterial Design
Argitaratua: (2013)

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

Communications in Numerical Methods in Engineering

Communications in Applied Numerical Methods

Numerical Methods and Optimization in Finance
nork: Gilli, Manfred
Argitaratua: (2011)

International Journal for Numerical Methods in Engineering

International Journal for Numerical Methods in Fluids