|
|
|
|
SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / edited by Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann. by Hlaváč, Václav [editor.] | Jeffery, Keith G [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1963Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo [editor.] | Pan, Jeff Z [editor.] | Marie, Christian de Sainte [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4524Source: 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): .
|
|
|
|
|
Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E [editor.] | Jones, Cliff B [editor.] | Sanders, Jeff W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3525Source: 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): .
|
|
|
|
|
Complex manifolds and hyperbolic geometry : [electronic resource] II Iberoamerican Congress on Geometry, January 4-9, 2001, CIMAT, Guanajuato, Mexico / Clifford J. Earle, William J. Harvey, Sev�in Recillas-Pishmish, editors. by Iberoamerican Congress on Geometry (2nd : 2001 : Guanajuato, Mexico) | Earle, Clifford J | Harvey, William J, 1941- | Recillas-Pishmish, Sev�in, 1943-. Series: Contemporary mathematics (American Mathematical Society) ; v. 311.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): .
|
