Search Results for Logic design.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Logics for Computer Science Classical and Non-Classical

Yazar

Wasilewska, Anita. author.

https://doi.org/10.1007/978-3-319-92591-2

Format:

Electronic Resources

Alıntı:

Logic design.

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Yazar

James, Phillip. editor.

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

Format:

Electronic Resources

Alıntı:

Logic design.

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

Logic design.

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets

Yazar

Gregg, John. author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072

Format:

Electronic Resources

Alıntı:

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / Gregg

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}