IMSc Library catalog › Results of search for 'su-br:au:"Tobias"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] \| Nipkow, Tobias [editor.] \| Urban, Christian [editor.] \| Wenzel, Makarius [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: 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): . Place hold Log in to add tags
			Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / edited by Henk Barendregt, Tobias Nipkow. by Barendregt, Henk [editor.] \| Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 806Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Discovery Science [electronic resource] : 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings / edited by Achim Hoffmann, Hiroshi Motoda, Tobias Scheffer. by Hoffmann, Achim [editor.] \| Motoda, Hiroshi [editor.] \| Scheffer, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3735Source: 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): . Place hold Log in to add tags
			6th International Congress on Industrial and Applied Mathematics Zürich, Switzerland, 16-20 July 2007 [electronic resource] : Invited Lectures / Rolf Jeltsch, Gerhard Wanner by Jeltsch, Rolf [editor.] \| Wanner, Gerhard [editor.]. Material type: Text;Language: English; Format: available online ; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2009Online access: Click here to access online \| cover image Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			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): . Place hold Log in to add tags
			Computational group theory and the theory of groups, II : [electronic resource] Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors. by Harlaxton Conference on Computational Group Theory and Cohomology (2008 : Harlaxton College) \| Kappe, Luise-Charlotte \| Magidin, Arturo \| Morse, Robert Fitzgerald \| AMS Special Session on Computational Group Theory (2008 : Western Michigan University). Series: Contemporary mathematics (American Mathematical Society) ; v. 511.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha