Ohcanbohtosat - "theoretical computer science"
Fáddáevttohusat
Fáddáevttohusat
- Computer science 60
- Software Engineering 49
- Artificial intelligence 43
- Computer networking & communications 26
- Software engineering 23
- Computer networks 19
- Computer programming / software development 18
- Artificial Intelligence 15
- Computer Engineering and Networks 15
- Computer engineering 15
- Algorithms & data structures 14
- Theory of Computation 13
- Computer Science Logic and Foundations of Programming 12
- Computers 12
- Mathematical theory of computation 12
- 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
- Microprogramming 8
- System Performance and Evaluation 8
- Systems analysis & design 8
- Computer Communication Networks 7
- Computer Modelling 7
- Computer simulation 7
- Mathematics 7
-
81
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
DOAB: download the publication
DOAB: description of the publication
Elektrovnnalaš Girjji oassi -
82
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,...
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
83
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...
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
84
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...
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
85
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...
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
86
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...
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
87
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
88
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
89
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Almmustuhtton 2020“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
90
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...
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
91
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...
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
92
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...
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
93
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...
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
94
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,...
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
95
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
96
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
97
Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers
Almmustuhtton 2021“…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi -
98
-
99
Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings
Almmustuhtton 2017DOAB: description of the publication
Elektrovnnalaš Girjji oassi -
100
Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings
Almmustuhtton 2017OAPEN Library: description of the publication
Elektrovnnalaš Girjji oassi