|
721.
|
Tools for High Performance Computing
: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
: [electronic resource] :
by Resch, Michael [editor.] | Keller, Rainer [editor.] | Himmler, Valentin [editor.] | Krammer, Bettina [editor.] | Schulz, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 202 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).
|
|
722.
|
Temporal Logic and State Systems
: [electronic resource] /
by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
723.
|
Logical and Relational Learning
: [electronic resource] /
by Raedt, Luc De [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 387 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).
|
|
724.
|
Multiaccess, Reservations & Queues
: [electronic resource] /
by Denteneer, Dee [author.] | Leeuwaarden, Johan S. H. van [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 254 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).
|
|
725.
|
Objects, Components, Models and Patterns
: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
: [electronic resource] :
by Paige, Richard F [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 413 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).
|
|
726.
|
Embedded Robotics
: Mobile Robot Design and Applications with Embedded Systems /
: [electronic resource] :
by Bräunl, Thomas [author.] | SpringerLink (Online service). Edition: 3.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 546 p. 305 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).
|
|
727.
|
Software and Data Technologies
: First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
: [electronic resource] :
by Filipe, Joaquim [editor.] | Shishkov, Boris [editor.] | Helfert, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 389 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).
|
|
728.
|
Networked RFID Systems and Lightweight Cryptography
: Raising Barriers to Product Counterfeiting /
: [electronic resource] :
by Cole, Peter H [editor.] | Ranasinghe, Damith C [editor.] | SpringerLink (Online service). Edition: First edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 355 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).
|
|
729.
|
Model-Driven Testing
: [electronic resource] /
by Baker, Paul [author.] | Dai, Zhen Ru [author.] | Grabowski, Jens [author.] | Haugen, Øystein [author.] | Schieferdecker, Ina [author.] | Williams, Clay [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 184 p. 94 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).
|
|
730.
|
The Art of Artificial Evolution
: A Handbook on Evolutionary Art and Music /
: [electronic resource] :
by Romero, Juan [editor.] | Machado, Penousal [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 459 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).
|
|
731.
|
Advances in Metaheuristics for Hard Optimization
: [electronic resource] /
by Siarry, Patrick [editor.] | Michalewicz, Zbigniew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 481 p. 167 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).
|
|
732.
|
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).
|
|
733.
|
A Modern Approach to Intelligent Animation
: Theory and Practice /
: [electronic resource] :
by Zhuang, Yueting [author.] | Pan, Yunhe [author.] | Xiao, Jun [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 310 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).
|
|
734.
|
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).
|
|
735.
|
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).
|
|
736.
|
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).
|
|
737.
|
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).
|
|
738.
|
Software Architecture
: [electronic resource] /
by Qin, Zheng [author.] | Zheng, Xiang [author.] | Xing, Jiankuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 337 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).
|
|
739.
|
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).
|
|
740.
|
Software Evolution
: [electronic resource] /
by Mens, Tom [author.] | Demeyer, Serge [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 347 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|