|
8361.
|
Soft Real-Time Systems
: Predictability vs. Efficiency /
: [electronic resource] :
by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 275 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).
|
|
8362.
|
Software Engineering Techniques Applied to Agricultural Systems
: An Object-Oriented and UML Approach /
: [electronic resource] :
by Papajorgji, Petraq J [author.] | Pardalos, Panos M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 248 p. 177 illus. 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).
|
|
8363.
|
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).
|
|
8364.
|
Curves and Surfaces for Computer Graphics
: [electronic resource] /
by Salomon, David [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 460 p. 207 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
8365.
|
Combinatorial Optimization in Communication Networks
: [electronic resource] /
by Cheng, Maggie Xiaoyan [editor.] | Li, Yingshu [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 658 p. 110 illus. 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).
|
|
8366.
|
Optical WDM Networks
: [electronic resource] /
by Mukherjee, Biswanath [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XLIV, 956 p. 353 illus. 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).
|
|
8367.
|
Hop Integrity in the Internet
: [electronic resource] /
by Huang, Chin-Tser [author.] | Gouda, Mohamed G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 112 p. 17 illus. 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).
|
|
8368.
|
Future Generation Grids
: Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany /
: [electronic resource] :
by Getov, Vladimir [editor.] | Laforenza, Domenico [editor.] | Reinefeld, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 308 p. 30 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Other title: Proceedings of the Workshop on Future Generation Grids November 1-5, 2004, Dagstuhl, Germany.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
8369.
|
Knowledge Sharing in the Integrated Enterprise
: Interoperability Strategies for the Enterprise Architect /
: [electronic resource] :
by Bernus, Peter [editor.] | Fox, Mark [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 458 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).
|
|
8370.
|
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
: IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia /
: [electronic resource] :
by Rettberg, Achim [editor.] | Bobda, Christophe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 147 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).
|
|
8371.
|
Software Configuration Management Using Vesta
: [electronic resource] /
by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 262 p. 50 illus. 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).
|
|
8372.
|
Precision Assembly Technologies for Mini and Micro Products
: Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS ’2006), 19–21 February 2006, Bad Hofgastein, Austria /
: [electronic resource] :
by Ratchev, Svetan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 336 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).
|
|
8373.
|
Intelligence in Communication Systems
: IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 Montreal, Canada, October 17–19, 2005 /
: [electronic resource] :
by Glitho, Roch [editor.] | Karmouch, Ahmed [editor.] | Pierre, Samuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 312 p. 115 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).
|
|
8374.
|
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).
|
|
8375.
|
System Modeling and Optimization
: Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy /
: [electronic resource] :
by Ceragioli, F [editor.] | Dontchev, A [editor.] | Futura, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 300 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).
|
|
8376.
|
Systems, Control, Modeling and Optimization
: Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy /
: [electronic resource] :
by Ceragioli, F [editor.] | Dontchev, A [editor.] | Furuta, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 328 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).
|
|
8377.
|
Modeling and Simulation Tools for Emerging Telecommunication Networks
: Needs, Trends, Challenges and Solutions /
: [electronic resource] :
by Nejat Ince, A [editor.] | Topuz, Ercan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 510 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).
|
|
8378.
|
Open Source Systems
: IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy /
: [electronic resource] :
by Damiani, Ernesto [editor.] | Fitzgerald, Brian [editor.] | Scacchi, Walt [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 351 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).
|
|
8379.
|
Estimation of Dependences Based on Empirical Data
: Empirical Inference Science Afterword of 2006 /
: [electronic resource] :
by Vapnik, Vladimir [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 505 p. online resource.Publisher: New York, NY : Springer New York, 2006.Other title: Afterword of 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
8380.
|
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management
: Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China /
: [electronic resource] :
by Wang, Kesheng [editor.] | Kovacs, George L [editor.] | Wozny, Michael [editor.] | Fang, Minglun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 1046 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).
|