Megjelenítés: 1 - 20 / 39 - kulcsszavak: '"Theoretical Computer Science and General Issues"', keresési idő: 0.13mp Találatok szűrése
1
Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11558...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11750...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
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
“...Theoretical Computer Science and General Issues ; ; 11428...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11408...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11429...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11813...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11636...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11525...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
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
“...Theoretical Computer Science and General Issues ; 10644...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11600...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11560...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11436...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11415...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
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
“...Theoretical Computer Science and General Issues ; 11758...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11884...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11785...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Combinatorics on Words : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11682...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 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
“...Theoretical Computer Science and General Issues ; 11425...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12442....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11541...”
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