Search Results for Algebra.

19 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Yazar

Gerdt, Vladimir P. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Yazar

Campos, Javier. editor.

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

Format:

Electronic Resources

Alıntı:

and applications; tools; petri nets, process algebra and fault trees; applications; and queuing

Combinatorial Testing in Cloud Computing

Yazar

Tsai, Wei-Tek. author.

https://doi.org/10.1007/978-981-10-4481-6

Format:

Electronic Resources

Alıntı:

Algebra for Concurrent Combinatorial Testing -- 5. Algebra Execution with Combinatorial Testing -- 6. Test

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Yazar

Liu, Zhiming. editor.

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

Format:

Electronic Resources

Alıntı:

through refinement and model transformations, synthesis and computer algebra.

Fundamentals of Neuromechanics

Yazar

Valero-Cuevas, Francisco J. author.

http://dx.doi.org/10.1007/978-1-4471-6747-1

Format:

Electronic Resources

Alıntı:

Algebraic geometry.

Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings

Yazar

Agre, Gennady. editor.

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

Format:

Electronic Resources

Alıntı:

Qualitative Constraint Networks -- A Qualitative Spatio-Temporal Framework Based on Point Algebra -- Training

Guide to Simulation and Modeling for Biosciences

Yazar

Barnes, David J. author.

http://dx.doi.org/10.1007/978-1-4471-6762-4

Format:

Electronic Resources

Alıntı:

as the Maxima algebra system, the PRISM model checker, and the modeling environments Repast Simphony

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

Techniques for High-Performance Computing -- Chapter 6: Basics and practice of linear algebra calculation

Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

Yazar

Boissonnat, Jean-Daniel. editor.

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

Format:

Electronic Resources

Alıntı:

Clifford Algebra -- Ridgelet Methods for Linear Transport Equations -- Basis Functions for Scattered Data

10.

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

Yazar

Bac, Alexandra. editor.

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

Format:

Electronic Resources

Alıntı:

Algebraic topology.

11.

Encyclopedia of Social Network Analysis and Mining

Yazar

Alhajj, Reda. editor.

https://doi.org/10.1007/978-1-4939-7131-2

Format:

Electronic Resources

Alıntı:

: Past, Present and Future -- Internet, Web 2.0, Web Services and Semantic Web -- Linear Algebra and

12.

Guide to Scientific Computing in C++

Yazar

Pitt-Francis, Joe. author.

https://doi.org/10.1007/978-3-319-73132-2

Format:

Electronic Resources

Alıntı:

Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming

	{displayName}	{count}
{error}