|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. by Calmet, Jacques [editor.] | Ida, Tetsuo [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4120Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
The Analysis of Concurrent Systems [electronic resource] : Cambridge, September 12–16, 1983 Proceedings / edited by B. T. Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray. by Denvir, B. T [editor.] | Harwood, W. T [editor.] | Jackson, M. I [editor.] | Wray, M. J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 207Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Cryptology [electronic resource] : Proceedings of EUROCRYPT 84 A Workshop on the Theory and Application of Cryptographic Techniques Paris, France, April 9– 11, 1984 / edited by Thomas Beth, Norbert Cot, Ingemar Ingemarsson. by Beth, Thomas [editor.] | Cot, Norbert [editor.] | Ingemarsson, Ingemar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 209Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings / edited by Jorge Juan Chico, Enrico Macii. by Chico, Jorge Juan [editor.] | Macii, Enrico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2799Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings / edited by Gary Benson, Roderic D. M. Page. by Benson, Gary [editor.] | Page, Roderic D. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2812Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Visual Content Processing and Representation [electronic resource] : 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003. Proceedings / edited by Narciso García, Luis Salgado, José M. Martínez. by García, Narciso [editor.] | Salgado, Luis [editor.] | Martínez, José M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2849Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Methods for Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures / edited by Marco Bernardo, Paola Inverardi. by Bernardo, Marco [editor.] | Inverardi, Paola [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2804Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge Discovery in Databases: PKDD 2003 [electronic resource] : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings / edited by Nada Lavrač, Dragan Gamberger, Ljupčo Todorovski, Hendrik Blockeel. by Lavrač, Nada [editor.] | Gamberger, Dragan [editor.] | Todorovski, Ljupčo [editor.] | Blockeel, Hendrik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2838Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
