|
|
|
|
Text, Speech and Dialogue [electronic resource] : 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings / edited by Václav Matoušek, Pavel Mautner, Tomáš Pavelka. by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | Pavelka, Tomáš [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3658Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink. by Aßmann, Uwe [editor.] | Aksit, Mehmet [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3599Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham. by Hurd, Joe [editor.] | Melham, Tom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3603Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Wu, Zhaohui [editor.] | Chen, Chun [editor.] | Guo, Minyi [editor.] | Bu, Jiajun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3605Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II / edited by Dominik Ślęzak, JingTao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu. by Ślęzak, Dominik [editor.] | Yao, JingTao [editor.] | Peters, James F [editor.] | Ziarko, Wojciech [editor.] | Hu, Xiaohua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3642Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / edited by Dominik Ślęzak, Guoyin Wang, Marcin Szczuka, Ivo Düntsch, Yiyu Yao. by Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | Szczuka, Marcin [editor.] | Düntsch, Ivo [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta [editor.] | Greco, Gianluigi [editor.] | Leone, Nicola [editor.] | Terracina, Giorgio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3662Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Yaochu Jin. by Wang, Lipo [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3614Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, 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 ; 3643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Yaochu Jin. by Wang, Lipo [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3613Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings / edited by Vladimír Mařík, Robert Brennan, Michal Pěchouček. by Mařík, Vladimír [editor.] | Brennan, Robert [editor.] | Pěchouček, Michal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3593Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers / edited by Barbara M. Chapman. by Chapman, Barbara M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3349Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Approximation and Online Algorithms [electronic resource] : Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / edited by Giuseppe Persiano, Roberto Solis-Oba. by Persiano, Giuseppe [editor.] | Solis-Oba, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3351Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern. by Margenstern, Maurice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3354Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings / edited by Ralph Martin, Helmut Bez, Malcolm Sabin. by Martin, Ralph [editor.] | Bez, Helmut [editor.] | Sabin, Malcolm [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3604Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3364Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Membrane Computing [electronic resource] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / edited by Giancarlo Mauri, Gheorghe Păun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa. by Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3365Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
