|
|
61.
|
Parameterized Complexity Theory
: [electronic resource] /
by Flum, J�rg [author.1] | Grohe, Martin [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIII, 495 p. 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).
|
|
|
62.
|
Nanotechnology: Science and Computation
: [electronic resource] /
by Chen, Junghuei [editor.] | Jonoska, Nataša [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 393 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).
|
|
|
63.
|
Fundamentals of Algebraic Graph Transformation
: [electronic resource] /
by Ehrig, Hartmut [author.] | Ehrig, Karsten [author.] | Prange, Ulrike [author.] | Taentzer, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 390 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).
|
|
|
64.
|
Biologically Inspired Algorithms for Financial Modelling
: [electronic resource] /
by Brabazon, Anthony [author.] | O’Neill, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 277 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).
|
|
|
65.
|
Experimental Research in Evolutionary Computation
: The New Experimentalism /
: [electronic resource] :
by Bartz-Beielstein, Thomas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 215 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).
|
|
|
66.
|
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).
|
|
|
67.
|
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).
|
|
|
68.
|
Concurrent Zero-Knowledge
: With Additional Background by Oded Goldreich /
: [electronic resource] :
by Rosen, Alon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 184 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).
|
|
|
69.
|
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).
|
|
|
70.
|
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).
|
|
|
71.
|
Interactive Computation
: The New Paradigm /
: [electronic resource] :
by Goldin, Dina [editor.] | Smolka, Scott A [editor.] | Wegner, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 487 p. 84 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).
|
|
|
72.
|
Organizational Principles for Multi-Agent Architectures
: [electronic resource] /
by Aart, Chris van [author.] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 204 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).
|
|
|
73.
|
Information Theory and Network Coding
: [electronic resource] /
by Yeung, Raymond W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 580 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).
|
|
|
74.
|
Robustness and Usability in Modern Design Flows
: [electronic resource] /
by Fey, Görschwin [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 166 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).
|
|
|
75.
|
Generating Hardware Assertion Checkers
: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
: [electronic resource] :
by Boulé, Marc [author.] | Zilic, Zeljko [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 280 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).
|
|
|
76.
|
Autonomous Systems – Self-Organization, Management, and Control
: Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 /
: [electronic resource] :
by Mahr, Bernd [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 183 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).
|
|
|
77.
|
Dependability Modelling under Uncertainty
: An Imprecise Probabilistic Approach /
: [electronic resource] :
by Limbourg, Philipp [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 140 p. 68 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).
|
|
|
78.
|
Fuzzy Sets and Their Extensions: Representation, Aggregation and Models
: [electronic resource] /
by Bustince, Humberto [editor.] | Herrera, Francisco [editor.] | Montero, Javier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 674 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).
|
|
|
79.
|
Computer and Information Science
: [electronic resource] /
by Lee, Roger [editor.] | Kim, Haeng-Kon [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 284 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).
|
|
|
80.
|
The Puzzle of Granular Computing
: [electronic resource] /
by Apolloni, Bruno [author.] | Pedrycz, Witold [author.] | Bassis, Simone [author.] | Malchiodi, Dario [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 495 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).
|
