|
901.
|
Sub-threshold Design for Ultra Low-Power Systems
: [electronic resource] /
by Wang, Alice [author.] | [author.1 ] | [author.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 209 p. online resource.Publisher: Boston, MA : Springer US, 2006.Availability: Items available for loan: (1).
|
|
902.
|
Abstraction Refinement for Large Scale Model Checking
: [electronic resource] /
by Wang, Chao [author.] | Hachtel, Gary D [author.] | Somenzi, Fabio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 179 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).
|
|
903.
|
A Practical Introduction to PSL
: [electronic resource] /
by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 240 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).
|
|
904.
|
Supervisory Control of Concurrent Systems
: A Petri Net Structural Approach /
: [electronic resource] :
by Iordache, Marian V [author.] | Antsaklis, Panos J [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 286 p. 100 illus. online resource.Publisher: Boston, MA : Birkh�user Boston, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
905.
|
Fuzzy Logic Applications in Engineering Science
: [electronic resource] /
by Harris, J [author.] | Tzafestas, S. G [editor.] | Chen, C. S [editor.] | Fokuda, T [editor.] | Harashima, F [editor.] | Schmidt, G [editor.] | Sinha, N. K [editor.] | Tabak, D [editor.] | Valavanis, K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 226 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).
|
|
906.
|
Human-Like Biomechanics
: A Unified Mathematical Approach to Human Biomechanics and Humanoid Robotics /
: [electronic resource] :
by Ivancevic, Vladimir G [author.] | Ivancevic, Tijana T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 470 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).
|
|
907.
|
Multi-Arm Cooperating Robots
: Dynamics and Control /
: [electronic resource] :
by Zivanovic, M. D [author.] | Vukobratovic, M. K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 288 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).
|
|
908.
|
Geometrical Dynamics of Complex Systems
: A Unified Modelling Approach to Physics, Control, Biomechanics, Neurodynamics and Psycho-Socio-Economical Dynamics /
: [electronic resource] :
by Ivancevic, Vladimir G [editor.] | Ivancevic, Tijana T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 824 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).
|
|
909.
|
Control Design Techniques in Power Electronics Devices
: [electronic resource] /
by Sira-Ramírez, Hebertt [author.] | Silva-Ortigoza, Ramón [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 424 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).
|
|
910.
|
Flexible AC Transmission Systems: Modelling and Control
: [electronic resource] /
by Zhang, Xiao-Ping [author.] | Rehtanz, Christian [author.] | Pal, Bikash [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 383 p. 156 illus. 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).
|
|
911.
|
Maintenance of Process Instrumentation in Nuclear Power Plants
: [electronic resource] /
by Hashemian, H. M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 304 p. 131 illus. 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).
|
|
912.
|
Pulsed Power Systems
: Principles and Applications /
: [electronic resource] :
by Bluhm, Hansjoachim [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 327 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).
|
|
913.
|
Metagraphs and Their Applications
: [electronic resource] /
by Basu, Amit [author.] | Blanning, Robert W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 172 p. 86 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).
|
|
914.
|
Representation and Control of Infinite Dimensional Systems
: [electronic resource] /
by Bensoussan, Alain [author.] | Prato, Giuseppe Da [author.] | Delfour, Michel C [author.] | Mitter, Sanjoy K [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 576 p. 5 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
915.
|
Dynamic Pricing and Automated Resource Allocation for Complex Information Services
: Reinforcement Learning and Combinatorial Auctions /
: [electronic resource] :
by Schwind, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 295 p. 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).
|
|
916.
|
Computational Techniques for Voltage Stability Assessment and Control
: [electronic resource] /
by Ajjarapu, Venkataramana [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 250 p. 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).
|
|
917.
|
Three-Phase Diode Bridge Rectifier With Low Harmonics
: Current Injection Methods /
: [electronic resource] :
by Pejovic, Predrag [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 318 p. 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).
|
|
918.
|
Routing Congestion in VLSI Circuits: Estimation and Optimization
: [electronic resource] /
by Saxena, Prashant [author.] | Shelar, Rupesh S [author.] | Sapatnekar, Sachin S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 250 p. 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).
|
|
919.
|
Modern Circuit Placement
: Best Practices and Results /
: [electronic resource] :
by Nam, Gi-Joon [editor.] | Cong, Jason [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 324 p. 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).
|
|
920.
|
Ultra-Low Voltage Nano-Scale Memories
: [electronic resource] /
by Itoh, Kiyoo [editor.] | Horiguchi, Masashi [editor.] | Tanaka, Hitoshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 346 p. 290 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).
|