|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos. by Caires, Luís [editor.] | Vasconcelos, Vasco T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4703Source: 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): .
|
|
|
|
Concept Lattices and Their Applications [electronic resource] : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers / edited by Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek. by Yahia, Sadok Ben [editor.] | Nguifo, Engelbert Mephu [editor.] | Belohlavek, Radim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4923Source: 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): .
|
|
|
|
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka. by Diekert, Volker [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5583Source: 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): .
|
|
|
|
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. by Tessaris, Sergio [editor.] | Franconi, Enrico [editor.] | Eiter, Thomas [editor.] | Gutierrez, Claudio [editor.] | Handschuh, Siegfried [editor.] | Rousset, Marie-Christine [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5689Source: 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): .
|
|
|
|
|
|
|
|
Information Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / edited by Colin Boyd, Leonie Simpson. by Boyd, Colin [editor.] | Simpson, Leonie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7959Source: 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 advances in the theory and applications of mass transport : [electronic resource] summer school on mass transportation methods in kinetic theory and hydrodynamics, September 4-9, 2000, Ponta Delgada, Azores, Portugal / M.C. Carvalho, J.F. Rodrigues, editors. by Carvalho, M. C. (Maria da Conceicao Vieira de), 1956- | Rodrigues, Jos�e-Francisco. Series: Contemporary mathematics (American Mathematical Society) ; v. 353.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Aspects of operator algebras and applications : [electronic resource] UIMP-RSME Santalo Summer School, July 21-27, 2008, Universidad Internacional Men�endez Pelayo, Santander, Spain / Pere Ara, Fernando Lledo, Francesc Perera, editors. by UIMP-RSME Santal�o Summer School (2008 : Universidad Internadional Men�endez Pelayo) | Ara, Pere, 1959- | Lledo, Fernando, 1967- | Perera, Francesc, 1970-. Series: Contemporary mathematics ; v. 534Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : [Madrid, Spain] : American Mathematical Society ; Real Sociedad Matem�atica Espa�nola, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Groups '93 Galway/St Andrews Volume 2 / C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. J. Ward. by Campbell, C. M [author.] | Robertson, E. F [author.] | Hurley, T. C [author.] | Tobin, S. J [author.] | Ward, J. J [author.]. Series: London Mathematical Society Lecture Note Series ; no. 212Material type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|