IMSc Library catalog › Results of search for 'au:"Oliveira, José."'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings / edited by José Luís Oliveira, Víctor Maojo, Fernando Martín-Sánchez, António Sousa Pereira. by Oliveira, José Luís [editor.] \| Maojo, Víctor [editor.] \| Martín-Sánchez, Fernando [editor.] \| Pereira, António Sousa [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3745Source: 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
			Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira. by Backhouse, Roland [editor.] \| Oliveira, José Nuno [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1837Source: 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): . Place hold Log in to add tags
			FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave. by Oliveira, José Nuno [editor.] \| Zave, Pamela [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2021Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Advanced Functional Programming [electronic resource] : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures / edited by S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques. by Swierstra, S. Doaitse [editor.] \| Oliveira, José N [editor.] \| Henriques, Pedro R [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1608Source: 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
			Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira. by Laender, Alberto H. F [editor.] \| Castano, Silvana [editor.] \| Dayal, Umeshwar [editor.] \| Casati, Fabio [editor.] \| Oliveira, José Palazzo M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5829Source: 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
			Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. by Gibbons, Jeremy [editor.] \| Oliveira, José Nuno [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5846Source: 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
			Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira. by Kahl, Wolfram [editor.] \| Winter, Michael [editor.] \| Oliveira, José [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9348 \| Lecture Notes in Computer Science ; 9348Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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