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

Computing and Software Science : State of the Art and Perspectives

Megjelenés: 2019

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

könyv

3

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

4

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

Megjelenés: 2019

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

könyv

5

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

6

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

7

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

8

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

Megjelenés: 2019

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

könyv

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

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

17

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

18

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

19

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

20

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

Megjelenés: 2020

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

könyv

Keresés szűkítése