|
|
|
|
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings / edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov. by Budach, Lothar [editor.] | Bukharajev, Rais Gatič [editor.] | Lupanov, Oleg Borisovič [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 278Source: 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): .
|
|
|
|
|
Modeling and Using Context [electronic resource] : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings / edited by Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu. by Kokinov, Boicho [editor.] | Richardson, Daniel C [editor.] | Roth-Berghofer, Thomas R [editor.] | Vieu, Laure [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4635Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Frontiers in Algorithmics [electronic resource] : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / edited by Mingyu Xiao, Frances Rosamond. by Xiao, Mingyu [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10336 | Lecture Notes in Computer Science ; 10336Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe. by Cornélio, Márcio [editor.] | Roscoe, Bill [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9526 | Lecture Notes in Computer Science ; 9526Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney. by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Into the Mystic : The Visionary and Ecstatic Roots of 1960s Rock and Roll by Hill, chrstopher. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Delhi Park street Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 51, Shelf No: 04 Call number: 78 HIL.
|
|
|
|
|
Combinatorial group theory, discrete groups, and number theory : [electronic resource] a conference in honor of Gerhard Rosenberger, December 8-9, 2004, Fairfield University : AMS Special Session on Infinite Groups, October 8-9, 2005, Bard College / Benjamin Fine, Anthony M. Gaglione, Dennis Spellman, editors. by AMS Special Session on Infinite Groups (2005 : Bard College) | Rosenberger, Gerhard | Fine, Benjamin, 1948- | Gaglione, Anthony M | Spellman, Dennis, 1945-. Series: Contemporary mathematics (American Mathematical Society) ; v. 421.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2006Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Group Theoretical Methods in Physics [electronic resource] : Proceedings of the XIIth International Colloquium Held at the International Centre for Theoretical Physics, Trieste, Italy, September 5–11, 1983 / edited by G. Denardo, G. Ghirardi, T. Weber. by Denardo, G [editor.] | Ghirardi, G [editor.] | Weber, T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 201Source: 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): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7952Source: 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): .
|
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond. by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Innovative Internet Community Systems [electronic resource] : 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers / edited by Thomas Böhme, Victor M. Larios Rosillo, Helena Unger, Herwig Unger. by Böhme, Thomas [editor.] | Larios Rosillo, Victor M [editor.] | Unger, Helena [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3473Source: 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): .
|
|
|
|
|
|
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by Jensen, Kurt [editor.] | Aalst, Wil M. P [editor.] | Balbo, Gianfranco [editor.] | Koutny, Maciej [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7480Source: 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): .
|
|
|
|
|
|
|
|
|
|
Complex geometry of groups : [electronic resource] January 5-11, 1998, Olmu�e, Chile / Angel Carocca, V�ictor Gonz�alez-Aguilera, Rub�i E. Rodr�iguez, editors. by Carocca, Angel, 1965- | Gonz�alez-Aguilera, V�ictor, 1950- | Rodr�iguez, Rub�i E, 1953- | Iberoamerican Congress on Geometry (1st : 1998 : Olmu�e, Chile). Series: Contemporary mathematics (American Mathematical Society) ; v. 240.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
