Megjelenítés: 81 - 100 / 171 - kulcsszavak: '', keresési idő: 0.05mp Találatok szűrése
81
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
82
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
83
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
84
Transactions on High-Performance Embedded Architectures and Compilers V
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
85
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
86
Formal Languages and Compilation
Szerző: Crespi Reghizzi, Stefano
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
87
Answer Set Programming
Szerző: Lifschitz, Vladimir
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
88
Membrane Computing Models : implementations
Megjelenés: 2021
könyv
Mentés a listára
Mentés helye:
89
Scalable Uncertainty Management : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
90
Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
91
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
92
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
93
Learning C# by Programming Games
Szerző: van Toll, Wouter
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
94
Programming language implementation and logic programming : 5th International Symposium, PLILP 93, Tallinn, Estonia, August 1993 : Proceedings
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
95
Proceedings of the 10th Symposium on Programming Languages and Software Tools : SPLST 2007, Dobogókő, Hungary, 14-16 June 2007
Megjelenés: 2007
könyv
Mentés a listára
Mentés helye:
96
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 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
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
97
Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
98
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
99
Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
100
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Megjelenés: 2019
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