Search Results for Mathematical models.

17 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Methods and Models in Mathematical Programming

Yazar

MirHassani, S. A. author.

https://doi.org/10.1007/978-3-030-27045-2

Format:

Electronic Resources

Alıntı:

Methods and Models in Mathematical Programming MirHassani, S. A. author.

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Yazar

Yang, Gi-Chul. editor.

http://dx.doi.org/10.1007/978-981-10-0551-0

Format:

Electronic Resources

Alıntı:

Mathematical Modeling and Industrial Mathematics.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Yazar

Herdt, Vladimir. author.

http://dx.doi.org/10.1007/978-3-658-12680-3

Format:

Electronic Resources

Alıntı:

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

Models of Computation Bruni, Roberto. author.

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

Yazar

Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234

https://doi.org/10.1007/978-3-030-33274-7

Format:

Electronic Resources

Alıntı:

, Dissimilarity and Correlation Functions,- Mathematical Foundation of Cognitive Computing Based Artificial

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor.

http://dx.doi.org/10.1007/978-3-319-42432-3

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

Yazar

Wienke, B. R. author.

https://doi.org/10.1007/978-3-319-94054-0

Format:

Electronic Resources

Alıntı:

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

http://dx.doi.org/10.1007/978-3-662-47980-3

Format:

Electronic Resources

Alıntı:

Graph and Model Transformation General Framework and Applications / Ehrig, Hartmut. author.

10.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Yazar

Caballero, Juan. editor.

http://dx.doi.org/10.1007/978-3-319-30806-7

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

11.

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings

Yazar

Piessens, Frank. editor.

http://dx.doi.org/10.1007/978-3-319-15618-7

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

12.

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

Yazar

Jürjens, Jan. editor.

http://dx.doi.org/10.1007/978-3-319-04897-0

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

	{displayName}	{count}
{error}