Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Thema: bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering
- Entferne Filter: Verlag: springer nature switzerland
- Entferne Filter: Thema: bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence
- Entferne Filter: Art der Quelle: eBooks
Weniger Treffer
Art der Quelle
Thema
- bic book industry communication::u computing & information technology::um computer programming / software development::umb algorithms & data structures 4 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 4 Treffer
- model checking 4 Treffer
- software engineering 4 Treffer
- software quality 4 Treffer
-
33 weitere Werte:
- architecture verification and validation 3 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 3 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uya mathematical theory of computation 3 Treffer
- computer programming 3 Treffer
- programming languages 3 Treffer
- software architecture 3 Treffer
- software design 3 Treffer
- automated reasoning 2 Treffer
- computer systems 2 Treffer
- distributed computer systems 2 Treffer
- distributed systems 2 Treffer
- embedded systems 2 Treffer
- formal languages 2 Treffer
- automata theory 1 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyd systems analysis & design 1 Treffer
- boolean functions 1 Treffer
- computer algebra 1 Treffer
- computer networks 1 Treffer
- description logics 1 Treffer
- logic programming 1 Treffer
- modal logic 1 Treffer
- network protocols 1 Treffer
- ontologies 1 Treffer
- proof theory 1 Treffer
- resolution 1 Treffer
- semantics 1 Treffer
- separation logic 1 Treffer
- smt 1 Treffer
- software verification 1 Treffer
- tableaux 1 Treffer
- theorem proving 1 Treffer
- theory of computation 1 Treffer
- verification and validation 1 Treffer
Sprache
Inhaltsanbieter
6 Treffer
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff: