Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- artificial intelligence (incl. robotics) 3 Treffer
- computer communication networks 3 Treffer
- data mining and knowledge discovery 2 Treffer
- information systems applications (incl.internet) 2 Treffer
- mathematics, general 2 Treffer
-
15 weitere Werte:
- computational mathematics and numerical analysis 1 Treffer
- computers and society 1 Treffer
- data encryption 1 Treffer
- denotational semantics 1 Treffer
- formal specification 1 Treffer
- information storage and retrieval 1 Treffer
- management of computing and information systems 1 Treffer
- mathematical logic and formal languages 1 Treffer
- operating systems 1 Treffer
- programming language semantics 1 Treffer
- relational databases 1 Treffer
- search algorithms 1 Treffer
- software engineering 1 Treffer
- symbolic and algebraic manipulation 1 Treffer
- verification 1 Treffer
Verlag
Publikation
Sprache
5 Treffer
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 296-312BuchZugriff:
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 221-234BuchZugriff:
-
In: Computer Security - ESORICS 2005; (2005) S. 140-158BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 30-44BuchZugriff:
-
In: Procedia Computer Science, Jg. 31 (2014-05-01), S. 369-378Online academicJournalZugriff: