761. Mathematics and computation, a contemporary view

by Munthe-Kaas, Hans | Owren, Brynjulf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 510.004015113 MUN] (1).
762. Advances in probabilistic graphical models

by Gamez, Jose A | Lucas, Peter | Salmeron, Antonio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 519.542 LUC] (1).
763. Neural networks : computational models and applications

by Tang, Huajin | Tan, Kay Chen | Zhang, Yi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.32 TAN] (1).
764. Recent advances in evolutionary computation for combinatorial optimization

by Cotta, Carlos | Van Hemert, Jano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.3 COT] (1).
765. Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers

by Basili, Victor R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
766. Advances in evolutionary computing for system design

by Palade, Vasile | Jain, Lakhmi C | Srinivasan, Dipti.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.618 JAI] (1).
767. Analysis and design of intelligent systems using soft computing techniques

by Melin, Patricia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.33 MEL] (1).
768. Model-driven testing : using the UML testing profile

by Baker, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.117 BAK] (1).
769. Digital signal processing with field programmable gate arrays

by Meyer-Baese, Uwe.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 621.3822 MEY] (2).
770. Generalized curvatures

by Morvan, Jean-Marie.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 516.00285 MOR] (1).
771. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
772. Design by evolution : advances in evolutionary design

by Hingston, Philip F | Barone, Luigi C | Michalewicz, Zbigniew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.31 HIN] (1).
773. Spatial data modelling for 3d GIS

by Abdul-Rahman, Alias | Pilouk, Morakot.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.74 ABD] (1).
774. High performance computing on vector systems 2007

by Resch, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.35 RES] (1).
775. Speech, audio, image and biomedical signal processing using neural networks

by Prasad, Bhanu | Prasanna, S. R. Mahadeva.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.32 PRA] (1).
776. Mathematics - key technology for the future : joint projects between universities and industry 2004-2007

by Jager, Willi | Krebs, Hans-Joachim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 620.00151 JAG] (1).
777. Software process improvement : 15th European conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008, proceedings

by O'Connor, Rory V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 OCO] (1).
778. Algorithmic adventures : from knowledge to magic

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.1 HRO] (1).
779. Applications of soft computing : updating the state of the art

by Avineri, Erel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2009Availability: Items available for loan: [Call number: 006.3 AVI] (1).
780. Post quantum cryptography

by Buchmann, Johannes | Bernstein, Daniel J | Dahme'n, Erik.

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

Powered by Koha