Megjelenítés: 81 - 100 / 161 - kulcsszavak: '"Logic design."', keresési idő: 0.05mp Találatok szűrése
81
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
82
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Szerző: Zeume, Thomas
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
83
Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization
Szerző: Draheim, Dirk
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
84
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
85
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
86
Parallel Computational Technologies : 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
87
Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
88
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
89
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
90
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
91
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
92
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
93
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
94
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
95
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: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
96
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
97
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: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
98
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
99
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
100
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
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