Search Results for Logic design.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

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

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Yazar

Lange, Tanja. editor.

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

Format:

Electronic Resources

Alıntı:

Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050

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

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

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

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

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

Yazar

Shi, Yong. editor.

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

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

https://doi.org/10.1007/978-3-030-21363-3

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market

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

Theory of Reversible Computing

Yazar

Morita, Kenichi. author.

https://doi.org/10.1007/978-4-431-56606-9

Format:

Electronic Resources

Alıntı:

Logic Elements with Memory and Their Universality -- 4. Reversible Logic Gates -- 5. Reversible Turing

10.

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

11.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

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

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

12.

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

Yazar

Maedche, Alexander. editor.

https://doi.org/10.1007/978-3-319-59144-5

Format:

Electronic Resources

Alıntı:

Service-dominant Logic Perspective -- Methodological Contributions -- Evaluating Knowledge Types in Design Science

	{displayName}	{count}
{error}