Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.). by VSTTE (Conference) (3rd : 2010 : Edinburgh, Scotland) Series: Lecture notes in computer science ; 6217. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Interactive storytelling : third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010 : proceedings / Ruth Aylett [and others] (eds.). by Joint International Conference on Interactive Digital Storytelling (3rd : 2010 : Edinburgh, Scotland) Aylett, Ruth, 1951- Series: Lecture notes in computer science ; 6432. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: ICIDS 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search