FEEDBACK Smiley face

Your search returned 10 results. Subscribe to this search

|
1. Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] :5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings /

by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [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, 1999.Online access: Click here to access online Availability: No items available

2. Theorem Proving in Higher Order Logics [electronic resource] :12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [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, 1999.Online access: Click here to access online Availability: No items available

3. Graph Drawing [electronic resource] :10th International Symposium, GD 2002 Irvine, CA, USA, August 26–28, 2002 Revised Papers /

by Goodrich, Michael T [editor.] | Kobourov, Stephen G [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

4. Graph Drawing [electronic resource] :9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001 Revised Papers /

by Mutzel, Petra [editor.] | Jünger, Michael [editor.] | Leipert, Sebastian [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

5. Fast Software Encryption [electronic resource] :10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers /

by Johansson, Thomas [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, 2003.Online access: Click here to access online Availability: No items available

6. Mathematical Knowledge Management [electronic resource] :Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings /

by Asperti, Andrea [editor.] | Bancerek, Grzegorz [editor.] | Trybulec, Andrzej [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, 2004.Online access: Click here to access online Availability: No items available

7. OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] :Foreword by Allan Bundy /

by Kohlhase, Michael [author.] | 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

8. Mathematical Software - ICMS 2006 [electronic resource] :Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings /

by Iglesias, Andrés [editor.] | Takayama, Nobuki [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

9. Independent Component Analysis and Signal Separation [electronic resource] :8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings /

by Adali, Tülay [editor.] | Jutten, Christian [editor.] | Romano, João Marcos Travassos [editor.] | Barros, Allan Kardec [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, 2009.Online access: Click here to access online Availability: No items available

10. Computer Algebra in Scientific Computing [electronic resource] :11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings /

by Gerdt, Vladimir P [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, 2009.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