|
2061.
|
Multi-Agent Programming
: Languages, Platforms and Applications /
: [electronic resource] :
by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal El [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 296 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2062.
|
Super-Recursive Algorithms
: [electronic resource] /
by Burgin, Mark [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 304 p. 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).
|
|
2063.
|
Multimedia Introduction to Programming Using Java
: [electronic resource] /
by Gries, David [author.] | Gries, Paul [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 536 p. 420 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).
|
|
2064.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 388 p. 63 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).
|
|
2065.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. 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).
|
|
2066.
|
XML for Bioinformatics
: [electronic resource] /
by Cerami, Ethan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 304 p. 59 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).
|
|
2067.
|
From Specification to Embedded Systems Application
: [electronic resource] /
by Rettberg, Achim [editor.] | Zanella, Mauro C [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 320 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Other title: IFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2068.
|
Reliable Distributed Systems
: Technologies, Web Services, and Applications /
: [electronic resource] :
by Birman, Kenneth P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 668 p. 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).
|
|
2069.
|
Semantic Management of Middleware
: [electronic resource] /
by Oberle, Daniel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXV, 268 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2070.
|
Handbook of Nature-Inspired and Innovative Computing
: Integrating Classical Models with Emerging Technologies /
: [electronic resource] :
by Zomaya, Albert Y [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 736 p. 211 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2071.
|
Access Control Systems
: Security, Identity Management and Trust Models /
: [electronic resource] :
by Benantar, Messaoud [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 262 p. 75 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2072.
|
Web Content Delivery
: [electronic resource] /
by Tang, Xueyan [editor.] | Xu, Jianliang [editor.] | Chanson, Samuel T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 394 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2073.
|
Coordination of Large-Scale Multiagent Systems
: [electronic resource] /
by Scerri, Paul [editor.1] | Vincent, R�gis [editor.1 ] | Mailler, Roger [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 352 p. 15 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2074.
|
Genetic Programming Theory and Practice III
: [electronic resource] /
by Yu, Tina [editor.] | Riolo, Rick [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 310 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2075.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2076.
|
Soft Real-Time Systems
: Predictability vs. Efficiency /
: [electronic resource] :
by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 275 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2077.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 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).
|
|
2078.
|
Privacy and Technologies of Identity
: A Cross-Disciplinary Conversation /
: [electronic resource] :
by Strandburg, Katherine J [editor.] | Raicu, Daniela Stan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 384 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2079.
|
Information Systems Development
: Advances in Theory, Practice, and Education /
: [electronic resource] :
by Vasilecas, Olegas [editor.] | Wojtkowski, Wita [editor.] | Zupančič, Jože [editor.] | Caplinskas, Albertas [editor.] | Wojtkowski, W. Gregory [editor.] | Wrycza, Stanisław [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVII, 544 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2080.
|
A Classical Introduction to Cryptography Exercise Book
: [electronic resource] /
by Baig�neres, Thomas [author.1] | Lu, Yi [author.1 ] | Vaudenay, Serge [author.1 ] | Junod, Pascal [author.1 ] | Monnerat, Jean [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 254 p. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|