|
|
|
|
Artificial Intelligence and Symbolic Mathematical Computation [electronic resource] : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. by Calmet, Jacques [editor.] | Campbell, John A [editor.] | Pfalzgraf, Jochen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1138Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parallel Virtual Machine — EuroPVM '96 [electronic resource] : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings / edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam. by Bode, Arndt [editor.] | Dongarra, Jack [editor.] | Ludwig, Thomas [editor.] | Sunderam, Vaidy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1156Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings / edited by Díbio L. Borges, Celso A. A. Kaestner. by Borges, Díbio L [editor.] | Kaestner, Celso A. A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1159Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider. by Coninx, Karin [editor.] | Luyten, Kris [editor.] | Schneider, Kevin A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4385Source: 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): .
|
|
|
|
|
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar. by Ibarra, Oscar H [editor.] | Ravikumar, Bala [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5148Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction [electronic resource] : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers / edited by Anna Esposito, Nikolaos G. Bourbakis, Nikolaos Avouris, Ioannis Hatzilygeroudis. by Esposito, Anna [editor.] | Bourbakis, Nikolaos G [editor.] | Avouris, Nikolaos [editor.] | Hatzilygeroudis, Ioannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5042Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4378Source: 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): .
|
|
|
|
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4383Source: 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): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt. by Kuznetsov, Sergei O [editor.] | Schmidt, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4390Source: 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): .
|
|
|
|
|
Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers / edited by Michael Kaufmann, Dorothea Wagner. by Kaufmann, Michael [editor.] | Wagner, Dorothea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4372Source: 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): .
|
|
|
|
|
Multi-Agent-Based Simulation VIII [electronic resource] : International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers / edited by Luis Antunes, Mario Paolucci, Emma Norling. by Antunes, Luis [editor.] | Paolucci, Mario [editor.] | Norling, Emma [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5003Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings / edited by Shigeru Obayashi, Kalyanmoy Deb, Carlo Poloni, Tomoyuki Hiroyasu, Tadahiko Murata. by Obayashi, Shigeru [editor.] | Deb, Kalyanmoy [editor.] | Poloni, Carlo [editor.] | Hiroyasu, Tomoyuki [editor.] | Murata, Tadahiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4403Source: 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): .
|
|
|
|
|
Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4922Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Dynamical Vision [electronic resource] : ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers / edited by René Vidal, Anders Heyden, Yi Ma. by Vidal, René [editor.] | Heyden, Anders [editor.] | Ma, Yi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4358Source: 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): .
|
|
|
|
|
Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers / edited by Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich. by Lu, Ruqian [editor.] | Siekmann, Jörg H [editor.] | Ullrich, Carsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4429Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers / edited by Todor Boyanov, Stefka Dimova, Krassimir Georgiev, Geno Nikolov. by Boyanov, Todor [editor.] | Dimova, Stefka [editor.] | Georgiev, Krassimir [editor.] | Nikolov, Geno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4310Source: 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): .
|
