|
|
9101.
|
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).
|
|
|
9102.
|
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).
|
|
|
9103.
|
Advances in Enterprise Engineering I
: 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings /
: [electronic resource] :
by Dietz, Jan L. G [editor.] | Albani, Antonia [editor.] | Barjis, Joseph [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 195 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).
|
|
|
9104.
|
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).
|
|
|
9105.
|
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).
|
|
|
9106.
|
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).
|
|
|
9107.
|
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).
|
|
|
9108.
|
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).
|
|
|
9109.
|
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).
|
|
|
9110.
|
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).
|
|
|
9111.
|
Dissemination of Information in Optical Networks
: From Technology to Algorithms In Cooperation with Ralf Klasing /
: [electronic resource] :
by Bandyopadhyay, Subir [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 310 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: In Cooperation with Ralf Klasing.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9112.
|
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).
|
|
|
9113.
|
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).
|
|
|
9114.
|
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).
|
|
|
9115.
|
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).
|
|
|
9116.
|
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).
|
|
|
9117.
|
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).
|
|
|
9118.
|
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).
|
|
|
9119.
|
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).
|
|
|
9120.
|
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).
|
