|
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson. by Calinescu, Radu [editor.] | Jackson, Ethan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6662Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi. by Frasconi, Paolo [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6489Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings / edited by Tobias Achterberg, J. Christopher Beck. by Achterberg, Tobias [editor.] | Beck, J. Christopher [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6697Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Artificial Life. Darwin Meets von Neumann [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part II / edited by George Kampis, István Karsai, Eörs Szathmáry. by Kampis, George [editor.] | Karsai, István [editor.] | Szathmáry, Eörs [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5778Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
New Challenges on Bioinspired Applications [electronic resource] : 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. by Ferrández, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6687Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg. by Calude, Cristian S [editor.] | Kari, Jarkko [editor.] | Petre, Ion [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6714Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. by Ferrández, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6686Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. by Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6680Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multidisciplinary Information Retrieval [electronic resource] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings / edited by Allan Hanbury, Andreas Rauber, Arjen P. Vries. by Hanbury, Allan [editor.] | Rauber, Andreas [editor.] | Vries, Arjen P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6653Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multidisciplinary Aspects of Time and Time Perception [electronic resource] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers / edited by Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis. by Vatakis, Argiro [editor.] | Esposito, Anna [editor.] | Giagkou, Maria [editor.] | Cummins, Fred [editor.] | Papadelis, Georgios [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6789Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya. by Cabestany, Joan [editor.] | Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6692Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya. by Cabestany, Joan [editor.] | Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6691Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Chai, Yi [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6728Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Chai, Yi [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6729Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Toward Useful Services for Elderly and People with Disabilities [electronic resource] : 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011. Proceedings / edited by Bessam Abdulrazak, Sylvain Giroux, Bruno Bouchard, Hélène Pigot, Mounir Mokhtari. by Abdulrazak, Bessam [editor.] | Giroux, Sylvain [editor.] | Bouchard, Bruno [editor.] | Pigot, Hélène [editor.] | Mokhtari, Mounir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6719Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Autonomous and Intelligent Systems [electronic resource] : Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings / edited by Mohamed Kamel, Fakhri Karray, Wail Gueaieb, Alaa Khamis. by Kamel, Mohamed [editor.] | Karray, Fakhri [editor.] | Gueaieb, Wail [editor.] | Khamis, Alaa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6752Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Transactions on Rough Sets XIV [electronic resource] / edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu. by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Sakai, Hiroshi [editor.] | Chakraborty, Mihir Kumar [editor.] | Slezak, Dominik [editor.] | Hassanien, Aboul Ella [editor.] | Zhu, William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6600Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Self-Organizing Maps [electronic resource] : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings / edited by Jorma Laaksonen, Timo Honkela. by Laaksonen, Jorma [editor.] | Honkela, Timo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6731Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon. by Sakallah, Karem A [editor.] | Simon, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6695Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
