121. Masterminds of programming

by Biancuzzi, Federico | Warden, Shane.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Navi Mumbai: Shroff Publishers, 2009Availability: Items available for loan: [Call number: 005.1 BIA] (1).
122. Programming Scala

by Wampler, Dean | Payne, Alex.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Beijing: O'Reilly, 2009Availability: Items available for loan: [Call number: 006.76 WAM] (1).
123. Regular expressions cookbook

by Goyvaerts, Jan | Levithan, Steven.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Navi Mumbai: Shroff Publishers, 2012Availability: Items available for loan: [Call number: 004 GOY] (1).
124. Python for data analysis

by McKinney, Wes.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Navi Mumbai: Shroff Publishers, 2015Availability: Items available for loan: [Call number: 005.133 MCK] (1).
125. Functional thinking

by Ford, Neal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Navi Mumbai: Shroff Publishers, 2014Availability: Items available for loan: [Call number: 005.114 FOR] (1).
126. Foundations of object-oriented languages : types and semantics

by Bruce, Kim B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2002Availability: Items available for loan: [Call number: 005.117 BRU] (1).
127. Logic programming : operational semantics and proof theory

by Andrews, James H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1).
128. Languages for Digital Embedded Systems

by Edwards, Stephen A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 2000Availability: No items available Checked out (1).
129. Introduction to language processing with perl and prolog : an outline of theories, implementation, and application with special consideration of English, French, and German

by Nugues, Pierre M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.133 NUG] (1).
130. UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings

by Kent, Stuart | Evans, Andy | Selic, Bran.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
131. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

by Brauer, Wilfri.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
132. 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).
133. Nominal sets : names and symmentry in computer science

by Pitts, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: [Call number: 005.13 PIT] (1).
134. Mobile application development : javascript frameworks

by Saleh, Hazem.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Birmingham Packt Publishing Limited 2016Availability: Items available for loan: [Call number: 005.133 SAL] (1).
135. 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).
136. 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).
137. C++ templates: the complete guide

by Vandevoorde, David [Author] | Josuttis, Nicolai M [Author] | Gregor, Douglas [Author].

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, 2018Availability: Items available for loan: [Call number: 005.268 VAN] (1).
138. Django : web development with Python : from an idea to a prototype-a complete guide for web development with the Django framework

by Dauzon, Samuel | Bendoraitis, Aidas | Ravindran, Arun.

Publisher: Mumbai Packt Publishing 2016Availability: Items available for loan: [Call number: 006.78 DAU] (1).
139. Fluent python

by Ramalho, Luciano.

Publisher: United States O'Reilly 2015Availability: Items available for loan: [Call number: 005.133 RAM] (1).
140. Smart computing with open source platforms

by Mukherjee, Amartya | Dey, Nilanjan.

Publisher: New York CRC Press 2019Availability: No items available Checked out (1).

Powered by Koha