FEEDBACK Smiley face

Your search returned 18 results. Subscribe to this search

|
1. Computer Aided Verification [electronic resource] :9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings /

by Grumberg, Orna [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. Algebraic Methodology and Software Technology [electronic resource] :6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings /

by Johnson, Michael [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

3. Advances in Computing Science — ASIAN’99 [electronic resource] :5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings /

by Thiagarajan, P. S [editor.] | Yap, Roland [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

4. Correct System Design [electronic resource] :Recent Insights and Advances /

by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [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

5. Computer Aided Verification [electronic resource] :12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings /

by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [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, 2000.Online access: Click here to access online Availability: No items available

6. Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] :A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers /

by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [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, 2001.Online access: Click here to access online Availability: No items available

7. Computer Aided Verification [electronic resource] :14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings /

by Brinksma, Ed [editor.] | Larsen, Kim Guldstrand [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

8. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [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

9. Sanskrit Computational Linguistics [electronic resource] :4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings /

by Jha, Girish Nath [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

10. Formal Methods for Industrial Critical Systems [electronic resource] :16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /

by Salaün, Gwen [editor.] | Schätz, Bernhard [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, 2011.Online access: Click here to access online Availability: No items available

11. Computer Aided Verification [electronic resource] :24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

by Madhusudan, P [editor.] | Seshia, Sanjit A [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, 2012.Online access: Click here to access online Availability: No items available

12. Formal Methods for Industrial Critical Systems [electronic resource] :18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /

by Pecheur, Charles [editor.] | Dierkes, Michael [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, 2013.Online access: Click here to access online Availability: No items available

13. Reliable Software Technologies – Ada-Europe 2014 [electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /

by George, Laurent [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service).

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

14. Formal Methods for Industrial Critical Systems [electronic resource] :20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /

by Núñez, Manuel [editor.] | Güdemann, Matthias [editor.] | SpringerLink (Online service).

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

15. Reliable Software Technologies – Ada-Europe 2015 [electronic resource] :20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /

by de la Puente, Juan Antonio [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service).

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

16. Reliable Software Technologies – Ada-Europe 2016 [electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /

by Bertogna, Marko [editor.] | Pinho, Luis Miguel [editor.] | Quiñones, Eduardo [editor.] | SpringerLink (Online service).

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

17. PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] :19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /

by Baldoni, Matteo [editor.] | Chopra, Amit K [editor.] | Son, Tran Cao [editor.] | Hirayama, Katsutoshi [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

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

18. Critical Systems: Formal Methods and Automated Verification [electronic resource] :Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /

by ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.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