|
|
281.
|
Temporal Logic and State Systems
: [electronic resource] /
by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
282.
|
Objects, Components, Models and Patterns
: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
: [electronic resource] :
by Paige, Richard F [editor.] | Meyer, Bertrand [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 413 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).
|
|
|
283.
|
Software and Data Technologies
: First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
: [electronic resource] :
by Filipe, Joaquim [editor.] | Shishkov, Boris [editor.] | Helfert, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 389 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).
|
|
|
284.
|
Dissemination of Information in Optical Networks
: From Technology to Algorithms In Cooperation with Ralf Klasing /
: [electronic resource] :
by Bandyopadhyay, Subir [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 310 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: In Cooperation with Ralf Klasing.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
285.
|
Logics of Specification Languages
: [electronic resource] /
by Bjørner, Dines [editor.] | Henson, Martin C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 624 p. 69 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).
|
|
|
286.
|
Design by Evolution
: Advances in Evolutionary Design /
: [electronic resource] :
by Hingston, Philip F [editor.] | Barone, Luigi C [editor.] | Michalewicz, Zbigniew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 352 p. 146 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).
|
|
|
287.
|
Software Evolution
: [electronic resource] /
by Mens, Tom [author.] | Demeyer, Serge [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 347 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).
|
|
|
288.
|
Countering Counterfeit Trade
: Illicit Market Insights, Best-Practice Strategies, and Management Toolbox /
: [electronic resource] :
by Staake, Thorsten [author.] | Fleisch, Elgar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 232 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).
|
|
|
289.
|
Unfoldings
: A Partial-Order Approach to Model Checking /
: [electronic resource] :
by Esparza, Javier [author.] | Heljanko, Keijo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 p. 51 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).
|
|
|
290.
|
Semantic Service Provisioning
: [electronic resource] /
by Kuropka, Dominik [editor.] | Staab, Steffen [editor.] | Tröger, Peter [editor.] | Weske, Mathias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 226 p. 71 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).
|
|
|
291.
|
Information Systems and e-Business Technologies
: 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings /
: [electronic resource] :
by Kaschek, Roland [editor.] | Kop, Christian [editor.] | Steinberger, Claudia [editor.] | Fliedl, Günther [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 592 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).
|
|
|
292.
|
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).
|
|
|
293.
|
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).
|
|
|
294.
|
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).
|
|
|
295.
|
Modelling and Applications in Mathematics Education
: The 14th ICMI Study /
: [electronic resource] :
by Blum, Werner [editor.] | Galbraith, Peter L [editor.] | Henn, Hans-Wolfgang [editor.] | Niss, Mogens [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 524 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
296.
|
Collective Beings
: [electronic resource] /
by Minati, Gianfranco [author.] | Pessa, Eliano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 462 p. 26 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
297.
|
Living Off the Land in Space
: Green Roads to the Cosmos /
: [electronic resource] :
by Matloff, Gregory L [author.] | Johnson, Les [author.] | Bangs, C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 247 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).
|
|
|
298.
|
Molecular Sensors for Cardiovascular Homeostasis
: [electronic resource] /
by Wang, Donna H [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 212 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
299.
|
Engineering of Functional Skeletal Tissues
: [electronic resource] /
by Bronner, Felix [editor.] | Farach-Carson, Mary C [editor.] | Mikos, Antonios G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 178 p. 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).
|
|
|
300.
|
Intervening in the Brain
: Changing Psyche and Society /
: [electronic resource] :
by Merkel, Reinhard [author.] | Boer, G [author.] | Fegert, J [author.] | Galert, T [author.] | Hartmann, D [author.] | Nuttin, B [author.] | Rosahl, S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 536 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).
|
