61. Scripting in Java: Languages, Frameworks, and Patterns.

by Bosanac, Dejan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2008Availability: Items available for loan: [Call number: 005.133 BOS] (1).
62. Compilers : principles, techniques, and tools

by Aho, Alfred V | Lam, Monica S | Sethi, Ravi | Ullman, Jeffrey D.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2007Availability: Items available for loan: [Call number: 005.453 AHO] (1).
63. Scala for the impatient

by Horstmann, Cay S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Addison-Wesley, 2012Availability: Items available for loan: [Call number: 005.133 HOR] (1).
64. Parallel scientific computing and optimization : advances and applications

by Ciegis, Raimondas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 005.275 CIE] (1).
65. Compiling ESTEREL

by Potop-Butucaru, Dumitru | Berry, Gerard | Edwards, Stephen A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 005.133 POT] (1).
66. Programming languages : an active learning approach.

by Lee, Kent D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Springer 2008Availability: Items available for loan: [Call number: 005.13 LEE] (2).
67. Advanced computational infrastructures for parallel and distributed applications

by Parashar, Manish | Li, Xiaolin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2009Availability: Items available for loan: [Call number: 004.35 PAR] (1).
68. High-performance parallel database processing and grid databases

by Taniar, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2008Availability: Items available for loan: [Call number: 004.35 TAN] (1).
69. Algorithms and parallel computing

by Gebali, Fayez.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2011Availability: Items available for loan: [Call number: 004.35 GEB] (1).
70. Task scheduling for parallel systems

by Sinnen, Oliver.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley-Interscience, 2007Availability: Items available for loan: [Call number: 004.35 SIN] (1).
71. Basic simple type theory

by Hindley, J. Roger.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
72. Domains and lambda-calculi

by Amadio, Roberto M | Curien, Pierre-Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
73. Concurrent programming in ML

by Reppy, John H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.2752 REP] (1).
74. Semiotics of programming

by Tanaka-Ishii, Kumiko.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.019 TAN] (1).
75. Concurrency verification : introduction to compositional and noncompositional methods.

by De Roever, Willem-Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
76. Process algebra : equational theories of communicating processes

by Baeten, J. C. M | Basten, T | Reniers, M. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
77. Programming languages and methodologies

by Schalkoff, Robert J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2007Availability: Items available for loan: [Call number: 005.13 SCH] (1).
78. Interaction of compilation technology and computer architecture

by Lilja, David J | Bird, Peter L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Springer, 1994Availability: Items available for loan: [Call number: 005.453 LIL] (1).
79. Object-Oriented programming : a unified foundation

by Castagna, Giuseppe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 1997Availability: Items available for loan: [Call number: 005.117 CAS] (1).
80. Parallel Database Techniques

by Abdelguerfi, Mahdi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: IEEE Computer Society, 1998Availability: Items available for loan: [Call number: 005.756 ABD] (1).

Powered by Koha