|
|
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Languages of truth Essays 2003-2020 by Rushdie, Salman. Edition: First U.S.editionMaterial type: Text;Language: English; Format:
print
; Literary form:
Essays
Language: English Publication details: Gurugram (Haryana) Penguin books 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 55, Shelf No: 3 Call number: 82-3 RUS.
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li. by Cai, Jin-Yi [editor.] | Cooper, S. Barry [editor.] | Li, Angsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3959Source: 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): .
|
|
|
|
Physical knots : [electronic resource] knotting, linking, and folding geometric objects in Rp3s : AMS Special Session on Physical Knotting and Unknotting, Las Vegas, Nevada, April 21-22, 2001 / Jorge Alberto Calvo, Kenneth C. Millett, Eric J. Rawdon, editors. by AMS Special Session on Physical Knotting and Unknotting (2001 : Las Vegas, Nev.) | Calvo, Jorge Alberto, 1971- | Millett, Kenneth C | Rawdon, Eric J, 1970-. Series: Contemporary mathematics (American Mathematical Society) ; v. 304.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): .
|