|
|
|
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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus [editor.] | Brandt, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4732Source: 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): .
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern. by Durand-Lose, Jérôme [editor.] | Margenstern, Maurice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4664Source: 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): .
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007. 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 ; 4678Source: 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): .
|
|
|
|
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä. by Dahl, Véronica [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4670Source: 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): .
|
|
|
|
Reasoning Web [electronic resource] : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures / edited by Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf. by Antoniou, Grigoris [editor.] | Aßmann, Uwe [editor.] | Baroglio, Cristina [editor.] | Decker, Stefan [editor.] | Henze, Nicola [editor.] | Patranjan, Paula-Lavinia [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4636Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 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 ; 4684Source: 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): .
|
|
|
|
Artificial Neural Networks – ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I / edited by Joaquim Marques Sá, Luís A. Alexandre, Włodzisław Duch, Danilo Mandic. by Sá, Joaquim Marques [editor.] | Alexandre, Luís A [editor.] | Duch, Włodzisław [editor.] | Mandic, Danilo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4668Source: 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): .
|
|
|
|
Artificial Neural Networks – ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II / edited by Joaquim Marques Sá, Luís A. Alexandre, Włodzisław Duch, Danilo Mandic. by Sá, Joaquim Marques [editor.] | Alexandre, Luís A [editor.] | Duch, Włodzisław [editor.] | Mandic, Danilo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4669Source: 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): .
|
|
|
|
|
|
|
|
Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings / edited by Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes Mello. by Stojmenovic, Ivan [editor.] | Thulasiram, Ruppa K [editor.] | Yang, Laurence T [editor.] | Jia, Weijia [editor.] | Guo, Minyi [editor.] | Mello, Rodrigo Fernandes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4742Source: 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): .
|
|
|
|
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko, Ruppa K. Thulasiram, Laurence T. Yang. by Thulasiraman, Parimala [editor.] | He, Xubin [editor.] | Xu, Tony Li [editor.] | Denko, Mieso K [editor.] | Thulasiram, Ruppa K [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4743Source: 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): .
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4674Source: 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 and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings / edited by Keqiu Li, Chris Jesshope, Hai Jin, Jean-Luc Gaudiot. by Li, Keqiu [editor.] | Jesshope, Chris [editor.] | Jin, Hai [editor.] | Gaudiot, Jean-Luc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4672Source: 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): .
|