Search Results for Number theory.

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Yazar

Xu, Dachuan. editor.

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

Format:

Electronic Resources

Alıntı:

bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

van Benthem, Johan. editor.

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

Format:

Electronic Resources

Alıntı:

different frameworks for strategic reasoning in social interactions that have been developed in game theory

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

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

Format:

Electronic Resources

Alıntı:

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Yazar

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

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

Format:

Electronic Resources

Alıntı:

, symbolic dynamics, numeration systems, text processing, number theory, etc.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor.

https://doi.org/10.1007/978-3-030-29436-6

Format:

Electronic Resources

Alıntı:

for Large Knowledge Bases -- Optimization Modulo the Theory of Floating-Point Numbers -- FAME(Q): An

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor.

http://dx.doi.org/10.1007/978-3-642-54118-6

Format:

Electronic Resources

Alıntı:

theory with records of real engineers’ experience in using the framework on a series of case studies the

	{displayName}	{count}
{error}