/ en / Traditional / help

Beats Biblionetz - Bücher

Formal Methods in Computer Science Education

FORMED2008
Zoltán Istenes , local 
Thumbnail des PDFs

iconZusammenfassungen

Formal Methods in Computer Science EducationThis volume contains the proceedings of the First Workshop on Formal Methods in Computer Science Education (FORMED2008). FORMED2008 workshop is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), held in Budapest, Hungary on the 29th of March 2008.
Von Zoltán Istenes im Konferenz-Band Formal Methods in Computer Science Education (2008)

iconBemerkungen zu diesem Konferenz-Band

Beats BibliothekarLeider ist die ursprünglich im Biblionetz erfasste URL eines Volltextes seit mehr als sechs Monaten nicht mehr gültig (Fehlermeldung 404) und wurde deshalb gelöscht. Es ist mir nicht bekannt, ob das Dokument unter einer anderen Adresse noch frei auf dem Internet verfügbar ist.
Von Beats Bibliothekar, erfasst im Biblionetz am 29.07.2006

iconKapitel  Unter den anklickbaren Kapiteln finden Sie Informationen über einzelne Teile des gewählten Werks.

iconDieser Konferenz-Band erwähnt ...


Personen
KB IB clear 		Jerome S. Bruner , Howard Gardner , Seymour Papert , G. Polya

Begriffe
KB IB clear 		Informatikcomputer science , Informatik in der Primarschule , Informatik-Didaktikdidactics of computer science , Informatik-Unterricht (Fachinformatik)Computer Science Education , Informatikunterricht in der Schule , Primarschule (1-6) / Grundschule (1-4)primary school , Programmierenprogramming , Schuleschool
icon
Bücher
Jahr  Umschlag Titel Abrufe IBOBKBLB
1945 local  Schule des Denkens (G. Polya) 6, 7, 7, 2, 3, 15, 4, 8, 14, 14, 22, 8 17 3 8 1565
1966 local  Towards a theory of instruction (Jerome S. Bruner) 11, 9, 3, 4, 7, 16, 4, 12, 17, 10, 32, 16 32 43 16 2170
1982 local web  Mindstorms (Seymour Papert) 13, 12, 5, 18, 9, 25, 4, 9, 24, 22, 30, 16 354 48 16 6069
1983 local  Frames Of Mind (Howard Gardner) 12, 9, 3, 5, 4, 15, 2, 10, 11, 14, 18, 10 41 24 10 4230

iconDieser Konferenz-Band erwähnt vermutlich nicht ... Eine statistisch erstelle Liste von nicht erwähnten (oder zumindest nicht erfassten) Begriffen, die aufgrund der erwähnten Begriffe eine hohe Wahrscheinlichkeit aufweisen, erwähnt zu werden.

icon
Nicht erwähnte Begriffe
Kinder, LehrerIn, Unterricht

iconTagcloud

iconZitationsgraph (Beta-Test mit vis.js)

iconVolltext dieses Dokuments

Formal Methods: Artikel als Volltext (lokal: PDF, 194 kByte)
Formal Methods in Computer Science Education: Gesamtes Buch als Volltext (lokal: PDF, 2815 kByte)

iconAnderswo suchen  Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

Suchen im Biblionetz mit Google
Google Scholar
Google
Amazon

iconBeat und diese Konferenz-Proceedings

Beat hat diese Konferenz-Proceedings während seiner Zeit am Institut für Medien und Schule (IMS) ins Biblionetz aufgenommen. Beat besitzt kein physisches, aber ein digitales Exemplar. (das er aber aus Urheberrechtsgründen nicht einfach weitergeben darf). Es gibt bisher nur wenige Objekte im Biblionetz, die dieses Werk zitieren.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.