/ en / Traditional / mobile

Beats Biblionetz - Bücher

Formal Methods in Computer Science Education

FORMED2008
Zoltán Istenes ,   
Thumbnail des PDFs
Diese Seite wurde seit 2 Jahren inhaltlich nicht mehr aktualisiert. Unter Umständen ist sie nicht mehr aktuell.

iconZusammenfassungen

This 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, Primarschuleprimary school, Programmierenprogramming
icon
Bücher
Jahr UmschlagTitelAbrufeIBOBKBLB
1945   Schule des Denkens (G. Polya) 4, 5, 5, 2, 2, 1, 3, 3, 1, 1, 2, 217321076
1966   Towards a theory of instruction (Jerome S. Bruner) 22, 3, 3, 4, 2, 9, 6, 2, 3, 2, 4, 4324341372
1982    Mindstorms (Seymour Papert) 16, 5, 12, 15, 12, 11, 10, 4, 6, 12, 11, 1419245144479
1983   Abschied vom IQ (Howard Gardner) 6, 1, 1, 2, 2, 4, 1, 1, 1, 2, 1, 1142113623

iconTagcloud

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconZitationsgraph

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconVolltext dieses Dokuments

LokalFormal 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.

iconBeat und Dieser Konferenz-Band

Beat hat Dieser Konferenz-Band 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.

Verweise auf Dieser Konferenz-Band 21
Verweise von diesem Konferenz-Band 131
Webzugriffe auf Dieser Konferenz-Band 975449733121282231243336236132833651212225322216231321133111324321132232621122321
2008200920102011201220132014201520162017