|
|
|
Algebraic Topology [electronic resource] : Proceedings of an International Conference held in Arcata, California, July 27 – August 2, 1986 / edited by Gunnar Carlsson, Ralph Cohen, Haynes Miller, Douglas Ravenel. by Carlsson, Gunnar [editor.] | Cohen, Ralph [editor.] | Miller, Haynes [editor.] | Ravenel, Douglas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1370Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Geographic Information Science [electronic resource] : Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004. Proceedings / edited by Max J. Egenhofer, Christian Freksa, Harvey J. Miller. by Egenhofer, Max J [editor.] | Freksa, Christian [editor.] | Miller, Harvey J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3234Source: 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): .
|
|
|
|
Combinatorial Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers / edited by Jiří Fiala, Jan Kratochvíl, Mirka Miller. by Fiala, Jiří [editor.] | Kratochvíl, Jan [editor.] | Miller, Mirka [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5874Source: 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): .
|
|
|
|
|
|
|
|
Automorphic forms and related geometry : [electronic resource] assessing the legecy of I.I. Piatetski-Shapiro : April 23-27, 2012, Yale University, New Haven, CT / James W. Cogdell, Freydoon Shahidi, David Soudry, editors. by Cogdell, James W, 1953- [editor of compilation.] | Shahidi, Freydoon [editor of compilation.] | Soudry, David, 1956- [editor of compilation.]. Series: Contemporary mathematics ; v. 614Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Geometry and topology, Aarhus : [electronic resource] conference on geometry and topology, August 10-16, 1998, Aarhus University, Aarhus, Denmark / Karsten Grove, Ib Henning Madsen, Erik Kj�r Pedersen, editors. by Grove, Karsten | Madsen, I. H. (Ib Henning), 1942- | Pedersen, Erik Kj�r, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 258.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Banach algebras and their applications : [electronic resource] Sixteenth International Conference on Banach Algebras, University of Alberta in Edmonton, Canada, July 27-August 9, 2003 / Anthony To-Ming Lau, Volker Runde, editors. by International Conference on Banach Algebras (16th : 2003 : University of Alberta in Edmonton) | Lau, Anthony To-Ming | Runde, Volker. Series: Contemporary mathematics (American Mathematical Society) ; v. 363.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): .
|
|
|
|
Topology, geometry, and algebra : [electronic resource] interactions and new directions : Conference on Algebraic Topology in honor of R. James Milgram, August 17-21, 1999, Stanford, California / Alejandro Adem, Gunnar Carlsson, Ralph Cohen, editors. by Conference on Algebraic Topology in Honor of R. James Milgram (1999 : Stanford, Calif.) | Milgram, R. James | Adem, Alejandro | Carlsson, G. (Gunnar), 1952- | Cohen, Ralph L, 1952-. Series: Contemporary mathematics (American Mathematical Society) ; v. 279.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Genetic Programming [electronic resource] : European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000. Proceedings / edited by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian Miller, Peter Nordin, Terence C. Fogarty. by Poli, Riccardo [editor.] | Banzhaf, Wolfgang [editor.] | Langdon, William B [editor.] | Miller, Julian [editor.] | Nordin, Peter [editor.] | Fogarty, Terence C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1802Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002 Kinsale, Ireland, April 3–5, 2002 Proceedings / edited by James A. Foster, Evelyne Lutton, Julian Miller, Conor Ryan, Andrea Tettamanzi. by Foster, James A [editor.] | Lutton, Evelyne [editor.] | Miller, Julian [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|