Megjelenítés: 1 - 20 / 52 - kulcsszavak: '"Theoretical Computer Science and General Issues"', keresési idő: 0.10mp 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
Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11628...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11652...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
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:
7
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:
8
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:
9
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:
10
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:
11
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:
12
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Megjelenés: 2019
“...Theoretical Computer Science and General Issues ; 11522...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof
Szerző: Lutsyk, Petro
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 9999....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Computational Complexity and Property Testing : On the Interplay Between Randomness and Computation
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12050....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12042....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 11990....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12005....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12152....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Theory and Applications of Satisfiability Testing – SAT 2020 : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Megjelenés: 2020
“...Theoretical Computer Science and General Issues ; 12178....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
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
“...Theoretical Computer Science and General Issues ; 11665...”
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