|
1.
|
Elements of the theory of computattion
by Lewis, H.R | Papadimitriou, C. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 466p.Publisher: London Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 L586e cop.2] (7). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511 L586e cop.1] (2).
|
|
2.
|
Event-Triggered and Time-Triggered Control Paradigms
: [electronic resource] /
by Obermaisser, Roman [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 153 p. 46 illus. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3.
|
Education and the Knowledge Society
: Information Technology supporting human development /
: [electronic resource] :
by Weert, Tom J. van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 306 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).
|
|
4.
|
Network Control and Engineering for QoS, Security and Mobility, III
: IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain /
: [electronic resource] :
by Gaïti, Dominique [editor.] | Galmés, Sebastià [editor.] | Puigjaner, Ramon [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 348 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).
|
|
5.
|
Genetic Programming Theory and Practice II
: [electronic resource] /
by O’Reilly, Una-May [editor.] | 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, 320 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).
|
|
6.
|
Semistructured Database Design
: [electronic resource] /
by Ling, Tok Wang [author.] | Lee, Mong Li [author.] | Dobbie, Gillian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 178 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).
|
|
7.
|
Technology Enhanced Learning
: IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Courtiat, Jean-Pierre [editor.] | Davarakis, Costas [editor.] | Villemur, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 190 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).
|
|
8.
|
Formal Aspects in Security and Trust
: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 246 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).
|
|
9.
|
History of Nordic Computing
: IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norway /
: [electronic resource] :
by Bubenko, Janis [editor.] | Impagliazzo, John [editor.] | Sølvberg, Arne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 488 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).
|
|
10.
|
Architecture Description Languages
: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Dissaux, Pierre [editor.] | Filali-Amine, Mamoun [editor.] | Michel, Pierre [editor.] | Vernadat, François [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 211 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).
|
|
11.
|
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).
|
|
12.
|
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).
|
|
13.
|
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).
|
|
14.
|
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).
|
|
15.
|
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).
|
|
16.
|
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).
|
|
17.
|
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).
|
|
18.
|
New Horizons of Parallel and Distributed Computing
: [electronic resource] /
by Guo, Minyi [editor.] | Yang, Laurence Tianruo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 333 p. 136 illus. 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).
|
|
19.
|
Future Generation Grids
: Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany /
: [electronic resource] :
by Getov, Vladimir [editor.] | Laforenza, Domenico [editor.] | Reinefeld, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 308 p. 30 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Other title: Proceedings of the Workshop on Future Generation Grids November 1-5, 2004, Dagstuhl, Germany.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
20.
|
Software Configuration Management Using Vesta
: [electronic resource] /
by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 262 p. 50 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).
|