|
581.
|
Modelling Distributed Systems
: [electronic resource] /
by Fokkink, Wan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 154 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
582.
|
The Calculus of Computation
: Decision Procedures with Applications to Verification /
: [electronic resource] :
by Bradley, Aaron R [author.] | Manna, Zohar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
583.
|
Principles and methods in landscape ecology
: Toward a Science of Landscape /
: [electronic resource] :
by Farina, Almo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 412 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
584.
|
Landscapes of a New Cultural Economy of Space
: [electronic resource] /
by Terkenli, Theano S [editor.1] | d'Hauteserre, Anne-Marie [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 243 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
585.
|
Principles and methods in landscape ecology
: Toward a Science of Landscape /
: [electronic resource] :
by Farina, Almo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 412 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
586.
|
Wood and Tree Fungi
: Biology, Damage, Protection, and Use /
: [electronic resource] :
by Schmidt, Olaf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 334 p. 74 illus., 12 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
587.
|
Grid Computing
: Achievements and Prospects /
: [electronic resource] :
by Gorlatch, Sergei [editor.] | Fragopoulou, Paraskevi [editor.] | Priol, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 288 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
588.
|
Do-All Computing in Distributed Systems
: Cooperation in the Presence of Adversity /
: [electronic resource] :
by Georgiou, Chryssis [author.] | Shvartsman, Alexander A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 219 p. 22 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
589.
|
Achievements in European Research on Grid Systems
: CoreGRID Integration Workshop 2006 (Selected Papers) /
: [electronic resource] :
by Gorlatch, Sergei [editor.] | Bubak, Marian [editor.] | Priol, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 238 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Other title: October 19-20, Krakow, Poland.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
590.
|
Design Computing and Cognition '08
: Proceedings of the Third International Conference on Design Computing and Cognition /
: [electronic resource] :
by Gero, John S [editor.] | Goel, Ashok K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 736 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
591.
|
Elementary Logic
: For Software Development /
: [electronic resource] :
by Lover, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 314 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
592.
|
Networked RFID
: Systems, Software and Services /
: [electronic resource] :
by Roussos, George [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 187 p. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
593.
|
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).
|
|
594.
|
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).
|
|
595.
|
Systems and Virtualization Management. Standards and New Technologies
: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings /
: [electronic resource] :
by Boursas, Latifa [editor.] | Carlson, Mark [editor.] | Hommel, Wolfgang [editor.] | Sibilla, Michelle [editor.] | Wold, Kes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 135 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
596.
|
Vienna A Doctor’s Guide
: 15 walking tours through Vienna’s medical history /
: [electronic resource] :
by Regal, Wolfgang [author.] | Nanut, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 190 p. With numerous illus. in color. online resource.Publisher: Vienna : Springer Vienna, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
597.
|
Urban and Community Forestry in the Northeast
: [electronic resource] /
by Kuser, John E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 487 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
598.
|
The Forest and the City
: The Cultural Landscape of Urban Woodland /
: [electronic resource] :
by Konijnendijk, Cecil C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 246 p. 4 illus. in color. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
599.
|
Computer Aided Architectural Design Futures 2005
: Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005 /
: [electronic resource] :
by Martens, Bob [editor.] | Brown, Andre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 482 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
600.
|
Political Economies of Landscape Change
: Places of Integrative Power /
: [electronic resource] :
by Wescoat, James L [editor.] | Johnston, Douglas M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 222 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|