FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. ZUM '97: The Z Formal Specification Notation [electronic resource] :10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings /

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [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. Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] :International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /

by Hertling, Peter [editor.] | Hoffmann, Christoph M [editor.] | Luther, Wolfram [editor.] | Revol, Nathalie [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

3. Computer Algebra in Scientific Computing [electronic resource] :12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings /

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [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, 2010.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