|
2321.
|
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).
|
|
2322.
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques
: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings /
: [electronic resource] :
by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LIV, 1375 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Other title: Third International Conference on Intelligent Computing, ICIC 2007Qingdao, China, August 21-24, 2007, Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2323.
|
The Agent Modeling Language - AML
: A Comprehensive Approach to Modeling Multi-Agent Systems /
: [electronic resource] :
by Cervenka, Radovan [author.] | Trencansky, Ivan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 355 p. online resource.Publisher: Basel : Birkhäuser Basel, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2324.
|
Brute Force
: Cracking the Data Encryption Standard /
: [electronic resource] :
by Curtin, Matt [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 292 p. 10 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2325.
|
The International Handbook of Virtual Learning Environments
: [electronic resource] /
by Weiss, Joel [editor.] | Nolan, Jason [editor.] | Hunsinger, Jeremy [editor.] | Trifonas, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LXXII, 1614 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).
|
|
2326.
|
Programming for Peace
: Computer-Aided Methods for International Conflict Resolution and Prevention /
: [electronic resource] :
by Trappl, Robert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 463 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).
|
|
2327.
|
Physical Theory and its Interpretation
: Essays in Honor of Jeffrey Bub /
: [electronic resource] :
by Demopoulos, William [editor.] | Pitowsky, Itamar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 283 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).
|
|
2328.
|
Digital Economy and Social Design
: [electronic resource] /
by Sudoh, Osamu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 236 p. online resource.Publisher: Tokyo : Springer Tokyo, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2329.
|
Teleophthalmology
: [electronic resource] /
by Yogesan, Kanagasingam [editor.] | Kumar, Sajeesh [editor.] | Goldschmidt, Leonard [editor.] | Cuadros, Jorge [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 307 p. 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).
|
|
2330.
|
Introduction to Computational Biology
: An Evolutionary Approach /
: [electronic resource] :
by Haubold, Bernhard [author.] | Wiehe, Thomas [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 328 p. online resource.Publisher: Basel : Birkh�user Basel, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2331.
|
Trust Management II
: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway /
: [electronic resource] :
by Karabulut, Yücel [editor.] | Mitchell, John [editor.] | Herrmann, Peter [editor.] | Jensen, Christian Damsgaard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 372 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).
|
|
2332.
|
Wireless Sensor and Actor Networks II
: Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008 /
: [electronic resource] :
by Miri, Ali [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 282 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).
|
|
2333.
|
From Grids to Service and Pervasive Computing
: [electronic resource] /
by Priol, Thierry [editor.] | Vanneschi, Marco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 242 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).
|
|
2334.
|
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).
|
|
2335.
|
Advances in Ad Hoc Networking
: Proceedings of the Seventh Annual Mediterranean Ad Hoc Networking Workshop, Palma de Mallorca, Spain, June 25–27, 2008 /
: [electronic resource] :
by Cuenca, Pedro [editor.] | Guerrero, Carlos [editor.] | Puigjaner, Ramon [editor.] | Serra, Bartomeu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 238 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).
|
|
2336.
|
Innovation in Manufacturing Networks
: Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 /
: [electronic resource] :
by Azevedo, Américo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 364 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).
|
|
2337.
|
Biologically-Inspired Collaborative Computing
: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy /
: [electronic resource] :
by Hinchey, Mike [editor.] | Pagnoni, Anastasia [editor.] | Rammig, Franz J [editor.] | Schmeck, Hartmut [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 246 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).
|
|
2338.
|
History of Computing and Education 3 (HCE3)
: IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy /
: [electronic resource] :
by Impagliazzo, John [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 176 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2339.
|
Knowledge Management In Action
: IFIP 20th World Computer Congress, Conference on Knowledge Management in Action, September 7-10, 2008, Milano, Italy /
: [electronic resource] :
by Ackerman, Mark [editor.] | Dieng-Kuntz, Rose [editor.] | Simone, Carla [editor.] | Wulf, Volker [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 210 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).
|
|
2340.
|
Distributed Embedded Systems: Design, Middleware and Resources
: [electronic resource] /
by Kleinjohann, Bernd [editor.] | Wolf, Wayne [editor.] | Kleinjohann, Lisa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 226 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).
|