Suchergebnisse
Unser Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- embedded systems 19 Treffer
- software architecture 19 Treffer
- software engineering 19 Treffer
- formal logic 17 Treffer
- computer science 16 Treffer
-
45 weitere Werte:
- artificial intelligence 15 Treffer
- distributed computer systems 13 Treffer
- software design 13 Treffer
- architecture verification and validation 12 Treffer
- mathematical theory of computation 11 Treffer
- mathematics 11 Treffer
- software quality 11 Treffer
- computer programming 10 Treffer
- theory of computation 10 Treffer
- algorithms & data structures 9 Treffer
- automata theory 9 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development::umz software engineering 9 Treffer
- linguistics 9 Treffer
- bic book industry communication::u computing & information technology::uy computer science 8 Treffer
- bic book industry communication::u computing & information technology::uy computer science::uyq artificial intelligence 8 Treffer
- computer systems 8 Treffer
- formal languages 8 Treffer
- bic book industry communication::u computing & information technology::ut computer networking & communications 7 Treffer
- computer networking & communications 7 Treffer
- computer systems organization and communication networks 7 Treffer
- control structures and microprogramming 7 Treffer
- signal processing 7 Treffer
- verification and validation 7 Treffer
- architecting 6 Treffer
- computer engineering and networks 6 Treffer
- distributed systems 6 Treffer
- formal methods 6 Treffer
- parallel processing systems 6 Treffer
- sat and smt solving 6 Treffer
- static and dynamic program analysis 6 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering:umz software engineering 6 Treffer
- thema editeur:u computing and information technology:uy computer science:uyq artificial intelligence 6 Treffer
- verification 6 Treffer
- bic book industry communication::u computing & information technology::um computer programming / software development 5 Treffer
- thema editeur:u computing and information technology:um computer programming / software engineering 5 Treffer
- 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::uy computer science::uya mathematical theory of computation 4 Treffer
- computer networks 4 Treffer
- information systems and communication service 4 Treffer
- open access 4 Treffer
- software and hardware verification 4 Treffer
- specification and verification techniques 4 Treffer
- thema editeur:u computing and information technology:ut computer networking and communications 4 Treffer
- thema editeur:u computing and information technology:uy computer science 4 Treffer
- theoretical computer science 4 Treffer
Publikation
Sprache
Inhaltsanbieter
10 Treffer
-
In: Autonomous agents and multi-agent systems, Jg. 27 (2013), Heft 3, S. 375-418Online academicJournalZugriff:
-
In: International Journal of Networked and Distributed Computing (IJNDC), Jg. 4 (2016), Heft 1Online academicJournalZugriff:
-
In: Cognitive processing, Jg. 9 (2008), Heft 3, S. 189-208Online academicJournalZugriff:
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff: