|
421.
|
Model Driven Architecture and Ontology Development
: [electronic resource] /
by Gašević, Dragan [author.] | Djurić, Dragan [author.] | Devedžić, Vladan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 312 p. 153 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).
|
|
422.
|
Grammatical Picture Generation
: A Tree-Based Approach /
: [electronic resource] :
by Drewes, Frank [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 476 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).
|
|
423.
|
Distributed Event-Based Systems
: [electronic resource] /
by Mühl, Gero [author.] | Fiege, Ludger [author.] | Pietzuch, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 388 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).
|
|
424.
|
Formal Models of Communicating Systems
: Languages, Automata, and Monadic Second-Order Logic /
: [electronic resource] :
by Bollig, Benedikt [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 181 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).
|
|
425.
|
Enterprise Ontology
: Theory and Methodology /
: [electronic resource] :
by Dietz, Jan L. G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 244 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).
|
|
426.
|
Software Engineering 2
: Specification of Systems and Languages /
: [electronic resource] :
by Bj�rner, Dines [author.1] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 780 p. 151 illus. online resource.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.
|
Software Engineering 3
: Domains, Requirements, and Software Design /
: [electronic resource] :
by Bjøner, Dines [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 768 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).
|
|
428.
|
Performance Analysis of Network Architectures
: [electronic resource] /
by Tutsch, Dietmar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 245 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).
|
|
429.
|
Embedded Robotics
: Mobile Robot Design and Applications with Embedded Systems /
: [electronic resource] :
by Br�unl, Thomas [author.1] | SpringerLink (Online service)0. Edition: Second Edition. 1Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 458 p. 233 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
430.
|
Ontologies for Software Engineering and Software Technology
: [electronic resource] /
by Calero, Coral [editor.] | Ruiz, Francisco [editor.] | Piattini, Mario [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 340 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).
|
|
431.
|
Stochastic Optimization
: [electronic resource] /
by Schneider, Johannes Josef [author.] | Kirkpatrick, Scott [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 568 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).
|
|
432.
|
High Availability and Disaster Recovery
: Concepts, Design, Implementation /
: [electronic resource] :
by Schmidt, Klaus [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 410 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).
|
|
433.
|
Comprehensive Mathematics for Computer Scientists 1
: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /
: [electronic resource] :
by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 388 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).
|
|
434.
|
Object-Oriented Metrics in Practice
: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems /
: [electronic resource] :
by Lanza, Michele [author.] | Marinescu, Radu [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 207 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).
|
|
435.
|
Ontologies for Agents: Theory and Experiences
: [electronic resource] /
by Tamma, Valentina [editor.] | Cranefield, Stephen [editor.] | Finin, Timothy W [editor.] | Willmott, Steven [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 345 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).
|
|
436.
|
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).
|
|
437.
|
ISSE 2006 — Securing Electronic Busines Processes
: Highlights of the Information Security Solutions Europe 2006 Conference /
: [electronic resource] :
by Paulus, Sachar [author.] | Pohlmann, Norbert [author.] | Reimer, Helmut [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 479 p. online resource.Publisher: Wiesbaden : Vieweg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
438.
|
Economic Analysis of Information System Investment in Banking Industry
: [electronic resource] /
by Ukai, Yasuharu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 235 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).
|
|
439.
|
The Behavior Of Structures Composed Of Composite Materials
: [electronic resource] /
by Vinson, Jack R [editor.] | Sierakowski, Robert L [editor.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 442 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).
|
|
440.
|
Springer Handbook of Experimental Solid Mechanics
: [electronic resource] /
by Sharpe, William N [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: 874 illus., 58 illus. in color. eReference. 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).
|