Egyéb keresési lehetőségek:
"logikai tervezés konferencia" » "logika tervezés konferencia" (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 58 - kulcsszavak: '"logikai tervezés konferencia"', keresési idő: 0.09mp Találatok szűrése
1
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:
2
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:
3
Parallel Computational Technologies : 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Megjelenés: 2018
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
Mentés a listára
Mentés helye:
4
Computer Engineering and Technology : 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised 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:
5
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
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
Architecture of Computing Systems – ARCS 2019 : 32nd International Conference, Copenhagen, Denmark, May 20–23, 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:
9
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised 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:
10
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, 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:
11
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications
Megjelenés: 2017
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, 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:
13
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
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
Parallel Computational Technologies : 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised 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:
15
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Megjelenés: 2019
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
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
Applied Computer Sciences in Engineering : 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 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:
18
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...logikai tervezés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
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:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése