Books · Search
Children's fiction · Classic Literature
The United States in Literature [with three long stories] -- Seventh Edition
1952
Readers (Secondary) · Study and teaching (Secondary)
Prentice Hall Literature - Timeless Voices, Timeless Themes - The British Tradition
2002
Computer science · Image processing
Electronic Visualisation in Arts and Culture
2013
Mathematics · Cryptography
The Turing Guide
2017
Mathematics · Education
The Book of Log10
2024
Software engineering · Programming languages (electronic computers)
Provably Correct Systems
Anticipation: The Real Life Story of Star Wars
2005
Revenge: The Real Life Story of Star Wars
2007
Z (Computer program language) · System design
Formal Specification and Documentation Using Z
1996
Abstract State Machines, B and Z
2008
EVA London 2018
2018
EVA London 2020
2020
Tuscan Child, The
Art of Drama, Volume 4
2019
Nashville - The First Verse
2012
The Categorical Imperative of a Confucian Evil Demon in America
Mathematics
Theories of Programming and Formal Methods
2023
Industrial-Strength Formal Methods in Practice
1999
Arts and Computational Culture
ZUM '98 : the Z Formal Specification Notation
2011
ZB 2002 : Formal Specification and Development in Z and B
2003
ZB 2000 : Formal Specification and Development in Z and B
Getting Started with Talend Open Studio for Data Integration
Z (computer program language)
ZB 2003 : Formal Specification and Development in Z and B