|
|
|
|
From mantle to meteorites : a garland of perspective Festschrift for Devendra Lal by Gopalan, K. Ed | Gaur, Vinod.K Ed | Macdougall, J.D Ed | Somayajulu, B.L.K Ed. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Bangalore Indian Academy of sciences 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 36, Shelf No: 45 Call number: 523.8 GOP.
|
|
|
|
|
Idempotency by Gunawardena, Jeremy. Ed. Series: Publications of the Newton InstituteMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge Cambridge University Press 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 18 Call number: 51 GUN.
|
|
|
|
|
|
|
|
|
|
Readings on Cognitive Ergonomics — Mind and Computers [electronic resource] : Proceedings of the 2nd European Conference Gmunden, Austria, September 10–14, 1984 / edited by Gerrit C. Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny. by Veer, Gerrit C [editor.] | Tauber, Michael J [editor.] | Green, Thomas R. G [editor.] | Gorny, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 178Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational and statistical group theory : [electronic resource] AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey / Robert Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors. by AMS Special Session Geometric Group Theory (2001 : Las Vegas, Nev.) | Gilman, Robert H, 1942- | Shpilrain, Vladimir, 1960- | Myasnikov, Alexei G, 1955- | AMS Special Session Computational Group Theory (2001 : Hoboken, N.J.). Series: Contemporary mathematics (American Mathematical Society) ; v. 298.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2002Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings / edited by Alan Dearle, Susan Eisenbach. by Dearle, Alan [editor.] | Eisenbach, Susan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3798Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
E-Commerce and Web Technologies [electronic resource] : 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006. Proceedings / edited by Kurt Bauknecht, Birgit Pröll, Hannes Werthner. by Bauknecht, Kurt [editor.] | Pröll, Birgit [editor.] | Werthner, Hannes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4082Source: 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): .
|
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears. by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2699Source: 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): .
|
|
|
|
|
E-Commerce and Web Technologies [electronic resource] : Third International Conference, EC-Web 2002 Aix-en-Provence, France, September 2–6, 2002 Proceedings / edited by Kurt Bauknecht, A Min Tjoa, Gerald Quirchmayr. by Bauknecht, Kurt [editor.] | Tjoa, A Min [editor.] | Quirchmayr, Gerald [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2455Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Human-Computer Interaction. Users and Contexts of Use [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8006Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Recent developments in geometry : [electronic resource] proceedings of the AMS Special Session in Geometry, November 14-15, 1987 / S.-Y. Cheng, H. Choi, and Robert E. Greene, editors. by AMS Special Session in Geometry (1987 : University of California, Los Angeles) | Cheng, S.-Y | Choi, H | Greene, Robert Everist, 1943- | American Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 101.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent developments in algebraic and combinatorial aspects of representation theory : [electronic resource] International Congress of Mathematicians Satellite Conference on Algebraic and Combinatorial Approaches to Representation Theory, August 12-16, 2010, National Institute of Advanced Studies, Bangalore, India : Conference on Algebraic and Combinatorial Approaches to Representation Theory, May 18-20, 2012, University of California, Riverside, CA / Vyjayanthi Chari, Jacob Greenstein, Kailash C. Misra, K. N. Raghavan, Sankaran Viswanath, editors. by International Congress of Mathematicians Satellite Conference on Algebraic and Combinatorial Approaches to Representation Theory (2010 : Bangalore, India) | Chari, Vyjayanthi [editor of compilation.] | Conference on Algebraic and Combinatorial Approaches to Representation Theory (2012 : Riverside, Calif.). Series: Contemporary mathematics ; v. 602Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
