1041. 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).
1042. Modern computer algebra

by Gathen, Joachim von Zur | Gerhard, Jurgen.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 512.00285 VON] (1).
1043. Topology for computing.

by Zomorodian, Afra J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: No items available Checked out (1).
1044. Superfractals

by Barnsley, Michael F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 514.742 BAR] (1).
1045. Scientific computation

by Gonnet, Gaston H | Scholl, Ralf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 501.51 GON] (1).
1046. Numerical methods in engineering with Python

by Kiusalaas, Jaan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 620.001518 KIU] (1).
1047. Numerical methods in engineering with MATLAB

by Kiusalaas, Jaan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 620.001518 KIU] (1).
1048. Computational physics of carbon nanotubes

by Rafii-Tabar, H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 620.5 RAF] (1).
1049. Practical signal processing

by Owen, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 621.3822 OWE] (1).
1050. Peak power control in multicarrier communications

by Litsyn, Simon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 621.3822 LIT] (1).
1051. Geometric folding algorithms : linkages, origami, polyhedra

by Demaine, Erik D | O'Rourke, Joseph.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 516.156 DEM] (1).
1052. Writing scientific software : a guide to good style

by Oliveira, Suely | Stewart, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 005.1 OLI] (1).
1053. Adaptive and iterative signal processing in communications

by Choi, Jinho.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 621.3822 CHO] (1).
1054. Introduction to information retrieval

by Manning, Christopher D | Raghavan, Prabhakar | Schutze, Hinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for reference: [Call number: 025.04 MAN] (1). Checked out (1).
1055. Iterative error correction : turbo, low-density parity-check and repeat-accumulate codes

by Johnson, Sarah J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 621.3822 JOH] (1).
1056. Radar systems analysis and design using MATLAB

by Mansuripur, Masud.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 621.3848 MAN] (1).
1057. Real-time systems : formal specification and automatic verification

by Dierks, Henning | Olderog, E. R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 004.33 OLD] (2).
1058. Practical algorithms for image analysis : description, examples, programs, and projects

by O'Gorman, Lawrence | Sammon, Michael J | Seul, Michael.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 621.367 OGO] (2).
1059. Statistical signal processing of complex-valued data

by Schreier, Peter J | Scharf, Louis L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2010Availability: No items available Checked out (1).
1060. Multiagent systems : algorithmic, game-theoretic, and logical foundations

by Shoham, Yoav | Leyton-Brown, Kevin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 006.3 SHO] (1).

Powered by Koha