|
|
|
|
|
|
|
|
|
Knowledge Based Computer Systems [electronic resource] : International Conference KBCS '89 Bombay, India, December 11–13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu. by Ramani, S [editor.] | Chandrasekar, R [editor.] | Anjaneyulu, K. S. R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 444Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Algorithms [electronic resource] : International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki. by Asano, Tetsuo [editor.] | Ibaraki, Toshihide [editor.] | Imai, Hiroshi [editor.] | Nishizeki, Takao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 450Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
PARLE Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings / edited by J. W. Bakker, A. J. Nijman, P. C. Treleaven. by Bakker, J. W [editor.] | Nijman, A. J [editor.] | Treleaven, P. C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 259Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Intelligence in Higher Education [electronic resource] : CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings / edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal. by Mařík, Vladimir [editor.] | Štěpánková, Olga [editor.] | Zdráhal, Zdeněk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 451Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Current Developments in Knowledge Acquisition — EKAW '92 [electronic resource] : 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings / edited by Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian R. Gaines, Marc Linster, Franz Schmalhofer. by Wetter, Thomas [editor.] | Althoff, Klaus-Dieter [editor.] | Boose, John [editor.] | Gaines, Brian R [editor.] | Linster, Marc [editor.] | Schmalhofer, Franz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 599Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Category Theory and Computer Programming [electronic resource] : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings / edited by David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard. by Pitt, David [editor.] | Abramsky, Samson [editor.] | Poigné, Axel [editor.] | Rydeheard, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 240Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 601Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Huizing, C [editor.] | Roever, W. P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 600Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram. by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4215Source: 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne [editor.] | Zhang, Wenhui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4218Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
