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

High Performance Computing : ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

Megjelenés: 2019

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

könyv

4

Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Megjelenés: 2019

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

könyv

5

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

6

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

7

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

8

On the Move to Meaningful Internet Systems: OTM 2018 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revi...

Megjelenés: 2019

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

könyv

9

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

10

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

11

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

12

Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceeding...

Megjelenés: 2019

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

könyv

13

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

14

Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Megjelenés: 2019

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

könyv

15

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

16

Job Scheduling Strategies for Parallel Processing : 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Megjelenés: 2019

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

könyv

17

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

18

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

19

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

20

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

Keresés szűkítése