Megjelenítés: 1 - 20 / 81 - kulcsszavak: '"tervezés"', keresési idő: 0.09mp Találatok szűrése
1
Mechanized reasoning and hardware design
Megjelenés: 1992
Tárgyszavak: “...logikai tervezés...”
könyv
Mentés a listára
Mentés helye:
2
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Megjelenés: 1988
Tárgyszavak: “...digitális tervezés -- konferencia...”
könyv
Mentés a listára
Mentés helye:
3
Refinement : Semantics, Languages and Applications
Szerző: Derrick, John
Megjelenés: 2018
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Model and Design of Improved Current Mode Logic Gates : Differential and Single-ended
Szerző: Gupta, Kirti
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Principles and Structures of FPGAs
Megjelenés: 2018
Tárgyszavak: “...logikai tervezés -- tankönyv...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
A First Introduction to Quantum Computing and Information
Szerző: Zygelman, Bernard
Megjelenés: 2018
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
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
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI : Special Issue on Data and Security Engineering
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Euro-Par 2019: Parallel Processing Workshops : Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Szerző: Ayala-Rincón, Mauricio
Megjelenés: 2017
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Logic Functions and Equations : Binary Models for Computer Science
Szerző: Posthoff, Christian
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
OpenMP: Portable Multi-Level Parallelism on Modern Systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Computational Science – ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I
Megjelenés: 2020
Tárgyszavak: “...logikai tervezés...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése