FEEDBACK Smiley face

Your search returned 14 results. Subscribe to this search

|
1. Transformation-Based Reactive Systems Development [electronic resource] :4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings /

by Bertran, Miquel [editor.] | Rus, Teodor [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. Lectures on Embedded Systems [electronic resource] :European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996 /

by Rozenberg, Grzegorz [editor.] | Vaandrager, Frits W [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, 1998.Online access: Click here to access online Availability: No items available

4. FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II /

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [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. FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [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

6. Formal Methods for Real-Time and Probabilistic Systems [electronic resource] :5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings /

by Katoen, Joost-Pieter [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

7. Automata, Languages and Programming [electronic resource] :27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings /

by Montanari, Ugo [editor.] | Rolim, José D. P [editor.] | Welzl, Emo [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

8. Hybrid Systems: Computation and Control [electronic resource] :4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /

by Benedetto, Maria Domenica Di [editor.] | Sangiovanni-Vincentelli, Alberto [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

9. Distributed Computing [electronic resource] :15th International Conference, DISC 2001 Lisbon, Portugal, October 3–5, 2001 Proceedings /

by Welch, Jennifer [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

10. Embedded Software [electronic resource] :First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings /

by Henzinger, Thomas A [editor.] | Kirsch, Christoph M [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

11. Self-Stabilizing Systems [electronic resource] :6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings /

by Huang, Shing-Tsaan [editor.] | Herman, Ted [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

12. Dependable Computing [electronic resource] :First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings /

by Lemos, Rogério de [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [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

13. Principles of Distributed Systems [electronic resource] :7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /

by Papatriantafilou, Marina [editor.] | Hunel, Philippe [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, 2004.Online access: Click here to access online Availability: No items available

14. Principles of Distributed Systems [electronic resource] :11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings /

by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [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, 2007.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