58933 search results - page 11779 / 11787 » Information |
159
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
115
click to vote
SCHULE
2009
Springer
15 years 8 months ago
2009
Springer
: Die Bildungsstandards für Informatik sind nicht mit dem Ziel geschaffen worden, dass nach ihnen Informatikunterricht gestaltet werden kann, im Gegenteil, die Standards »müssen...
147
click to vote
SCHULE
2001
Springer
15 years 8 months ago
2001
Springer
: Es werden drei Formen des interaktiven visuellen Lernens von Algorithmen behandelt: Betrachten einer Animation, interaktives Üben der Schritte und Experimentieren mit einer Simu...
153
Voted
SWAT
1998
Springer
15 years 8 months ago
1998
Springer
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
127
Voted
ACISP
1997
Springer
15 years 8 months ago
1997
Springer
tracts, pp. 11-17. (http://www.qucis.queens.ca/achallc97/papers/p028.html) Alexa, Melina; Rostek, Lothar Pattern Concordances - TATOE calls XGrammar. Presented at ACH -ALLC97, King...