Adaptive educational hypermedia - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2003-07-02 12:10:42 Information science Adaptive hypermedia Software Humanâ€“computer interaction Personalization User model Adaptation Browse Application software Hypertext Hypermedia Adaptive educational hypermedia		Add to Reading List Source URL: www2.sis.pitt.edu Download Document from Source Website File Size: 165,51 KB Share Document on Facebook

	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber DocID: 1xVzf - View Document
	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell DocID: 1xVyg - View Document
	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 DocID: 1xUQx - View Document
	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion DocID: 1xUDG - View Document
	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell DocID: 1xU8L - View Document