|
3881.
|
Computer network security : Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, St. Petersburg, Russia, September 13-15, 2007 : proceedings
by Kotenko, Igor | Gorodetsky, Vladimir | Skormin, Victor A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.8 GOR] (1).
|
|
3882.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|
|
3883.
|
Design by evolution : advances in evolutionary design
by Hingston, Philip F | Barone, Luigi C | Michalewicz, Zbigniew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.31 HIN] (1).
|
|
3884.
|
Spatial data modelling for 3d GIS
by Abdul-Rahman, Alias | Pilouk, Morakot. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.74 ABD] (1).
|
|
3885.
|
High performance computing on vector systems 2007
by Resch, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.35 RES] (1).
|
|
3886.
|
Computer recognition systems 2
by Kurzynski, Marek. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.3 KUR] (1).
|
|
3887.
|
Mobility, data mining and privacy : geographic knowledge discovery
by Pedreschi, Dino | Giannotti, Fosca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.74 GIA] (1).
|
|
3888.
|
Ontologies-based business integration
by Rebstock, Michael | Fengel, Janina | Paulheim, Heiko. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 658.872 REB] (1).
|
|
3889.
|
Speech, audio, image and biomedical signal processing using neural networks
by Prasad, Bhanu | Prasanna, S. R. Mahadeva. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.32 PRA] (1).
|
|
3890.
|
Subdivision surfaces
by Reif, Ulrich | Peters, J�rg. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 006.693 PET] (1).
|
|
3891.
|
Applied pattern recognition
by Bunke, Horst | Kandel, Abraham | Last, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.4 BUN] (1).
|
|
3892.
|
Software product management and pricing: key success factors for software organizations
by Kittlaus, Hans-Bernd | Clough, Peter N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.3068 KIT] (1).
|
|
3893.
|
Mathematics - key technology for the future : joint projects between universities and industry 2004-2007
by Jager, Willi | Krebs, Hans-Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 620.00151 JAG] (1).
|
|
3894.
|
Principles of protocol design
by Sharp, Robin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.62 SHA] (1).
|
|
3895.
|
Content delivery networks
by Buyya, Rajkumar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.6 BUY] (1).
|
|
3896.
|
Algorithms and Data Structures : the basic toolbox
by Mehlhorn, Kurt | Sanders, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 MEH] (1).
|
|
3897.
|
Security in computing systems : challenges, approaches and solutions
by Biskup, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 005.8 BIS] (1).
|
|
3898.
|
Testing network : an integral approach to test activities in large software projects
by Henry, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.24 HEN] (1).
|
|
3899.
|
Bioinformatics : problem solving paradigms
by Sperschneider, Volker | Scheubert, Lena | Sperschneider, Jana. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 572.80285 SPE] (1).
|
|
3900.
|
Semantic Service Provisioning
by Kuropka, Dominik. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004 KUR] (1).
|