Search Results for Knowledge, Theory of.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor.

https://doi.org/10.1007/978-3-030-03592-1

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Introduction to Logic Circuits & Logic Design with Verilog

Yazar

LaMeres, Brock J. author.

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

Format:

Electronic Resources

Alıntı:

they have a broad foundation of knowledge of the underlying hardware and theory of their designs. This

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Yazar

Geuvers, Herman. editor. (orcid)0000-0003-2522-2980

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

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

ensuring they have a solid foundation of knowledge of the underlying hardware and theory of their designs

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

http://dx.doi.org/10.1007/978-3-319-06025-5

Format:

Electronic Resources

Alıntı:

and Dynamic Logic; Patrick Girard and Hans Rott -- Temporal Aspects of the Dynamics of Knowledge

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Yazar

Squillero, Giovanni. editor.

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

Format:

Electronic Resources

Alıntı:

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}