Search Results for Mathematical Software.

648 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 54

000000000000DEFAULTTR

13.

Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake

Yazar

Gibson, Thomas H. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software. https://scigraph.springernature.com/ontologies/product-market-codes/M14042

14.

Hydraulically Actuated Hexapod Robots Design, Implementation and Control

Yazar

Nonami, Kenzo. author.

http://dx.doi.org/10.1007/978-4-431-54349-7

Format:

Electronic Resources

Alıntı:

Mathematical Software.

15.

Innovative Technologies in Urban Mapping Built Space and Mental Space

Yazar

Contin, Antonella. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software.

16.

More Math Into LaTeX

Yazar

Grätzer, George. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software.

17.

Linear Time Series with MATLAB and OCTAVE

Yazar

Gómez, Víctor. author.

https://doi.org/10.1007/978-3-030-20790-8

Format:

Electronic Resources

Alıntı:

Mathematical Software. https://scigraph.springernature.com/ontologies/product-market-codes/M14042

18.

Shape Reconstruction from Apparent Contours Theory and Algorithms

Yazar

Bellettini, Giovanni. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software.

19.

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

20.

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

21.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor.

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

Format:

Electronic Resources

Alıntı:

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17

22.

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ı:

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil

23.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

https://doi.org/10.1007/978-3-319-64021-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

24.

Big Data Technologies and Applications

Yazar

Furht, Borko. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Applications in Computer Science.

Tümünü Seç

1 2 3 4 5 .. 54

648 sonuç bulundu

	{displayName}	{count}
{error}