|
2041.
|
Applications of Agent Technology in Traffic and Transportation
: [electronic resource] /
by Kl�gl, Franziska [editor.1 ] | [editor.1 ] | [editor.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 209 p. online resource.Basel : Birkh�user Basel, 2005. Availability: Items available for loan: (1).
|
|
2042.
|
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
: [electronic resource] /
by Nowak, Ivo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 213 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2043.
|
Agent-based Supply Network Event Management
: [electronic resource] /
by Zimmermann, Roland [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 329 p. online resource.Publisher: Basel : Birkh�user Basel, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2044.
|
Embedded Systems Specification and Design Languages
: Selected contributions from FDL’07 /
: [electronic resource] :
by Villar, Eugenio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 275 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).
|
|
2045.
|
Practical Aspects of Embedded System Design using Microcontrollers
: [electronic resource] /
by Parab, Jivan S [author.] | Shinde, Santosh A [author.] | Shelake, Vinod G [author.] | Kamat, Rajanish K [author.] | Naik, Gourish M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 150 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).
|
|
2046.
|
Digital VLSI Design with Verilog
: A Textbook from Silicon Valley Technical Institute /
: [electronic resource] :
by Williams, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 436 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).
|
|
2047.
|
Ingredients for Successful System Level Design Methodology
: [electronic resource] /
by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 208 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).
|
|
2048.
|
Generating Hardware Assertion Checkers
: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
: [electronic resource] :
by Boulé, Marc [author.] | Zilic, Zeljko [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 280 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).
|
|
2049.
|
Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics
: [electronic resource] /
by Sobh, Tarek [editor.] | Elleithy, Khaled [editor.] | Mahmood, Ausif [editor.] | Karim, Mohammad A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 585 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).
|
|
2050.
|
Distributed Embedded Control Systems
: Improving Dependability with Coherent Design /
: [electronic resource] :
by Colnarič, Matjaž [author.] | Verber, Domen [author.] | Halang, Wolfgang A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 250 p. 101 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).
|
|
2051.
|
Recent Advances in Evolutionary Computation for Combinatorial Optimization
: [electronic resource] /
by Cotta, Carlos [editor.] | Hemert, Jano van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 337 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).
|
|
2052.
|
Algorithms for Fuzzy Clustering
: Methods in c-Means Clustering with Applications /
: [electronic resource] :
by Miyamoto, Sadaaki [author.] | Ichihashi, Hidetomo [author.] | Honda, Katsuhiro [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 247 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).
|
|
2053.
|
Automatic Quantum Computer Programming
: A Genetic Programming Approach /
: [electronic resource] :
by Spector, Lee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 154 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).
|
|
2054.
|
Evolutionary Algorithms for Solving Multi-Objective Problems
: Second Edition /
: [electronic resource] :
by Coello, Carlos A. Coello [author.] | Lamont, Gary B [author.] | Veldhuizen, David A. Van [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 800 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).
|
|
2055.
|
Software Engineering Techniques: Design for Quality
: [electronic resource] /
by Sacha, Krzysztof [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 378 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).
|
|
2056.
|
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).
|
|
2057.
|
Genetic Programming Theory and Practice IV
: [electronic resource] /
by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 338 p. 200 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).
|
|
2058.
|
Visual Languages and Applications
: [electronic resource] /
by Zhang, Kang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 246 p. 109 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).
|
|
2059.
|
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).
|
|
2060.
|
Introduction to C++ Programming and Graphics
: [electronic resource] /
by Pozrikidis, Constantine [author.] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 372 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).
|