13917 search results - page 2782 / 2784 » Abstraction of Probabilistic Systems |
GI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: Sowohl im praktischen Diskurs von Bürgerrechtsvertretern und Datenschützern wie auch in theoretisch ausgerichteten Debatten werden Ausdrücke wie Ubiquitous Computing, ...
SCHULE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...
GI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract: In der Lehre zum Thema Wissensbasierte Robotik verwenden wir seit Kurzem den Robotersimulator USARSIM, der weltweit im Kontext der RoboCup Rescue Real Robot Liga eingeset...
GI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract: Zur Unterstützung der Programmierausbildung im Bereich Medieninformatik wird ein Spielkonzept vorgestellt, das den Teilnehmern von Veranstaltungen im Bereich Medienprogr...
BTW
2003
Springer
15 years 2 months ago
2003
Springer
Abstract: Web Services finden zunehmend im Business-To-Consumer-Bereich Verwendung. In diesem Umfeld ist der Kreis der Benutzer heterogen und sehr groß. Jeder hat seine eigene Vo...