|
|
221.
|
MASS STORAGE SYSTEMS Description: xi,135.Publisher: Ieee Computer Society Press, Los Alamitos c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.5 IE2M] (1).
|
|
|
222.
|
SOFTWARE DEVELOPMENT METHODOLOGIES FOR DISTRIBUTED SYSTEMS
by Zhiying,Zhou | | Tilley,Scott | . Description: viii,178.Publisher: Tsinghua Univ. Pr., Beijing 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 IN8S] (1).
|
|
|
223.
|
Global software engineering: ICGSE 2008
: proceedings...
by 3rd IEEE International Conference on Global Software Engineering Bangalore, India 2008. Material type:  Article Description: xvi, 278p.Publisher: Los Alamitos Conference Publishing Services, Ieee Computer Society 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 In7g] (1).
|
|
|
224.
|
Foundations of software technology and theoretical computer science (FSTTCS 2008)
: proceedings...
by 28th International Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore 2008 | Hariharan, Ramesh, Ed | Mukund, Madhavan, Ed | Vinay, V., Ed. Material type: Article Description: x, 422p.Publisher: Bangalore Indian Association For Research In Computing Science(Iarcs) 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 In8f] (1).
|
|
|
225.
|
Software system design methods
: the challenge of advanced computing technology
by Skwirzynski, Jozef K [ed.]. Description: xiii,747p.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 N214s] (1).
|
|
|
226.
|
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).
|
|
|
227.
|
Computational Intelligence in Fault Diagnosis
: [electronic resource] /
by Palade, Vasile [editor.] | Jain, Lakhmi [editor.] | Bocaniala, Cosmin Danut [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 362 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
228.
|
Autonomous Systems – Self-Organization, Management, and Control
: Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 /
: [electronic resource] :
by Mahr, Bernd [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 183 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).
|
|
|
229.
|
MATLAB Guide to Finite Elements
: An Interactive Approach /
: [electronic resource] :
by Kattan, Peter I [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 429 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).
|
|
|
230.
|
Software Verification and Validation
: An Engineering and Scientific Approach /
: [electronic resource] :
by Fisher, Marcus S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 172 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
231.
|
More Math Into Latex
: 4th Edition /
: [electronic resource] :
by Grätzer, George [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 620 p. 44 illus. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
232.
|
Responsibility and Dependable Systems
: [electronic resource] /
by Dewsbury, Guy [editor.] | Dobson, John [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 229 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
233.
|
Guerrilla Capacity Planning
: A Tactical Approach to Planning for Highly Scalable Applications and Services /
: [electronic resource] :
by Gunther, Neil J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 253 p. 108 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).
|
|
|
234.
|
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).
|
|
|
235.
|
Performance Modeling and Engineering
: [electronic resource] /
by Liu, Zhen [editor.] | Xia, Cathy H [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 219 p. 49 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).
|
|
|
236.
|
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).
|
|
|
237.
|
Using SPSS For Windows
: Data Analysis and Graphics /
: [electronic resource] :
by Gerber, Susan B [author.] | Finn, Kristin Voelkl [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 228 p. 95 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).
|
|
|
238.
|
The Basics of S-PLUS
: [electronic resource] /
by Krause, Andreas [author.] | Olson, Melvin [author.] | SpringerLink (Online service). Edition: Fourth Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 444 p. 31 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).
|
|
|
239.
|
Design of Adaptive Finite Element Software
: The Finite Element Toolbox ALBERTA.
: [electronic resource] :
by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 315 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
240.
|
Getting Started with MuPAD
: [electronic resource] /
by Majewski, Miroslaw [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 263 p. 138 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
