IMSc Library catalog › Results of search for 'su-rl:"Model theory."'

Your search returned 8 results.

Not what you expected? Check for suggestions

			SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. by Freivalds, Rūsiņš Mārtiņš [editor.] \| Engels, Gregor [editor.] \| Catania, Barbara [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9587 \| Lecture Notes in Computer Science ; 9587Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part III / edited by José Luis Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag. by Balcázar, José Luis [editor.] \| Bonchi, Francesco [editor.] \| Gionis, Aristides [editor.] \| Sebag, Michèle [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6323Source: 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): . Place hold Log in to add tags
			Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7663Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / edited by David Hausheer, Jürgen Schönwälder. by Hausheer, David [editor.] \| Schönwälder, Jürgen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5127Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Foundations of Intelligent Systems [electronic resource] : 11th International Symposium, ISMIS’99 Warsaw, Poland, June 8–11, 1999 Proceedings / edited by Zbigniew W. Raś, Andrzej Skowron. by Raś, Zbigniew W [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1609Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Ibarra, Oscar H [editor.] \| Yen, Hsu-Chun [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4094Source: 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): . Place hold Log in to add tags
			New Trends in Formal Languages [electronic resource] : Control, Cooperation, and Combinatorics / edited by Gheorghe Păun, Arto Salomaa. by Păun, Gheorghe [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1218Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings / edited by Gerson Zaverucha, Augusto Loureiro Costa. by Zaverucha, Gerson [editor.] \| Costa, Augusto Loureiro [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5249Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online 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