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 由 Crabb, Don

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

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

Click here to access thru EZproxy
Click here to access

Object-oriented programming the CLOS perspective

获取全文
获取全文

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

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