Search Results for Algorithms.

58 sonuç bulundu

Tümünü Seç

1 2 3 4 5

0000000000DEFAULTTR

49.

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Yazar

Chivers, Ian. author.

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

Format:

Electronic Resources

Alıntı:

Fortran -- An Introduction to Algorithms and the Big O Notation -- Operator Overloading -- Generic

50.

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

Yazar

Badger, Julia M. editor.

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

Format:

Electronic Resources

Alıntı:

-- Design for verification, and property based design techniques -- Techniques and algorithms for scaling

51.

Numerical Computations with GPUs

Yazar

Kindratenko, Volodymyr. editor.

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

Format:

Electronic Resources

Alıntı:

numerical algorithms, sharing tips on GPUs that can increase application efficiency. The valuable insights

52.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage

53.

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

Yazar

Geshi, Masaaki. editor.

https://doi.org/10.1007/978-981-13-6194-4

Format:

Electronic Resources

Alıntı:

library BLAS and LAPACK -- Chapter 7: High performance algorithms for numerical linear algebra -- Chapter

54.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor.

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

Format:

Electronic Resources

Alıntı:

Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient

55.

Introduction to HPC with MPI for Data Science

Yazar

Nielsen, Frank. author.

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

Format:

Electronic Resources

Alıntı:

algorithms are introduced for data exploration along with how to program these algorithms on computer

56.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Yazar

Calinescu, Radu. editor.

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

Format:

Electronic Resources

Alıntı:

of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and

57.

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Yazar

Wirsing, Martin. editor.

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

Format:

Electronic Resources

Alıntı:

and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility

58.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Yazar

Fermé, Eduardo. editor.

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

Format:

Electronic Resources

Alıntı:

-- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal

Tümünü Seç

1 2 3 4 5

58 sonuç bulundu

	{displayName}	{count}
{error}