FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Rewriting Techniques and Applications [electronic resource] :9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings /

by Nipkow, Tobias [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, 1998.Online access: Click here to access online Availability: No items available

2. Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [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, 2002.Online access: Click here to access online Availability: No items available

3. FM 2006: Formal Methods [electronic resource] :14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /

by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [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, 2006.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