|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by Altenkirch, Thorsten [editor.] | McBride, Conor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4502Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Euro-Par 2007 Parallel Processing [electronic resource] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc Bougé, Thierry Priol. by Kermarrec, Anne-Marie [editor.] | Bougé, Luc [editor.] | Priol, Thierry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Roland Wagner, Norman Revell, Günther Pernul. by Wagner, Roland [editor.] | Revell, Norman [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4653Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4705Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4706Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 / edited by Vladimír Mařík, Valeriy Vyatkin, Armando W. Colombo. by Mařík, Vladimír [editor.] | Vyatkin, Valeriy [editor.] | Colombo, Armando W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4659Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Independent Component Analysis and Signal Separation [electronic resource] : 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings / edited by Mike E. Davies, Christopher J. James, Samer A. Abdallah, Mark D Plumbley. by Davies, Mike E [editor.] | James, Christopher J [editor.] | Abdallah, Samer A [editor.] | Plumbley, Mark D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4666Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings / edited by Volker Diekert, Mikhail V. Volkov, Andrei Voronkov. by Diekert, Volker [editor.] | Volkov, Mikhail V [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4649Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Biometrics [electronic resource] : International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007. Proceedings / edited by Seong-Whan Lee, Stan Z. Li. by Lee, Seong-Whan [editor.] | Li, Stan Z [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4642Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings / edited by Il Yeal Song, Johann Eder, Tho Manh Nguyen. by Song, Il Yeal [editor.] | Eder, Johann [editor.] | Nguyen, Tho Manh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4654Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
E-Commerce and Web Technologies [electronic resource] : 8th International Conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Giuseppe Psaila, Roland Wagner. by Psaila, Giuseppe [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4655Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
KI 2007: Advances in Artificial Intelligence [electronic resource] : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings / edited by Joachim Hertzberg, Michael Beetz, Roman Englert. by Hertzberg, Joachim [editor.] | Beetz, Michael [editor.] | Englert, Roman [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4667Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Network-Based Information Systems [electronic resource] : First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Tomoya Enokido, Leonard Barolli, Makoto Takizawa. by Enokido, Tomoya [editor.] | Barolli, Leonard [editor.] | Takizawa, Makoto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4658Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Kang, Lishan [editor.] | Liu, Yong [editor.] | Zeng, Sanyou [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4683Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007. Proceedings / edited by Václav Matoušek, Pavel Mautner. by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4629Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Bio-Inspired Computational Intelligence and Applications [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Minrui Fei, George William Irwin, Shiwei Ma. by Li, Kang [editor.] | Fei, Minrui [editor.] | Irwin, George William [editor.] | Ma, Shiwei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4688Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Life System Modeling and Simulation [electronic resource] : International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings / edited by Kang Li, Xin Li, George William Irwin, Gusen He. by Li, Kang [editor.] | Li, Xin [editor.] | Irwin, George William [editor.] | He, Gusen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4689Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
