Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- formal logic 10
- program compilers
- semantics 9
- software engineering 7
- thema EDItEUR::U Computing and Information Technology::UY Computer science 7
- verification 7
- computer software selection and evaluation 5
- formal methods 5
- model checking 5
- programming languages 5
- artificial intelligence 4
- distributed computer systems 4
- parallel processing systems 4
- separation logic 4
- Natural Language Processing (NLP) 3
- Natural language & machine translation 3
- computer architecture 3
- computer programming 3
- embedded systems 3
- linguistics 3
- object-oriented programming 3
- software design 3
- software quality 3
- specifications 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 3
- Algorithms & data structures 2
- Compilers & interpreters 2
- Computer Systems Organization and Communication Networks 2
- Computer networking & communications 2