Search Results for Logic.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Yazar

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

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

Format:

Electronic Resources

Alıntı:

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

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

https://doi.org/10.1007/978-3-030-32872-6

Format:

Electronic Resources

Alıntı:

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

Transactions on High-Performance Embedded Architectures and Compilers V

Yazar

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883

https://doi.org/10.1007/978-3-662-58834-5

Format:

Electronic Resources

Alıntı:

Arithmetic and Logic Structures. https://scigraph.springernature.com/ontologies/product-market

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Yazar

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

https://doi.org/10.1007/978-3-030-12274-4

Format:

Electronic Resources

Alıntı:

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

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Yazar

Podelski, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

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

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Yazar

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651

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

Format:

Electronic Resources

Alıntı:

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

PLD Based Design with VHDL RTL Design, Synthesis and Implementation

Yazar

Taraate, Vaibbhav. author.

https://doi.org/10.1007/978-981-10-3296-7

Format:

Electronic Resources

Alıntı:

Constructs -- 4 Combinational Logic Design Using VHDL Constructs -- Sequential Logic Design -- Introduction

Foundations of Programming Languages

Yazar

Lee, Kent D. author.

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

Format:

Electronic Resources

Alıntı:

paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the

10.

Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers

Yazar

Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534

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

Format:

Electronic Resources

Alıntı:

Does Coupling Affect the Security of Masked Implementations -- Scaling Trends for Dual-Rail Logic

11.

VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume V

Yazar

Li, Jie. editor.

https://doi.org/10.1007/978-981-10-7251-2

Format:

Electronic Resources

Alıntı:

Differential Voltage Current Conveyor -- High Performance Domino Logic Circuit Design By Contention Reduction

	{displayName}	{count}
{error}