Megjelenítés: 41 - 55 / 55 - kulcsszavak: '"Logic design."', keresési idő: 0.05mp Találatok szűrése
41
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma 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:
42
AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-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:
43
Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
44
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-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:
45
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 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:
46
Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-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:
47
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-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:
48
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-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:
49
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
50
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
51
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-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:
52
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 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:
53
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Megjelenés: 2017
Tárgyszavak: “...Logic design....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
54
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-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:
55
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 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