FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. High Performance Computing [electronic resource] :International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings /

by Polychronopoulos, Constantine [editor.] | Joe, Kazuki [editor.] | Araki, Keijiro [editor.] | Amamiya, Makoto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. FME 2003: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings /

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.Online access: Click here to access online Availability: No items available

3. Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] :First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /

by Liu, Zhiming [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

4. Formal Methods and Software Engineering [electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /

by Liu, Shaoying [editor.] | Maibaum, Tom [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in