|
|
|
|
Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5832Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Vision Systems [electronic resource] : 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings / edited by Mario Fritz, Bernt Schiele, Justus H. Piater. by Fritz, Mario [editor.] | Schiele, Bernt [editor.] | Piater, Justus H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5815Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings / edited by Luís Seabra Lopes, Nuno Lau, Pedro Mariano, Luís M. Rocha. by Lopes, Luís Seabra [editor.] | Lau, Nuno [editor.] | Mariano, Pedro [editor.] | Rocha, Luís M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5816Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5779Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 11th International Conference, ACIVS 2009, Bordeaux, France, September 28–October 2, 2009. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders. by Blanc-Talon, Jacques [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5807Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings / edited by Francesca D. Ciccarelli, István Miklós. by Ciccarelli, Francesca D [editor.] | Miklós, István [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5817Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 / edited by João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel B. Brazdil. by Gama, João [editor.] | Costa, Vítor Santos [editor.] | Jorge, Alípio Mário [editor.] | Brazdil, Pavel B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5808Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Visioning and Engineering the Knowledge Society. A Web Science Perspective [electronic resource] : Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings / edited by Miltiadis D. Lytras, Ernesto Damiani, John M. Carroll, Robert D. Tennyson, David Avison, Ambjörn Naeve, Adrian Dale, Paul Lefrere, Felix Tan, Janice Sipior, Gottfried Vossen. by Lytras, Miltiadis D [editor.] | Damiani, Ernesto [editor.] | Carroll, John M [editor.] | Tennyson, Robert D [editor.] | Avison, David [editor.] | Naeve, Ambjörn [editor.] | Dale, Adrian [editor.] | Lefrere, Paul [editor.] | Tan, Felix [editor.] | Sipior, Janice [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5736Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn. by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5799Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Identity and Privacy in the Internet Age [electronic resource] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings / edited by Audun Jøsang, Torleiv Maseng, Svein Johan Knapskog. by Jøsang, Audun [editor.] | Maseng, Torleiv [editor.] | Knapskog, Svein Johan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5838Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Retrieval Technology [electronic resource] : 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings / edited by Gary Geunbae Lee, Dawei Song, Chin-Yew Lin, Akiko Aizawa, Kazuko Kuriyama, Masaharu Yoshioka, Tetsuya Sakai. by Lee, Gary Geunbae [editor.] | Song, Dawei [editor.] | Lin, Chin-Yew [editor.] | Aizawa, Akiko [editor.] | Kuriyama, Kazuko [editor.] | Yoshioka, Masaharu [editor.] | Sakai, Tetsuya [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2009 [electronic resource] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5717Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Inuiguchi, Masahiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5861Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira. by Laender, Alberto H. F [editor.] | Castano, Silvana [editor.] | Dayal, Umeshwar [editor.] | Casati, Fabio [editor.] | Oliveira, José Palazzo M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5829Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. by Cai, Zhihua [editor.] | Li, Zhenhua [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5821Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Active Media Technology [electronic resource] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings / edited by Jiming Liu, Jinglong Wu, Yiyu Yao, Toyoaki Nishida. by Liu, Jiming [editor.] | Wu, Jinglong [editor.] | Yao, Yiyu [editor.] | Nishida, Toyoaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5820Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
