|
421.
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques
: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
: [electronic resource] :
by Huang, De-Shuang [editor.] | Wunsch, Donald C [editor.] | Levine, Daniel S [editor.] | Jo, Kang-Hyun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 559 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
422.
|
Leveraging Applications of Formal Methods, Verification and Validation
: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
: [electronic resource] :
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 869 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).
|
|
423.
|
Computer Vision and Computer Graphics. Theory and Applications
: International Conference VISIGRAPP 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers /
: [electronic resource] :
by Braz, José [editor.] | Ranchordas, Alpesh [editor.] | Araújo, Hélder J [editor.] | Pereira, João Madeiras [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 259 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
424.
|
Contributions to Simulation Speed-Up
: Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning /
: [electronic resource] :
by Lamers, Eugen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 148 p. online resource.Publisher: Wiesbaden : Vieweg+Teubner, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
425.
|
The Statistics of Gene Mapping
: [electronic resource] /
by Siegmund, David [author.] | Yakir, Benjamin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 334 p. 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).
|
|
426.
|
Lattice Boltzmann Modeling
: An Introduction for Geoscientists and Engineers /
: [electronic resource] :
by Sukop, Michael C [author.] | Thorne, Daniel T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 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).
|
|
427.
|
Univariate Time Series in Geosciences
: Theory and Examples /
: [electronic resource] :
by Gilgen, Hans [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 718 p. 220 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).
|
|
428.
|
Simulation Approaches in Transportation Analysis
: Recent Advances and Challenges /
: [electronic resource] :
by Kitamura, Ryuichi [editor.] | Kuwahara, Maso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 399 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).
|
|
429.
|
Agent-Based Computational Modelling
: Applications in Demography, Social, Economic and Environmental Sciences /
: [electronic resource] :
by Billari, Francesco C [editor.] | Fent, Thomas [editor.] | Prskawetz, Alexia [editor.] | Scheffran, Jürgen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 226 p. 95 illus. online resource.Publisher: Heidelberg : Physica-Verlag HD, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
430.
|
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications
: Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 /
: [electronic resource] :
by Terano, Takao [editor.] | Kita, Hajime [editor.] | Kaneda, Toshiyuki [editor.] | Arai, Kiyoshi [editor.] | Deguchi, Hiroshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 250 p. online resource.Publisher: Tokyo : Springer Tokyo, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
431.
|
High Resolution Numerical Modelling of the Atmosphere and Ocean
: [electronic resource] /
by Hamilton, Kevin [editor.] | Ohfuchi, Wataru [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 293 p. online resource.Publisher: New York, NY : Springer New York, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
432.
|
Information Fusion and Geographic Information Systems
: Proceedings of the Third International Workshop /
: [electronic resource] :
by Popovich, Vasily V [editor.] | Schrenk, Manfred [editor.] | Korolenko, Kyrill V [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 335 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).
|
|
433.
|
Cellular Automaton Modeling of Biological Pattern Formation
: Characterization, Applications, and Analysis /
: [electronic resource] :
by Deutsch, Andreas [author.] | Dormann, Sabine [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 331 p. online resource.Publisher: Boston, MA : Birkh�user Boston, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
434.
|
Missing Data and Small-Area Estimation
: Modern Analytical Equipment for the Survey Statistician /
: [electronic resource] :
by Longford, Nicholas T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 360 p. 45 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).
|
|
435.
|
Advances in Multiresolution for Geometric Modelling
: [electronic resource] /
by Dodgson, Neil A [editor.] | Floater, Michael S [editor.] | Sabin, Malcolm A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 436 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).
|
|
436.
|
Computer Simulation Studies in Condensed-Matter Physics XVIII
: Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 /
: [electronic resource] :
by Landau, David P [editor.] | Lewis, Steven P [editor.] | Schüttler, Heinz-Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 173 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).
|
|
437.
|
ARIS Design Platform
: Getting Started with BPM /
: [electronic resource] :
by Davis, Rob [author.] | Brabänder, Eric [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 364 p. 188 illus. 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).
|
|
438.
|
ARIS Design Platform
: Advanced Process Modelling and Administration /
: [electronic resource] :
by Davis, Rob [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 408 p. 219 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).
|
|
439.
|
Mixed-Signal Layout Generation Concepts
: [electronic resource] /
by Lin, Chieh [author.] | Roermund, Arthur H. M. van [author.] | Leenaerts, Domine M. W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: 210 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).
|
|
440.
|
Advances in Design and Specification Languages for SoCs
: Selected Contributions from FDL’04 /
: [electronic resource] :
by Boulet, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 305 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).
|