241. Practical foundations for programming languages

by Harper, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: [Call number: 005.13 HAR] (1).
242. Systematic Program Design : from clarity to efficiency

by Liu, Yanhong Annie.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 005.1 LIU] (1).
243. Theory of computation

by Tourlakis, George.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2012Availability: Items available for loan: [Call number: 511.352 TOU] (1).
244. Big Java : late objects

by Horstmann, Cay S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2013Availability: Items available for loan: [Call number: 005.133 HOR] (1).
245. Programming in Ansi C

by Balaguruswamy, E.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: McGraw-Hill Education India, 2012Availability: Items available for loan: [Call number: 005.1 BAL] (1).
246. Elements of discrete mathematics

by Liu, C. L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2000Availability: Items available for loan: [Call number: 511.3 LIU] (5).
247. Computing meaning, Volume 1.

by Muskens, Reinhard | Bunt, Harry C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2002Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
248. Computing meaning, Volume 2.

by Muskens, Reinhard | Bunt, Harry C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2001Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
249. Applications of specification and design languages for SoCs : selected papers from FDL 2005

by Vachoux, A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 005.13 VAC] (1).
250. Computing meaning, Volume 3.

by Muskens, Reinhard | Bunt, Harry C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
251. Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz

by Ravi, S. S | Shukla, Sandeep K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 RAV] (1).
252. Programming languages for business problem solving

by Wang, Shouhong | Wang, Hai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Auerbach Publications, 2008Availability: Items available for loan: [Call number: 005.13 WAN] (1).
253. Dive into Python 3

by Pilgrim, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Apress, 2009Availability: Items available for loan: [Call number: 005.133 PIL] (1).
254. Concise introduction to programming in python

by Johnson, Mark J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2012Availability: Items available for loan: [Call number: 005.133 JOH] (1).
255. C compilers for ASIPs : automatic compiler generation with LISA

by Hohenauer, Manuel | Leupers, Rainer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 005.453 HOH] (1).
256. Giants of computing : a compendium of select, pivotal pioneers

by O'Regan, Gerard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0922 ORE] (1).
257. Computer science : the hardware, software and heart of it

by Blum, Edward K | Aho, Alfred V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
258. Formal languages and computation : models and their applications

by Meduna, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 005.131 MED] (1).
259. Concise introduction to data structures using Java

by Johnson, Mark J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 005.2762 JOH] (1).
260. Exercises in Programming Style

by Lopes, Cristina Videira.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 005.1 LOP] (1).

Powered by Koha