|
1.
|
Quantitative Measure for Discrete Event Supervisory Control
: [electronic resource] /
by Ray, Asok [editor.] | Phoha, Vir V [editor.] | Phoha, Shashi P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 264 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).
|
|
2.
|
Foundations of Generic Optimization
: Volume 1: A Combinatorial Approach to Epistasis /
: [electronic resource] :
by Iglesias, M [author.] | Naudts, B [author.] | Verschoren, A [author.] | Vidal, C [author.] | Lowen, R [editor.] | Verschoren, A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 298 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3.
|
Validated Designs for Object-oriented Systems
: [electronic resource] /
by Fitzgerald, John [author.] | Larsen, Peter Gorm [author.] | Mukherjee, Paul [author.] | Plat, Nico [author.] | Verhoef, Marcel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 404 p. 65 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
4.
|
Grey Information
: Theory and Practical Applications /
: [electronic resource] :
by Liu, Sifeng [author.] | Lin, Yi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 508 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).
|
|
5.
|
Mathematical Approaches to Software Quality
: [electronic resource] /
by O'Regan, Gerard [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 232 p. 52 illus. 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).
|
|
6.
|
Discrete Mathematics Using a Computer
: [electronic resource] /
by O’Donnell, John [author.] | Hall, Cordelia [author.] | Page, Rex [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 441 p. 68 illus. 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).
|
|
7.
|
Comprehensive Mathematics for Computer Scientists 2
: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
: [electronic resource] :
by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 355 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).
|
|
8.
|
Design and Analysis of Randomized Algorithms
: Introduction to Design Paradigms /
: [electronic resource] :
by HromkoviČ, Juraj [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 277 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
9.
|
Comprehensive Mathematics for Computer Scientists 1
: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /
: [electronic resource] :
by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 388 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).
|
|
10.
|
Introduction to Discrete Event Systems
: [electronic resource] /
by Cassandras, Christos G [editor.1] | Lafortune, St�phane [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 772 p. online resource.Boston, MA : Springer US, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
11.
|
Stochastic Learning and Optimization
: A Sensitivity-Based Approach /
: [electronic resource] :
by Cao, Xi-Ren [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 566 p. 119 illus. With 212 Problems. 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).
|
|
12.
|
Formal Models of Operating System Kernels
: [electronic resource] /
by Craig, Iain D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 333 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).
|
|
13.
|
Sets, Logic and Maths for Computing
: [electronic resource] /
by Makinson, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 302 p. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
14.
|
The Algorithm Design Manual
: [electronic resource] /
by Skiena, Steven S [author.] | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 730 p. 115 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).
|
|
15.
|
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).
|
|
16.
|
Line Drawing Interpretation
: [electronic resource] /
by Cooper, Martin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 262 p. 158 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).
|
|
17.
|
Knowledge Processing with Interval and Soft Computing
: [electronic resource] /
by Kreinovich, Vladik [editor.] | Korvin, Andre [editor.] | Baker Kearfott, R [editor.] | Hu, Chenyi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 233 p. 61 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).
|
|
18.
|
Adaptive Scalarization Methods in Multiobjective Optimization
: [electronic resource] /
by Eichfelder, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 241 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).
|
|
19.
|
A Geometry of Approximation
: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
: [electronic resource] :
by Pagliani, Piero [editor.] | Chakraborty, Mihir [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LXXXII, 704 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).
|
|
20.
|
Tutorials on Emerging Methodologies and Applications in Operations Research
: Presented at Informs 2004, Denver, CO /
: [electronic resource] :
by G, H J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 342 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).
|