Resultats de la cerca - "Theoretical Computer Science and General Issues"
Matèries dins de la cerca
Matèries dins de la cerca
- 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
-
41
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
42
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 2...
Publicat 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
43
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Publicat 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
44
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
45
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
46
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
47
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
48
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Publicat 2018“…Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
49
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
50
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...
Publicat 2018“…Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
51
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,...
Publicat 2018“…Theoretical Computer Science and General Issues Series…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
52
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,...
Publicat 2018“…Theoretical Computer Science and General Issues Series…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
53
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,...
Publicat 2018“…Theoretical Computer Science and General Issues Series…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
54
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
55
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,...
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
56
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...
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
57
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...
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
58
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...
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
59
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...
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
60
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Publicat 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre