Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
No cover image available
ALGORITHMICS: THE SPIRIT OF COMPUTING

by HAREL, DAVID.

Edition: 2Material type: book Book; Format: print ; Literary form: Not fiction Publisher: NEW YORK Addison Wesley 2000Availability: Items available for loan: (2).

Place hold
No cover image available
Algorithmics the Spirit of Computing

by HAREL, DAVID.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts Addison Wesley 1993Availability: Items available for loan: [Call number: 511.8 H274A] (1).

Place hold
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available

Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio.

by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available