FEEDBACK Smiley face

Your search returned 46 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. Reliable Software Technologies — Ada-Europe '97 [electronic resource] :1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings /

by Hardy, Keith [editor.] | Briggs, 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, 1997.Online access: Click here to access online Availability: No items available

3. Software Engineering — ESEC/FSE'97 [electronic resource] :6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings /

by Jazayeri, Mehdi [editor.] | Schauer, Helmut [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

4. Reliable SoftwareTechnologies — Ada-Europe 2001 [electronic resource] :6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings /

by Craeynest, Dirk [editor.] | Strohmeier, Alfred [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

5. Java on Smart Cards:Programming and Security [electronic resource] /

by Attali, Isabelle [editor.] | Jensen, 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, 2001.Online access: Click here to access online Availability: No items available

6. 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

7. Software Frameworks and Embedded Control Systems [electronic resource] /

by Pasetti, Alessandro [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. Software and Compilers for Embedded Systems [electronic resource] :7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings /

by Krall, Andreas [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. Reliable Software Technologies — Ada-Europe 2003 [electronic resource] :8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings /

by Rosen, Jean-Pierre [editor.] | Strohmeier, Alfred [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

10. Embedded Software [electronic resource] :Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings /

by Alur, Rajeev [editor.] | Lee, Insup [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

11. Reliable Software Technologies - Ada-Europe 2004 [electronic resource] :9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings /

by Llamosí, Albert [editor.] | Strohmeier, Alfred [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

12. 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

13. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] :International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /

by Barthe, Gilles [editor.] | Burdy, Lilian [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | Muntean, Traian [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, 2005.Online access: Click here to access online Availability: No items available

14. Principles of Distributed Systems [electronic resource] :8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /

by Higashino, Teruo [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, 2005.Online access: Click here to access online Availability: No items available

15. Reliable Software Technology – Ada-Europe 2005 [electronic resource] :10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /

by Vardanega, Tullio [editor.] | Wellings, Andy [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, 2005.Online access: Click here to access online Availability: No items available

16. Wireless Sensor Networks [electronic resource] :Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings /

by Römer, Kay [editor.] | Karl, Holger [editor.] | Mattern, Friedemann [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

17. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] :Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

by Barthe, Gilles [editor.] | Grégoire, Benjamin [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [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, 2006.Online access: Click here to access online Availability: No items available

18. Reliable Software Technologies – Ada-Europe 2006 [electronic resource] :11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings /

by Pinho, Luís Miguel [editor.] | González Harbour, 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, 2006.Online access: Click here to access online Availability: No items available

19. Coordination Models and Languages [electronic resource] :8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /

by Ciancarini, Paolo [editor.] | Wiklicky, Herbert [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

20. Principles of Distributed Systems [electronic resource] :9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers /

by Anderson, James H [editor.] | Prencipe, Giuseppe [editor.] | Wattenhofer, Roger [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, 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