|
301.
|
Toward Artificial Sapience
: Principles and Methods for Wise Systems /
: [electronic resource] :
by Mayorga, Rene V [editor.] | Perlovsky, Leonid I [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 239 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).
|
|
302.
|
Value-Range Analysis of C Programs
: Towards Proving the Absence of Buffer Overflow Vulnerabilities /
: [electronic resource] :
by Simon, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 302 p. 119 illus. 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).
|
|
303.
|
Guide to Advanced Empirical Software Engineering
: [electronic resource] /
by Shull, Forrest [editor.] | Singer, Janice [editor.] | Sjøberg, Dag I. K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 388 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).
|
|
304.
|
A Brief History of Computing
: [electronic resource] /
by O’Regan, Gerard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 252 p. 72 illus. 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).
|
|
305.
|
Human Ear Recognition by Computer
: [electronic resource] /
by Bhanu, Bir [author.] | Chen, Hui [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 206 p. 85 illus. 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).
|
|
306.
|
Mathematical Tools for Data Mining
: Set Theory, Partial Orders, Combinatorics /
: [electronic resource] :
by Simovici, Dan A [author.] | Djeraba, Chabane [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 615 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).
|
|
307.
|
The IT Measurement Compendium
: Estimating and Benchmarking Success with Functional Size Measurement /
: [electronic resource] :
by Bundschuh, Manfred [author.] | Dekkers, Carol [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 644 p. 134 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).
|
|
308.
|
Agile Processes in Software Engineering and Extreme Programming
: 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /
: [electronic resource] :
by Abrahamsson, Pekka [editor.] | Baskerville, Richard [editor.] | Conboy, Kieran [editor.] | Fitzgerald, Brian [editor.] | Morgan, Lorraine [editor.] | Wang, Xiaofeng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 258 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).
|
|
309.
|
Requirements Management
: The Interface Between Requirements Development and All Other Systems Engineering Processes /
: [electronic resource] :
by Hood, Colin [author.] | Wiedemann, Simon [author.] | Fichtinger, Stefan [author.] | Pautz, Urte [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 275 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).
|
|
310.
|
Global E-Security
: 4th International Conference, ICGeS 2008, London, UK, June 23-25, 2008. Proceedings /
: [electronic resource] :
by Jahankhani, Hamid [editor.] | Revett, Kenneth [editor.] | Palmer-Brown, Dominic [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 310 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).
|
|
311.
|
Objects, Components, Models and Patterns
: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
: [electronic resource] :
by Paige, Richard F [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 413 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).
|
|
312.
|
Model-Driven Testing
: [electronic resource] /
by Baker, Paul [author.] | Dai, Zhen Ru [author.] | Grabowski, Jens [author.] | Haugen, Øystein [author.] | Schieferdecker, Ina [author.] | Williams, Clay [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 184 p. 94 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).
|
|
313.
|
Mobility, Data Mining and Privacy
: Geographic Knowledge Discovery /
: [electronic resource] :
by Giannotti, Fosca [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 410 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).
|
|
314.
|
Software Evolution
: [electronic resource] /
by Mens, Tom [author.] | Demeyer, Serge [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 347 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
315.
|
Rationale-Based Software Engineering
: [electronic resource] /
by Burge, Janet E [author.] | Carroll, John M [author.1] | McCall, Raymond [author.1] | Mistrik, Ivan [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXV, 316 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).
|
|
316.
|
The Modern Algebra of Information Retrieval
: [electronic resource] /
by Dominich, S�ndor [author.1] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 330 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
317.
|
Algorithms and Data Structures
: The Basic Toolbox /
: [electronic resource] :
by Mehlhorn, Kurt [author.] | Sanders, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 300 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).
|
|
318.
|
VizSEC 2007
: Proceedings of the Workshop on Visualization for Computer Security /
: [electronic resource] :
by Goodall, John R [editor.] | Conti, Gregory [editor.] | Ma, Kwan-Liu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 273 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).
|
|
319.
|
TestGoal
: Result-Driven Testing /
: [electronic resource] :
by De Grood, Derk-Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 397 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).
|
|
320.
|
Active Knowledge Modeling of Enterprises
: [electronic resource] /
by Lillehagen, Frank [author.] | Krogstie, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 436 p. 148 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).
|