|
|
261.
|
Active Knowledge Modeling of Enterprises
: [electronic resource] /
by Lillehagen, Frank [author.] | Krogstie, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XX, 436 p. 148 illus. 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).
|
|
|
262.
|
Software Process Improvement
: 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
: [electronic resource] :
by O’Connor, Rory V [editor.] | Baddoo, Nathan [editor.] | Smolander, Kari [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 213 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).
|
|
|
263.
|
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).
|
|
|
264.
|
Systems and Virtualization Management. Standards and New Technologies
: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings /
: [electronic resource] :
by Boursas, Latifa [editor.] | Carlson, Mark [editor.] | Hommel, Wolfgang [editor.] | Sibilla, Michelle [editor.] | Wold, Kes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 135 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
265.
|
Metrics for Process Models
: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness /
: [electronic resource] :
by Mendling, Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 194 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).
|
|
|
266.
|
Issues in Multi-Agent Systems
: The AgentCities.ES Experience /
: [electronic resource] :
by Moreno, Antonio [editor.1 ] | Pav�n, Juan [editor.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 229 p. online resource.Basel : Birkh�user Basel, 2008. Availability: Items available for loan: (1).
|
|
|
267.
|
Advanced Autonomic Networking and Communication
: [electronic resource] /
by Calisti, Monique [editor.1] | Meer, Sven van der [editor.1] | Strassner, John [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 190 p. online resource.Publisher: Basel : Birkh�user Basel, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
268.
|
Optic Nerve Disorders
: Diagnosis and Management /
: [electronic resource] :
by Chan, Jane W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 284 p. 62 illus., 47 illus. in color. 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).
|
|
|
269.
|
Enterprise Architecture at Work
: Modelling, Communication, and Analysis /
: [electronic resource] :
by Lankhorst, Marc [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 334 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).
|
|
|
270.
|
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).
|
|
|
271.
|
Open Source Approaches in Spatial Data Handling
: [electronic resource] /
by Hall, G. Brent [editor.] | Leahy, Michael G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 278 p. 126 illus., 29 illus. in color. 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).
|
|
|
272.
|
Developing Statistical Software in Fortran 95
: [electronic resource] /
by Lemmon, David R [author.] | Schafer, Joseph L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 324 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).
|
|
|
273.
|
Domain Decomposition Methods — Algorithms and Theory
: [electronic resource] /
by Toselli, Andrea [author.] | Widlund, Olof B [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 450 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
274.
|
Design of Adaptive Finite Element Software
: The Finite Element Toolbox ALBERTA.
: [electronic resource] :
by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 315 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).
|
|
|
275.
|
Service Science, Management and Engineering Education for the 21st Century
: [electronic resource] /
by Hefley, Bill [editor.] | Murphy, Wendy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 384 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
276.
|
The Making of Information Systems
: Software Engineering and Management in a Globalized World /
: [electronic resource] :
by Kurbel, Karl E [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 591 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).
|
|
|
277.
|
UML for SOC Design
: [electronic resource] /
by Martin, Grant [editor.1] | M�ller, Wolfgang [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 272 p. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
278.
|
System Level Design of Reconfigurable Systems-on-Chip
: [electronic resource] /
by Voros, Nikolaos S [editor.] | Masselos, Konstantinos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: 231 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).
|
|
|
279.
|
New Algorithms, Architectures and Applications for Reconfigurable Computing
: [electronic resource] /
by Lysaght, Patrick [editor.] | Rosenstiel, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 314 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).
|
|
|
280.
|
Interconnect-Centric Design for Advanced SoC and NoC
: [electronic resource] /
by Nurmi, Jari [editor.] | Tenhunen, Hannu [editor.] | Isoaho, Jouni [editor.] | Jantsch, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 454 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).
|
