|
181.
|
Advances in Verification of Time Petri Nets and Timed Automata
: A Temporal Logic Approach /
: [electronic resource] :
by Penczek, Wojciech [author.] | Pólrola, Agata [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 257 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).
|
|
182.
|
Multi-Objective Machine Learning
: [electronic resource] /
by Jin, Yaochu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 660 p. 254 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).
|
|
183.
|
Adaptive and Personalized Semantic Web
: [electronic resource] /
by Sirmakessis, Spiros [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 105 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).
|
|
184.
|
Complex-Valued Neural Networks
: [electronic resource] /
by Hirose, Akira [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 176 p. 70 illus., 3 illus. in color. 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).
|
|
185.
|
Parallel and Distributed Logic Programming
: Towards the Design of a Framework for the Next Generation Database Machines /
: [electronic resource] :
by Bhattacharya, Alakananda [author.] | Konar, Amit [author.] | Mandal, Ajit K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 291 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).
|
|
186.
|
Recent Advances in Formal Languages and Applications
: [electronic resource] /
by Esik, Zoltán [editor.] | Martín-Vide, Carlos [editor.] | Mitrana, Victor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 373 p. 122 illus., 11 illus. in color. 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).
|
|
187.
|
Swarm Intelligent Systems
: [electronic resource] /
by Nedjah, Nadia [editor.] | Mourelle, Luiza de Macedo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 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).
|
|
188.
|
Advances in Web Intelligence and Data Mining
: [electronic resource] /
by Last, Mark [editor.] | Szczepaniak, Piotr S [editor.] | Volkovich, Zeev [editor.] | Kandel, Abraham [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 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).
|
|
189.
|
Introduction to Data Mining and its Applications
: [electronic resource] /
by Sumathi, S [author.] | Sivanandam, S. N [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 828 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).
|
|
190.
|
Chance Discoveries in Real World Decision Making
: Data-based Interaction of Human Intelligence and Artificial Intelligence /
: [electronic resource] :
by Ohsawa, Yukio [editor.] | Tsumoto, Shusaku [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 404 p. 161 illus., 17 illus. in color. 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).
|
|
191.
|
Stigmergic Optimization
: [electronic resource] /
by Ajith, Abraham [author.] | Crina, Grosan [author.] | Vitorino, Ramos [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 299 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).
|
|
192.
|
Scalable Optimization via Probabilistic Modeling
: [electronic resource] /
by Pelikan, Martin [editor.1] | Sastry, Kumara [editor.1] | Cant�Paz, Erick [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 349 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).
|
|
193.
|
Swarm Intelligence in Data Mining
: [electronic resource] /
by Abraham, Ajith [editor.] | Grosan, Crina [editor.] | Ramos, Vitorino [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 268 p. 91 illus., 5 illus. in color. 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).
|
|
194.
|
Trends in Neural Computation
: [electronic resource] /
by Chen, Ke [editor.] | Wang, Lipo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 512 p. 159 illus., 18 illus. in color. 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).
|
|
195.
|
Perception-based Data Mining and Decision Making in Economics and Finance
: [electronic resource] /
by Batyrshin, Ildar [editor.] | Kacprzyk, Janusz [editor.] | Sheremetov, Leonid [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 367 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).
|
|
196.
|
Dynamic Programming
: A Computational Tool /
: [electronic resource] :
by Art, Lew [author.] | Mauch, Holger [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 379 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).
|
|
197.
|
E-Service Intelligence
: Methodologies, Technologies and Applications /
: [electronic resource] :
by Lu, Jie [editor.] | Zhang, Guangquan [editor.] | Ruan, Da [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 711 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).
|
|
198.
|
Computational Intelligence in Reliability Engineering
: Evolutionary Techniques in Reliability Analysis and Optimization /
: [electronic resource] :
by Levitin, Gregory [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 398 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).
|
|
199.
|
Computational Intelligence in Reliability Engineering
: New Metaheuristics, Neural and Fuzzy Techniques in Reliability /
: [electronic resource] :
by Levitin, Gregory [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 413 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).
|
|
200.
|
Artificial Neural Networks in Vehicular Pollution Modelling
: [electronic resource] /
by Khare, Mukesh [author.] | Nagendra, S. M. Shiva [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 242 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).
|