|
|
|
|
The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings / edited by Dieter Fensel, Katia Sycara, John Mylopoulos. by Fensel, Dieter [editor.] | Sycara, Katia [editor.] | Mylopoulos, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2870Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings / edited by Daniel Geist, Enrico Tronci. by Geist, Daniel [editor.] | Tronci, Enrico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2860Source: 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): .
|
|
|
|
|
|
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2862Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
