Search Results for Logic.

278 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 24

000000000000DEFAULTTR

Programming logic and design, comprehensive version

Yazar

Farrell, Joyce.

Format:

Kitap

Alıntı:

Programming logic and design, comprehensive version / Farrell, Joyce.

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author.

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

Format:

Electronic Resources

Alıntı:

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

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

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

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

Introduction to Logic Circuits & Logic Design with VHDL LaMeres, Brock J. author.

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

Introduction to Logic Circuits & Logic Design with Verilog LaMeres, Brock J. author.

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

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Digital Logic Design Using Verilog Coding and RTL Synthesis

Yazar

Taraate, Vaibbhav. author.

http://dx.doi.org/10.1007/978-81-322-2791-5

Format:

Electronic Resources

Alıntı:

Digital Logic Design Using Verilog Coding and RTL Synthesis / Taraate, Vaibbhav. author.

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

https://doi.org/10.1007/978-3-319-54981-1

Format:

Electronic Resources

Alıntı:

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

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Yazar

Taha, Saleem Mohammed Ridha. author.

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

Format:

Electronic Resources

Alıntı:

Reversible Logic Synthesis Methodologies with Application to Quantum Computing Taha, Saleem

10.

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

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

11.

New Data Structures and Algorithms for Logic Synthesis and Verification

Yazar

Amaru, Luca Gaetano. author.

https://doi.org/10.1007/978-3-319-43174-1

Format:

Electronic Resources

Alıntı:

New Data Structures and Algorithms for Logic Synthesis and Verification Amaru, Luca Gaetano. author.

12.

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

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

Format:

Electronic Resources

Alıntı:

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4

Tümünü Seç

1 2 3 4 5 .. 24

278 sonuç bulundu

	{displayName}	{count}
{error}