The new Penguin dictionary of computing von Pountain, Dick

Contributor biographical information
Publisher description

Crossroads.

Advances in object-oriented data modeling

Click here to access thru EZproxy
Click here to access

Dynamic logic von Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Click here to access thru EZproxy
Click here to access

Proof, language, and interaction essays in honour of Robin Milner

Volltext
Volltext

Building natural language generation systems von Reiter, Ehud 1960-

The code book the science of secrecy from ancient Egypt to quantum cryptography von Singh, Simon

Object-oriented systems development a gentle introduction von Britton, Carol

Document understanding von Aguirre, Christopher D.G

Formula recognizer a mathematical expression recognizer von Ate, Reena R.