Alex Gerdes-Röben - Bücher - alle Infos bei Yasni.de

(1 - 11 von 12

)

Automatisierte Bewertung in der Programmierausbildungbooks.google.com › books

books.google.de

DOI: comjnl/bxh080. Alex Gerdes u. a. „Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback“. In: International Journal of ...

Central European Functional Programming School: 4th Summer School,...

books.google.de

This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June...

Intelligent Computer Mathematics: 10th International Conference, ...books.google.com › books

books.google.de

... Boon, George Goguadze, and Wim van Velthoven. We thank Alex Gerdes and the anonymous reviewers for commenting on an earlier version of this paper.

Tools for Teaching Logic: Third International Congress, TICTTL

books.google.de

Acknowledgements. The authors wish to thank Johan Jeuring, Alex Gerdes, Sylvia Stuurman, and Harrie Passier for their contributions to the exercise assistant.

21st Century Learning for 21st Century Skills: 7th European...

books.google.de

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in...

Enabling Collaboration on Semiformal Mathematical Knowledge by...

books.google.de

Mathematics is becoming increasingly collaborative, but software does not sufficiently support that: Social Web applications do not currently make mathematical...

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009,...

books.google.de

We thank Alex Gerdes and the anonymous referees for their useful comments. This work was made possible by the support of the SURF Foundation, the higher ...

Software Language Engineering: First International Conference, SLE...

books.google.de

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008,...

Automatisierte Bewertung in der Programmierausbildung - Google Books

books.google.de

Praktische Übungen anhand von Programmieraufgaben sind ein gängiger und zentraler Bestandteil der Programmierausbildung in der Informatik und verwandten...

Computer Safety, Reliability, and Security: SAFECOMP Workshops:...

books.google.de

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability,...

Trends in Functional Programming: 19th International Symposium, TFP...

books.google.de

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held...

Verwandte Suchanfragen zu Alex Gerdes-Röben

Alex Gerdes
Carolin Gerdes-Röben
Romy Günther

Alexander Gerdes
Carolin Gerdes
Judith Böcker

Personen
Vorname "Alex" (31588)
Name "Gerdes-Röben" (52)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Alex Gerdes-Röben