Search Results for Mathematical models.

49 sonuç bulundu

Tümünü Seç

1 2 3 4 5

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.

OSS Reliability Measurement and Assessment

Yazar

Yamada, Shigeru. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Modeling and Industrial Mathematics.

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.

Flexible Robot Manipulators Modelling, Simulation and Control

Yazar

Tokhi, M. O.

http://dx.doi.org/10.1049/PBCE086E

Format:

Electronic Resources

Alıntı:

Mathematical models.

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

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

Yazar

Śmiałek, Michał. author.

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

Format:

Electronic Resources

Alıntı:

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice / Śmiałek

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

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

Trends in Software Testing

Yazar

Mohanty, Hrushikesha. editor.

https://doi.org/10.1007/978-981-10-1415-4

Format:

Electronic Resources

Alıntı:

system evolution management. There are a host of mathematical models that are promising for software

10.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

11.

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

van Benthem, Johan. editor.

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

Format:

Electronic Resources

Alıntı:

Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.

12.

ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

Yazar

Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637

https://doi.org/10.1007/978-3-030-00825-3

Format:

Electronic Resources

Alıntı:

cryptography, design and analysis of algorithms, mathematical optimization, probability and statistics, data

Tümünü Seç

1 2 3 4 5

49 sonuç bulundu

	{displayName}	{count}
{error}