Normal view MARC view ISBD view

Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992

Contributor(s):

Material type: Text

TextPublication details: London: Springer-Verlag, 1992Description: xix, 969pSubject(s):

Item type:

Proceedings

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode
Proceedings	National Science Library	519.6(082.2) N2 (Browse shelf(Opens below))		Available		174268

Previous								Next
Previous	519.6 N1 Introductory theory of computer science	519.6(082.2) L8 Recent advances in numerical analysis: Proceedings of a symposium conducted by the mathematics research center the university of Wisconsin-Madison 22-24 May, 1978	519.6(082.2) N2 System modelling and optimization: Proceedings of the 15th IFIP conference Zurich, Switzerland, 2-6 September, 1991	519.6(082.2) N2 Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992	519.6(082.2) N3 Challenges of a generalized system theory	519.6(082.2) N5 Information systems correctness and reusability: Selected papers from the is-core workshop Amsterdam, 26-30 September, 1994	519.6(082.2) Q0 Mathematical and computational models: Recent trends	Next

There are no comments on this title.

to post a comment.