Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 3 Treffer
- fixed point 3 Treffer
- formal verification 3 Treffer
- machine theory 3 Treffer
- mathematical analysis 3 Treffer
-
13 weitere Werte:
- model checking 3 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
- automatic control 1 Treffer
- automaton 1 Treffer
- computer science applications 1 Treffer
- control and systems engineering 1 Treffer
- discrete time and continuous time 1 Treffer
- formalism (philosophy of mathematics) 1 Treffer
- hybrid system 1 Treffer
- information systems and management 1 Treffer
- software 1 Treffer
- theoretical computer science 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Information Sciences, Jg. 178 (2008-03-15), Heft 6, S. 1542-1557Online serialPeriodical
-
In: Information Sciences, Jg. 177 (2007-03-01), S. 1290-1308Online unknownZugriff: