Search Results for Algebra.

14 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Yazar

Gerdt, Vladimir P. editor.

https://doi.org/10.1007/978-3-319-66320-3

Format:

Electronic Resources

Alıntı:

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

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

Format:

Electronic Resources

Alıntı:

Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

https://doi.org/10.1007/978-3-662-55665-8

Format:

Electronic Resources

Alıntı:

Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes

Introduzione al Progetto di Sistemi Digitali

Yazar

Donzellini, Giuliano. author.

https://doi.org/10.1007/978-88-470-3963-6

Format:

Electronic Resources

Alıntı:

Scienze, fornisce una solida conoscenza delle basi teoriche delle reti logiche. Parte dall’algebra

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Yazar

Gavrilova, Marina L. editor.

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

Format:

Electronic Resources

Alıntı:

Basic Linear Algebra Subprograms: A Performance Study -- Synthesis and Optimization by Quantum Circuit

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Yazar

Gibson-Robinson, Thomas. editor.

https://doi.org/10.1007/978-3-319-51046-0

Format:

Electronic Resources

Alıntı:

an international authority in process algebra, and has been the driving force behind the development

Introduction to Logic Circuits & Logic Design with VHDL

Yazar

LaMeres, Brock J. author.

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

Format:

Electronic Resources

Alıntı:

pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced

10.

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor.

https://doi.org/10.1007/978-3-662-54458-7

Format:

Electronic Resources

Alıntı:

.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations

11.

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation

12.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Yazar

Day, Adam. editor.

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

Format:

Electronic Resources

Alıntı:

, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized

	{displayName}	{count}
{error}