15253 search results - page 3050 / 3051 » Integer-Programming Software Systems |
120
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Unternehmen wollen ihre Softwaresysteme heute in allen Branchen und insbesondere auch in der Logistik zu serviceorientierten Anwendungslandschaften mit sauber geschnittenen fachl...
109
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Wir beschreiben ein Verfahren, das die authentische Online-Übertragung von Transaktionen ermöglicht, ohne dass ein vertrauenswürdiger Zustand des Endgeräts (PC) vorausgesetzt...
124
Voted
SCHULE
2007
Springer
15 years 10 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...
126
click to vote
SCHULE
2007
Springer
15 years 10 months ago
2007
Springer
: Dass im Informatikunterricht Programme geschrieben werden, ist nicht ungewöhnlich. Ebenso werden Programme entworfen, getestet, analysiert und manchmal auch verändert und erwei...
173
Voted
SIGUCCS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...