IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Computation by Abstract Devices and su-to:Mathematical Logic and Formal Languages and su-to:Discrete Mathematics in Computer Science'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. by Ferreira, Fernando [editor.] \| Löwe, Benedikt [editor.] \| Mayordomo, Elvira [editor.] \| Mendes Gomes, Luís [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6158Source: 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
			Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. by Bonanno, Giacomo [editor.] \| Löwe, Benedikt [editor.] \| Hoek, Wiebe [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6006Source: 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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha