|
|
|
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6174Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6224Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2009. Revised Selected Papers / edited by Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Philippe Lenca, Josiah Poon, Graham Williams. by Theeramunkong, Thanaruk [editor.] | Nattee, Cholwich [editor.] | Adeodato, Paulo J. L [editor.] | Chawla, Nitesh [editor.] | Christen, Peter [editor.] | Lenca, Philippe [editor.] | Poon, Josiah [editor.] | Williams, Graham [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5669Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 / edited by Tanja Zseby, Reijo Savola, Marco Pistore. by Zseby, Tanja [editor.] | Savola, Reijo [editor.] | Pistore, Marco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6152Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr. by Bringas, Pablo García [editor.] | Hameurlain, Abdelkader [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6262Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Data Engineering and Automated Learning – IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin. by Fyfe, Colin [editor.] | Tino, Peter [editor.] | Charles, Darryl [editor.] | Garcia-Osorio, Cesar [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6283Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Swarm Intelligence [electronic resource] : 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings / edited by Marco Dorigo, Mauro Birattari, Gianni A. Caro, René Doursat, Andries P. Engelbrecht, Dario Floreano, Luca Maria Gambardella, Roderich Groß, Erol Şahin, Hiroki Sayama, Thomas Stützle. by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Caro, Gianni A [editor.] | Doursat, René [editor.] | Engelbrecht, Andries P [editor.] | Floreano, Dario [editor.] | Gambardella, Luca Maria [editor.] | Groß, Roderich [editor.] | Şahin, Erol [editor.] | Sayama, Hiroki [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6234Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Neural Networks – ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III / edited by Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis. by Diamantaras, Konstantinos [editor.] | Duch, Wlodek [editor.] | Iliadis, Lazaros S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6354Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I / edited by Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad Wojciechowski. by Bolc, Leonard [editor.] | Tadeusiewicz, Ryszard [editor.] | Chmielewski, Leszek J [editor.] | Wojciechowski, Konrad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6374Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou. by Yu, Zhiwen [editor.] | Liscano, Ramiro [editor.] | Chen, Guanling [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6406Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand. by Parsons, Jeffrey [editor.] | Saeki, Motoshi [editor.] | Shoval, Peretz [editor.] | Woo, Carson [editor.] | Wand, Yair [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6412Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge Engineering and Management by the Masses [electronic resource] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings / edited by Philipp Cimiano, H. Sofia Pinto. by Cimiano, Philipp [editor.] | Pinto, H. Sofia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6317Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu. by Cai, Zhihua [editor.] | Hu, Chengyu [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6382Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Soft Computing [electronic resource] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part II / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García. by Sidorov, Grigori [editor.] | Hernández Aguirre, Arturo [editor.] | Reyes García, Carlos Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6438Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Real-World Wireless Sensor Networks [electronic resource] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings / edited by Pedro J. Marron, Thiemo Voigt, Peter Corke, Luca Mottola. by Marron, Pedro J [editor.] | Voigt, Thiemo [editor.] | Corke, Peter [editor.] | Mottola, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6511Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah. by Lu, Chenyang [editor.] | Masuzawa, Toshimitsu [editor.] | Mosbah, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6490Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. by Bosse, Tibor [editor.] | Geller, Armando [editor.] | Jonker, Catholijn M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6532Source: 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): .
|
