Koha online

41.
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures

by Bernardo, Marco | Inverardi, Paola.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold
42.
Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : Proceedings

by Krall, Andreas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KRA] (1).
Place hold
43.
Instruction level parallelism

by Aiken, Alex | Banerjee, Utpal | Kejariwal, Arun | Nicolau, Alexandru.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2016Availability: Items available for loan: [Call number: 004.22 AIK] (1).
Place hold
44.
Computer organization : basic processor structure

by Gil de Lamadrid, James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2018Availability: Items available for loan: [Call number: 004.2 GIL] (1).
Place hold
45.
Automatic tuning of compilers using machine learning

by Ashouri, A.H | Palermo, Gianluca | Cavazos, John | Silvano, Cristina.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer 2018Availability: Items available for loan: [Call number: 005.4 ASH] (1).
Place hold
46.
Compiler design

by Muneeswaran, K.

Publisher: New Delhi : Oxford University Press, 2013Availability: No items available Checked out (1).
Place hold

Powered by Koha