Search Results - "Theoretical Computer Science and General Issues,"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 56
- Software Engineering 43
- Artificial intelligence 37
- Software engineering 23
- Computer networking & communications 20
- Computer networks 18
- Computer programming / software development 16
- Artificial Intelligence 15
- Computer Engineering and Networks 15
- Computer engineering 15
- Theory of Computation 13
- Computer Science Logic and Foundations of Programming 12
- Computers 12
- Algorithms & data structures 10
- Formal Languages and Automata Theory 10
- Machine theory 10
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Control Structures and Microprogramming 8
- Electronic digital computers 8
- Evaluation 8
- Expert systems / knowledge-based systems 8
- Mathematical theory of computation 8
- Microprogramming 8
- System Performance and Evaluation 8
- Systems analysis & design 8
- Computer Modelling 7
- Computer simulation 7
- Professions 7
- The Computing Profession 7
-
1
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet /
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
2
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 20...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
3
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 Sof...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
4
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
5
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 o...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
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 o...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
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,...
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
8
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings /
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
9
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
10
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
11
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
12
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
13
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
14
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 20...
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
15
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
16
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
17
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
18
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
19
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published 2020“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
20
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook