1741. 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).
1742. Python scripting for computational science

by Langtangen, Hans Petter.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 502.855133 LAN] (1).
1743. 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).
1744. 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).
1745. 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).
1746. 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).
1747. 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).
1748. 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).
1749. Mathematics of preference, choice and order : essays in honor of Peter C. Fishburn

by Brams, Steven J | Fishburn, Peter C | Gehrlein, William V | Roberts, Fred S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.3 BRA] (1).
1750. 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).
1751. 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).
1752. 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).
1753. 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).
1754. Innovation networks : new approaches in modelling and analyzing

by Pyka, Andreas | Scharnhorst, Andrea.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 003 PYK] (1).
1755. Model driven engineering and ontology development

by Gasevic, Dragan | Devedzic, Vladan | Djuric, Dragan.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.1 GAS] (1).
1756. Emerging challenges for security, privacy and trust

by Gritzalis, Dimitris | Lopez, Javier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.8 GRI] (1).
1757. Information hiding and applications

by Pan, Jeng-Shyang | Huang, Hsiang-Cheh | Jain, Lakhmi C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.82 PAN] (1).
1758. Primer on scientific programming with python

by Langtangen, Hans Petter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 502.855133 LAN] (1).
1759. Sensitivity analysis for neural networks

by Yeung, Daniel S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 006.32 YEU] (1).
1760. Neural networks and micromechanics

by Kussul, Ernst | Baidyk, Tatiana | Wunsch, Donald C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2010Availability: Items available for loan: [Call number: 621.3810285642 KUS] (1).

Powered by Koha