721. Computable models

by Turner, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
722. Understanding concurrent systems

by Roscoe, A. W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).
723. Elements of Computation Theory

by Singh, Arindama.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 SIN] (1).
724. Handbook of data compression

by Salmon, David | Giovanni, Motta.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 005.746 SAL ] (1).
725. Support vector machines for pattern classification

by Abe, Shigeo.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 005.52 ABE] (2).
726. Discrete calculus: applied analysis on graphs for computational science

by Grady, Leo J | Polimeni, Jonathan R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 518.1 GRA] (1).
727. Network science : complexity in nature and technology

by Estrada, Ernesto | Fox, Maria | Higham, Desmond J | Oppo, Gian-Luca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 003.72 EST] (1).
728. Symbolic C++ : an introduction to computer algebra using object-oriented programming

by Tan, Kiat Shi | Hans Steeb, Willi-Hans | Hardy, Yorick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2000Availability: Items available for loan: [Call number: 512.002855133 TAN] (1).
729. Support vector machines for pattern classification

by Abe, Shigeo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.52 ABE] (1).
730. R trees : theory and applications

by Manolopoulos, Yannis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.741 MAN] (1).
731. Neural networks and computing : learning algorithms and applications

by Cho, Siu - Yeung | Chow, Tommy W. S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Imperial College Press, 2007Availability: Items available for loan: [Call number: 006.32 CHO] (2).
732. Channel coding in communication networks : from theory to turbocodes

by Glavieux, Alain.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: ISTE Ltd, 2007Availability: Items available for loan: [Call number: 003.54 GLA] (1).
733. Alan Turing and his contemporaries : building the world's first computers

by Lavington, Simon H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Swindon: British Computer Society, 2012Availability: Items available for loan: [Call number: 004.0922 LAV] (1).
734. Taming text : how to find, organise, and manipulate it

by Morton, Thomas S | Farris, Andrew L | Ingersoll, Grant S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Shelter Island: Manning Publications, 2013Availability: Items available for loan: [Call number: 005.72 ING] (1).
735. Conversations about challenges in computing

by Bruaset, Are Magnus | Tveito, Aslak.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2013Availability: Items available for loan: [Call number: 003 BRU] (1).
736. Frequent pattern mining

by Aggarwal, Charu C | Han, Jiawei.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2014Availability: Items available for loan: [Call number: 006.312 AGG] (1).
737. Timing channels in cryptography : a micro-architectural perspective

by Rebeiro, Chester.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.7 REB] (1).
738. It from bit or bit from it? on physics of informaiton

by Aguirre, Anthony | Aguirre, Anthony | Foster, Brendan | Merali, Zeeya.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 530.12 AGU] (1).
739. Python workbook : a brief introduction with exercises and solutions

by Stephenson, Ben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.133 STE] (1).
740. Attribute-based credentials for trust : identity in the information society

by Rannenberg, Kai | Camenisch, Jan | Sabouri, Ahmad.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 005.8223 RAN] (1).

Powered by Koha