56 search results - page 11 / 12 » ams 2005 |
PREMI
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...
ENTCS
2006
13 years 7 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
GI
2005
Springer
14 years 29 days 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...
SCHULE
2005
Springer
14 years 28 days ago
2005
Springer
: Wer nicht lesen, schreiben, rechnen und mit Informationstechnologien umgehen kann, steht heute wie ein Esel am Berg vor einem Fahrkartenautomat, bei der Online-Reservation eines ...
SCHULE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract: Der Beitrag nimmt die Diskussion um Bildungsstandards f¨ur die Schulinformatik auf. Im Vergleich mit Standards f¨ur die Mathematik wird daf¨ur eingetreten, Informatik-...