|
2421.
|
Multiobjective Problem Solving from Nature
: From Concepts to Applications /
: [electronic resource] :
by Knowles, Joshua [editor.] | Corne, David [editor.] | Deb, Kalyanmoy [editor.] | Chair, Deva Raj [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 411 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2422.
|
Swarm Intelligence
: Introduction and Applications /
: [electronic resource] :
by Blum, Christian [editor.] | Merkle, Daniel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 286 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2423.
|
Decision Procedures
: An Algorithmic Point of View /
: [electronic resource] :
by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 306 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2424.
|
Logics of Specification Languages
: [electronic resource] /
by Bjørner, Dines [editor.] | Henson, Martin C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 624 p. 69 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2425.
|
Design by Evolution
: Advances in Evolutionary Design /
: [electronic resource] :
by Hingston, Philip F [editor.] | Barone, Luigi C [editor.] | Michalewicz, Zbigniew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 352 p. 146 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2426.
|
Mobility, Data Mining and Privacy
: Geographic Knowledge Discovery /
: [electronic resource] :
by Giannotti, Fosca [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 410 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2427.
|
Web Search
: Multidisciplinary Perspectives /
: [electronic resource] :
by Spink, Amanda [editor.] | Zimmer, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 352 p. 41 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2428.
|
Web Component Development with Zope 3
: [electronic resource] /
by Weitershausen, Philipp von [author.] | SpringerLink (Online service). Edition: Third edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 564 p. 48 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2429.
|
Unfoldings
: A Partial-Order Approach to Model Checking /
: [electronic resource] :
by Esparza, Javier [author.] | Heljanko, Keijo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 p. 51 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2430.
|
Ajax in Oracle JDeveloper
: [electronic resource] /
by Vohra, Deepak [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 224 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2431.
|
Computational Geometry
: Algorithms and Applications /
: [electronic resource] :
by Berg, Mark de [author.] | Cheong, Otfried [author.] | Kreveld, Marc van [author.] | Overmars, Mark [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 386 p. 370 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2432.
|
Algorithms and Data Structures
: The Basic Toolbox /
: [electronic resource] :
by Mehlhorn, Kurt [author.] | Sanders, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 300 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2433.
|
VizSEC 2007
: Proceedings of the Workshop on Visualization for Computer Security /
: [electronic resource] :
by Goodall, John R [editor.] | Conti, Gregory [editor.] | Ma, Kwan-Liu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 273 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2434.
|
The Testing Network
: An Integral Approach to Test Activities in Large Software Projects /
: [electronic resource] :
by Henry, Pierre [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 438 p. 180 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2435.
|
Adaptive Scalarization Methods in Multiobjective Optimization
: [electronic resource] /
by Eichfelder, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 241 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2436.
|
Constructing Ambient Intelligence
: AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers /
: [electronic resource] :
by Mühlhäuser, Max [editor.] | Ferscha, Alois [editor.] | Aitenbichler, Erwin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 470 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2437.
|
Software Process Improvement
: 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
: [electronic resource] :
by O’Connor, Rory V [editor.] | Baddoo, Nathan [editor.] | Smolander, Kari [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 213 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2438.
|
Modelling, Computation and Optimization in Information Systems and Management Sciences
: Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings /
: [electronic resource] :
by Le Thi, Hoai An [editor.] | Bouvry, Pascal [editor.] | Pham Dinh, Tao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 618 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2439.
|
The Open Knowlege Society. A Computer Science and Information Systems Manifesto
: First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings /
: [electronic resource] :
by Lytras, Miltiadis D [editor.] | Carroll, John M [editor.] | Damiani, Ernesto [editor.] | Tennyson, Robert D [editor.] | Avison, David [editor.] | Vossen, Gottfried [editor.] | Ordonez De Pablos, Patricia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 753 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2440.
|
Leveraging Applications of Formal Methods, Verification and Validation
: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
: [electronic resource] :
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 869 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|