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
-
21
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
22
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
23
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
24
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
25
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
26
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
27
Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /
Published 2021“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
28
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
29
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
30
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
31
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
32
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
33
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
34
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
35
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published 2018“…Theoretical Computer Science and General Issues,…”
Link to Metadata
Electronic eBook -
36
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
38
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Published 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
40
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter