Specification case studies

Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

Software engineering on Sun workstations

Running UNIX so it doesn't run you par Crabb, Don

C++ neural networks and fuzzy logic par Rao, Valluru B.

A small matter of programming perspectives on end user computing par Nardi, Bonnie A.

Click here to access thru EZproxy
Click here to access

Object-oriented programming the CLOS perspective

Accéder au texte intégral
Accéder au texte intégral

Portable GUI development with C++ par Watson, Mark 1951-

Problem solving and computation for scientists and engineers an introduction using C par Lerman, Steven R.