Megjelenítés: 101 - 120 / 161 - kulcsszavak: '"Logic design."', keresési idő: 0.07mp Találatok szűrése
101
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
102
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
103
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
104
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
105
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
106
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
107
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 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:
108
String Analysis for Software Verification and Security
Szerző: Bultan, Tevfik
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
109
Computability and Complexity : Essays Dedicated to Rodney G. Downey 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:
110
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 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:
111
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
112
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
113
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
114
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V
Megjelenés: 2019
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
115
Computational Science and Its Applications – ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1–4, 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:
116
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
117
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, 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:
118
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
119
Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Logic design...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
120
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
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