Search Results for Engineering mathematics.

76 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 7

000000000000DEFAULTTR

Fluid Dynamics Theory, Computation, and Numerical Simulation

Yazar

Pozrikidis, C. author.

https://doi.org/10.1007/978-1-4899-7991-9

Format:

Electronic Resources

Alıntı:

Mathematical and Computational Engineering. http://scigraph.springernature.com/things/product

An Introduction to Python and Computer Programming

Yazar

Zhang, Yue. author.

http://dx.doi.org/10.1007/978-981-287-609-6

Format:

Electronic Resources

Alıntı:

Appl.Mathematics/Computational Methods of Engineering.

Numerical Computations with GPUs

Yazar

Kindratenko, Volodymyr. editor.

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

Format:

Electronic Resources

Alıntı:

Appl.Mathematics/Computational Methods of Engineering.

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Yazar

Serrano, Manuel. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Real-Time Visual Effects for Game Programming

Yazar

Kim, Chang-Hun. author.

http://dx.doi.org/10.1007/978-981-287-487-0

Format:

Electronic Resources

Alıntı:

Mathematical Methods in Physics.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

https://doi.org/10.1007/978-3-319-61660-5

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Yazar

Calimeri, Francesco. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Yazar

De Nivelle, Hans. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

10.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

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

11.

Introduction to Software Quality

Yazar

O’Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

12.

Retrogame Archeology Exploring Old Computer Games

Yazar

Aycock, John. author.

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

Format:

Electronic Resources

Alıntı:

professionals and advanced-level students in computer science, engineering, and mathematics but would also be of

Tümünü Seç

1 2 3 4 5 .. 7

76 sonuç bulundu

	{displayName}	{count}
{error}