Koha online catalog › Results of search for 'su:"Computation by Abstract Devices"'

	1.	Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems by Rust, Heinrich. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1). Place hold
	2.	Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings by Calude, Cristian S \| Sassone, Vladimiro. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1). Place hold

Koha online