Narrow your search

Library

KBR (7)

UCLouvain (4)

KU Leuven (2)

UGent (2)

ULiège (2)

AP (1)

DocAtlas (1)

Hogeschool West-Vlaanderen (1)

KDG (1)

KMSKA (1)

More...

Resource type

book (7)


Language

English (5)

Dutch (1)

French (1)


Year
From To Submit

2015 (1)

1994 (1)

1992 (1)

1991 (1)

1990 (1)

More...
Listing 1 - 7 of 7
Sort by
Fast learning and invariant object recognition : the sixth-generation breakthrough
Authors: ---
ISBN: 0471574309 9780471574309 Year: 1992 Volume: vol *6 Publisher: New York: Wiley,


Book

Book
Languages and machines : an introduction to the theory of computer science
Author:
ISBN: 0201157683 Year: 1988 Publisher: Reading, Mass. Menlo Park Bonn Addison-Wesley

Warren's abstract machine : a tutorial reconstruction
Author:
ISBN: 0262510588 0262011239 9780262255585 9780262510585 0262255588 9780262011235 Year: 1991 Volume: vol *8 Publisher: Cambridge, Mass.: MIT Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H.D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided."


Book
Verder kijken dan de hype : tablets: een didactisch instrument in de klas
Authors: --- --- --- --- --- et al.
ISBN: 9789462344358 Year: 2015 Volume: *8 Publisher: Sint-Niklaas Abimo

Loading...
Export citation

Choose an application

Bookmark

Abstract

Inspiratieboek dat elke leerkracht verder wil laten verder kijken dan de hype zelf. Handboek dat handvatten aanreikt om het tabletgebruik in de klas te faciliteren. Concrete activiteiten en impulsen uitgewerkt voor kleuters en lagere school: in de les, als project, binnen thema’s, klasuitstappen,… Duidelijke vermelding van bruikbare apps en tools voor in praktijk. Probleemoplossend, onderzoekend en samenwerkend leren bij kinderen en jongeren stimuleren en ontwikkelen. Deze uitgave sluit aan binnen het STEM-onderwijs. STEM, de internationale afkorting voor Science, Technology, Engineering and Mathematics, staat onder andere voor het leergebied wiskunde en de domeinen wetenschap en techniek binnen het leergebied wereldoriëntatie.

Keywords

Assistants numériques personnels --- Assistants personnels numériques --- Assistants électroniques de poche --- Computers [Electronic digital ] --- Computers [Electronische digitale ] --- Educational technology --- Electronic digital computers --- Elektronische digitale computers --- Enseignement -- Technologie --- Hand-held computers --- Handheld computers --- Instructional technology --- Microordinateurs de poche --- Nouvelles technologies de l'information et de la communication en éducation --- Onderwijs -- Technologie --- Onderwijstechnologie --- Ordinateurs de poche --- Ordinateurs numériques électroniques --- Palmtop computers --- Pocket computers --- Portatifs miniatures (Ordinateurs) --- TIC en éducation --- TICE --- Tablettes électroniques --- Technologie de l'instruction --- Technologie de l'éducation --- Technologie pédagogique --- Technologie éducative --- Technologies d'apprentissage --- Technologies de l'information et de la communication dans l'enseignement --- Technologies de l'information et de la communication en éducation --- Technologies de l'information et de la communication pour l'éducation --- Technology in education --- Zakcomputers --- Éducation -- Technologie --- ICT --- tablets --- Internet en onderwijs --- Lager onderwijs --- 454.52 --- ICT informatie- en communicatietechnologie --- ICT-integratie --- 454.510 --- Kleuteronderwijs --- ICT : basisonderwijs --- Onderzoekend leren --- Coöperatief leren --- Computerondersteund onderwijs (c.o.o.); algemeen --- Computer ondersteund onderwijs --- ICT ; onderwijs ; Vlaanderen --- ICT ; onderwijs ; Vlaanderen. --- basisonderwijs --- Computer assisted instruction --- Didactics of technology --- computerondersteund onderwijs --- mobile platforms (informatica) --- apps --- onderwijsvernieuwing --- School management --- PXL-Education 2015 --- didactisch materiaal --- computergestuurd onderwijs

Listing 1 - 7 of 7
Sort by