Search Results for Algebra.

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

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

Format:

Electronic Resources

Alıntı:

Category Theory, Homological Algebra.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Process Algebras for Petri Nets The Alphabetization of Distributed Systems / Gorrieri, Roberto

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

-- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA).

Programming in HTML and PHP Coding for Scientists and Engineers

Yazar

Brooks, David R. author.

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

Format:

Electronic Resources

Alıntı:

requiring any background in programming or mathematics beyond algebra. Topics and features: Describes the

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

-- Symbolic Model Checking in Non-Boolean Domains -- Process Algebra and Model Checking.

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

Yazar

Amine, Abdelmalek. editor.

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

Format:

Electronic Resources

Alıntı:

, Algeria, May 20-21, 2015, Proceedings / Amine, Abdelmalek. editor.

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871

https://doi.org/10.1007/978-3-319-98334-9

Format:

Electronic Resources

Alıntı:

-- Testing and Verification Track -- Metamorphic Testing of Constraint Solvers -- Algebraic Fault Attack on

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Yazar

Träff, Jesper Larsson. editor.

http://dx.doi.org/10.1007/978-3-662-48096-0

Format:

Electronic Resources

Alıntı:

Trees of Malleable Tasks for Sparse Linear Algebra -- Elastic Tasks: Unifying Task Parallelism and SPMD

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Interfaces and the Generation Gap of Mathematicians -- Practice with Computer Algebra Systems in Mathematics

	{displayName}	{count}
{error}