Search Results for Matrix theory.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

A First Introduction to Quantum Computing and Information için kapak resmi

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author.

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

Format:

Electronic Resources

Alıntı:

Quantum theory.

2.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi

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

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

3.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

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

Format:

Electronic Resources

Alıntı:

2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

4.

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings için kapak resmi

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

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

Format:

Electronic Resources

Alıntı:

Basic Quaternionic Analysis -- A Formalized General Theory of Syntax with Bindings -- Proof Certificates

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2