Keresési eredmények - "Theoretical Computer Science and General Issues"

1

Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

Megjelenés: 2017

“...Theoretical Computer Science and General Issues...”
Ugrás a forráshoz

könyv

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

3

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

4

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

5

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

6

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11424...”
Ugrás a forráshoz

könyv

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

8

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...

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10206...”
Ugrás a forráshoz

könyv

9

Artificial Neural Networks and Machine Learning – ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part...

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10614...”
Ugrás a forráshoz

könyv

10

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...

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10205...”
Ugrás a forráshoz

könyv

11

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20,...

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10139...”
Ugrás a forráshoz

könyv

12

Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10580....”
Ugrás a forráshoz

könyv

13

Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings...

Megjelenés: 2017

“...Theoretical Computer Science and General Issues ; 10417....”
Ugrás a forráshoz

könyv

14

SOFSEM 2019: Theory and Practice of Computer Science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January...

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11376...”
Ugrás a forráshoz

könyv

15

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

16

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, 20...

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11758...”
Ugrás a forráshoz

könyv

17

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11388...”
Ugrás a forráshoz

könyv

18

Applied Reconfigurable Computing : 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11444...”
Ugrás a forráshoz

könyv

19

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Megjelenés: 2019

“...Theoretical Computer Science and General Issues ; 11724...”
Ugrás a forráshoz

könyv

20

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

Keresés szűkítése