|
|
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4596Source: 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): .
|
|
|
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5753Source: 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): .
|
|
|
|
Algorithms and Computation [electronic resource] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings / edited by Yingfei Dong, Ding-Zhu Du, Oscar Ibarra. by Dong, Yingfei [editor.] | Du, Ding-Zhu [editor.] | Ibarra, Oscar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5878Source: 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): .
|
|
|
|
Advances in Information Retrieval [electronic resource] : 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010.Proceedings / edited by Cathal Gurrin, Yulan He, Gabriella Kazai, Udo Kruschwitz, Suzanne Little, Thomas Roelleke, Stefan Rüger, Keith Rijsbergen. by Gurrin, Cathal [editor.] | He, Yulan [editor.] | Kazai, Gabriella [editor.] | Kruschwitz, Udo [editor.] | Little, Suzanne [editor.] | Roelleke, Thomas [editor.] | Rüger, Stefan [editor.] | Rijsbergen, Keith [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5993Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Differential Geometrical Methods in Mathematical Physics [electronic resource] : Proceedings of the Conferences Held at Aix-en-Provence, September 3 – 7, 1979 and Salamanca, September 10 – 14, 1979 / edited by P. L. García, A. Pérez-Rendón, J. M. Souriau. by García, P. L [editor.] | Pérez-Rendón, A [editor.] | Souriau, J. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 836Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computation and Proof Theory [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas. by Börger, Egon [editor.] | Oberschelp, Walter [editor.] | Richter, Michael M [editor.] | Schinzel, Brigitta [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1104Source: 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): .
|
|
|
|
|
|
|
|
Algebraic Topology Homotopy and Group Cohomology [electronic resource] : Proceedings of the 1990 Barcelona Conference on Algebraic Topology, held in S. Feliu de Guíxols, Spain, June 6–12, 1990 / edited by Jaume Aguadé, Manuel Castellet, Frederick Ronald Cohen. by Aguadé, Jaume [editor.] | Castellet, Manuel [editor.] | Cohen, Frederick Ronald [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1509Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Other title: Proceedings of the 1990 Barcelona Conference on Algebraic Topology, held in S. Feliu de Guixols, Spain, June 6-12, 1990.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Field Theory, Quantum Gravity and Strings [electronic resource] : Proceedings of a Seminar Series Held at DAPHE, Observatoire de Meudon, and LPTHE, Université Pierre et Marie Curie, Paris, Between October 1984 and October 1985 / edited by H. J. Vega, N. Sánchez. by Vega, H. J [editor.] | Sánchez, N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Web Content Caching and Distribution [electronic resource] : 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings / edited by Chi-Hung Chi, Maarten Steen, Craig Wills. by Chi, Chi-Hung [editor.] | Steen, Maarten [editor.] | Wills, Craig [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3293Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|