|
81.
|
Project E-Society: Building Bricks
: 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland /
: [electronic resource] :
by Suomi, Reima [editor.] | Cabral, Regis [editor.] | Hampe, J. Felix [editor.] | Heikkilä, Arto [editor.] | Järveläinen, Jonna [editor.] | Koskivaara, Eija [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 454 p. 88 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).
|
|
82.
|
Mathematical Morphology: 40 Years On
: Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005 /
: [electronic resource] :
by Ronse, Christian [editor.] | Najman, Laurent [editor.] | Decencière, Etienne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 490 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
83.
|
Engineering Theories of Software Intensive Systems
: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
: [electronic resource] :
by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 404 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
84.
|
INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
: [electronic resource] /
by BRAZ, JOSÉ [editor.] | ARAÚJO, HELDER [editor.] | VIEIRA, ALVES [editor.] | ENCARNAÇÃO, BRUNO [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 290 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
85.
|
Computer Vision Beyond the Visible Spectrum
: [electronic resource] /
by Bhanu, Bir [editor.] | Pavlidis, Ioannis [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 320 p. 156 illus., 5 illus. in color. 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).
|
|
86.
|
Interoperability of Enterprise Software and Applications
: [electronic resource] /
by Konstantas, Dimitri [editor.] | Bourrières, Jean-Paul [editor.] | Léonard, Michel [editor.] | Boudjlida, Nacer [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 466 p. 162 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
87.
|
Virtual Machines
: [electronic resource] /
by Craig, Iain D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 269 p. 43 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
88.
|
Concurrency Theory
: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
: [electronic resource] :
by Bowman, Howard [author.] | Gomez, Rodolfo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 422 p. 126 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
89.
|
Networked Neighbourhoods
: The Connected Community in Context /
: [electronic resource] :
by Purcell, Patrick [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 430 p. 136 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
90.
|
Transformations and Projections in Computer Graphics
: [electronic resource] /
by Salomon, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 290 p. 198 illus., 16 illus. in color. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
91.
|
Developing Ambient Intelligence
: Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06) /
: [electronic resource] :
by Maña, Antonio [author.] | Lotz, Volkmar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 160 p. online resource.Publisher: Paris : Springer Paris, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
92.
|
Form-Oriented Analysis
: A New Methodology to Model Form-Based Applications /
: [electronic resource] :
by Draheim, Dirk [author.] | Weber, Gerald [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 372 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).
|
|
93.
|
Testing Commercial-off-the-Shelf Components and Systems
: [electronic resource] /
by Beydeda, Sami [editor.] | Gruhn, Volker [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 410 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).
|
|
94.
|
Learning Design
: A Handbook on Modelling and Delivering Networked Education and Training /
: [electronic resource] :
by Koper, Rob [editor.] | Tattersall, Colin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 412 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).
|
|
95.
|
Engineering and Managing Software Requirements
: [electronic resource] /
by Aurum, Aybüke [editor.] | Wohlin, Claes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 478 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).
|
|
96.
|
Embedded Security in Cars
: Securing Current and Future Automotive IT Applications /
: [electronic resource] :
by Lemke, Kerstin [editor.] | Paar, Christof [editor.] | Wolf, Marko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 273 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).
|
|
97.
|
Model-Driven Software Development
: [electronic resource] /
by Beydeda, Sami [editor.] | Book, Matthias [editor.] | Gruhn, Volker [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 464 p. 195 illus. 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).
|
|
98.
|
New Algorithms for Macromolecular Simulation
: [electronic resource] /
by Leimkuhler, Benedict [editor.1] | Chipot, Christophe [editor.1] | Elber, Ron [editor.1] | Laaksonen, Aatto [editor.1] | Mark, Alan [editor.1] | Schlick, Tamar [editor.1] | Sch�tte, Christoph [editor.1 ] | Skeel, Robert [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 367 p. 85 illus., 8 illus. in color. 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).
|
|
99.
|
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).
|
|
100.
|
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).
|