|
5021.
|
Optimal networked control systems with MATLAB
by Sarangapani, Jagannathan | Xu, Hao. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 335p.Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.86553 Sa71o] (1).
|
|
5022.
|
Advanced computational nanomechanics
by Silvestre, Nuno [ed.]. Description: xviii, 307p.Publisher: Chichester John Wiley & Sons 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.5 Ad95] (1).
|
|
5023.
|
Analytic hierarchy process :
: planning, priority setting, resource allocation /
by Saaty, Thomas L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 287 p.Publisher: New York ; London : McGraw-Hill International Book Co., c1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.83018 Sa12a] (1).
|
|
5024.
|
Electromagnetic waves in complex systems
: selected theoretical and applied problems
by Sirenko, Yuriy [ed.] | Velychko, Lyudmyla [ed.]. Description: xiii, 446p.Publisher: Switzerland Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.141 El25] (1).
|
|
5025.
|
Quantum field theory : the why, what and how
by Padmanabhan, Thanu. Description: xvii, 283p.Publisher: New York Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.143 P136q] (1).
|
|
5026.
|
QoS in Packet Networks
: [electronic resource] /
by Park, Kun I [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 243 p. 164 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).
|
|
5027.
|
System Modeling and Optimization
: Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, France /
: [electronic resource] :
by Cagnol, John [editor.] | Zolésio, Jean-Paul [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 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).
|
|
5028.
|
The Next Wave in Computing, Optimization, and Decision Technologies
: [electronic resource] /
by Golden, Bruce [editor.] | Raghavan, S [editor.] | Wasil, Edward [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 396 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).
|
|
5029.
|
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).
|
|
5030.
|
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).
|
|
5031.
|
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).
|
|
5032.
|
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).
|
|
5033.
|
Handbook of Mathematical Models in Computer Vision
: [electronic resource] /
by Paragios, Nikos [editor.] | Chen, Yunmei [editor.] | Faugeras, Olivier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 606 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).
|
|
5034.
|
Computation Engineering
: Applied Automata Theory and Logic /
: [electronic resource] :
by Gopalakrishnan, Ganesh [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 472 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).
|
|
5035.
|
Machine Learning in Computer Vision
: [electronic resource] /
by Sebe, N [author.] | Cohen, Ira [author.] | Garg, Ashutosh [author.] | Huang, Thomas S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 242 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).
|
|
5036.
|
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).
|
|
5037.
|
Uncertainty, Rationality, and Agency
: [electronic resource] /
by Hoek, Wiebe van der [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 350 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
5038.
|
Positive Operators
: [electronic resource] /
by Aliprantis, Charalambos D [author.] | Burkinshaw, Owen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 376 p. online resource.Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
5039.
|
Biomimicry for Optimization, Control, and Automation
: [electronic resource] /
by Passino, Kevin M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXI, 926 p. 365 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).
|
|
5040.
|
Constructing Correct Software
: [electronic resource] /
by Cooke, John [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 509 p. 100 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).
|