Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 5 results. Subscribe to this search

|
1. New Methods of Concurrent Checking : [electronic resource] /

by G�essel, Michael [author.1] | Ocheretny, Vitaly [author.1 ] | Sogomonyan, Egor [author.1 ] | Marienfeld, Daniel [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 182 p. online resource.Dordrecht : Springer Netherlands, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2. Modeling Decisions : Information Fusion and Aggregation Operators / : [electronic resource] :

by Torra, Vicen� [author.1] | Narukawa, Yasuo [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 284 p. 55 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3. Cellular Automaton Modeling of Biological Pattern Formation : Characterization, Applications, and Analysis / : [electronic resource] :

by Deutsch, Andreas [author.] | Dormann, Sabine [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIII, 331 p. online resource.Publisher: Boston, MA : Birkh�user Boston, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

4. Supervisory Control of Concurrent Systems : A Petri Net Structural Approach / : [electronic resource] :

by Iordache, Marian V [author.] | Antsaklis, Panos J [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 286 p. 100 illus. online resource.Publisher: Boston, MA : Birkh�user Boston, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

5. Single-Cell-Based Models in Biology and Medicine : [electronic resource] /

by Anderson, Alexander R. A [editor.1] | Chaplain, Mark A. J [editor.1] | Rejniak, Katarzyna A [editor.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 349 p. online resource.Publisher: Basel : Birkh�user Basel, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha