Search Results for Teaching.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556

https://doi.org/10.1007/978-3-030-03044-5

Format:

Electronic Resources

Alıntı:

-- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Yazar

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

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

Format:

Electronic Resources

Alıntı:

are organized in the following topical sections: modeling and theoretical frameworks; ICT in teaching

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

a more holistic approach to the teaching of difficult concepts. Mathematica software is used here

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and

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

engineering and program analysis. Advanced level students or instructors teaching or studying courses in

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22747-0

Format:

Electronic Resources

Alıntı:

of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22741-8

Format:

Electronic Resources

Alıntı:

of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22734-0

Format:

Electronic Resources

Alıntı:

of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Yazar

Shi, Yong. editor.

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

Format:

Electronic Resources

Alıntı:

, Algorithms and Computation; Track of Solving Problems with Uncertainties; Track of Teaching Computational

10.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22744-9

Format:

Electronic Resources

Alıntı:

of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition

11.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Yazar

Shi, Yong. editor.

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

Format:

Electronic Resources

Alıntı:

, Algorithms and Computation; Track of Solving Problems with Uncertainties; Track of Teaching Computational

12.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22750-0

Format:

Electronic Resources

Alıntı:

-- Application of hierarchical clustering for object tracking with a Dynamic Vision Sensor -- Binarization of

	{displayName}	{count}
{error}