Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- software engineering 23 Treffer
- program compilers 16 Treffer
- verification 14 Treffer
- programming languages 13 Treffer
- computer software selection and evaluation 12 Treffer
-
45 weitere Werte:
- artificial intelligence 11 Treffer
- formal languages 11 Treffer
- software design 11 Treffer
- formal methods 10 Treffer
- automata theory 9 Treffer
- computer programming 9 Treffer
- model checking 9 Treffer
- software quality 9 Treffer
- computer science 8 Treffer
- distributed computer systems 8 Treffer
- separation logic 8 Treffer
- specifications 8 Treffer
- formal specification 7 Treffer
- software architecture 7 Treffer
- thema editeur:u computing and information technology:uy computer science 7 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 6 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 6 Treffer
- computer programming / software engineering 6 Treffer
- computer systems 6 Treffer
- embedded systems 6 Treffer
- linguistics 6 Treffer
- mathematical theory of computation 6 Treffer
- thema editeur::u computing and information technology::uy computer science 6 Treffer
- theorem proving 6 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 5 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 5 Treffer
- computer architecture 5 Treffer
- natural language & machine translation 5 Treffer
- natural language processing (nlp) 5 Treffer
- parallel processing systems 5 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 5 Treffer
- verification and validation 5 Treffer
- authentication 4 Treffer
- bic book industry communication::u computing & information technology::uy computer science 4 Treffer
- computer architecture & logic design 4 Treffer
- computer networking & communications 4 Treffer
- computer networks 4 Treffer
- computer systems organization and communication networks 4 Treffer
- cryptography 4 Treffer
- data privacy 4 Treffer
- databases 4 Treffer
- formal languages and automata theory 4 Treffer
- internet 4 Treffer
- logic programming 4 Treffer
- mathematical logic and formal languages 4 Treffer
Verlag
Sprache
Inhaltsanbieter
16 Treffer
-
2018Online E-Book
-
2018Online E-Book
-
2018Online E-Book
-
2023Online E-BookZugriff:
-
2018Online E-Book
-
2018Online E-Book
-
2018Online E-Book
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2018Online E-BookZugriff: