FEEDBACK Smiley face

Your search returned 22 results. Subscribe to this search

|
1. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings /

by Brinksma, Ed [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. Advanced Information Systems Engineering [electronic resource] :9th International Conference, CAiSE'97 Barcelona, Catalonia, Spain, June 16–20, 1997 Proceedings /

by Olivé, Antoni [editor.] | Pastor, Joan Antoni [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. System Configuration Management [electronic resource] :ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings /

by Magnusson, Boris [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. Dependable Computing — EDCC-3 [electronic resource] :Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings /

by Hlavička, Jan [editor.] | Maehle, Erik [editor.] | Pataricza, András [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. 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

6. Euro-Par 2000 Parallel Processing [electronic resource] :6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings /

by Bode, Arndt [editor.] | Ludwig, Thomas [editor.] | Karl, Wolfgang [editor.] | Wismüller, 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, 2000.Online access: Click here to access online Availability: No items available

7. Foundations of Information and Knowledge Systems [electronic resource] :First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings /

by Schewe, Klaus-Dieter [editor.] | Thalheim, 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, 2000.Online access: Click here to access online Availability: No items available

8. Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] :12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings /

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [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

9. Mathematical Foundations of Computer Science 2003 [electronic resource] :28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings /

by Rovan, Branislav [editor.] | Vojtáš, Peter [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. Pervasive Computing [electronic resource] :Second International Conference, PERVASIVE 2004, Linz/Vienna, Austria, April 21-23, 2004. Proceedings /

by Ferscha, Alois [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, 2004.Online access: Click here to access online Availability: No items available

11. Distributed Computing - IWDC 2004 [electronic resource] :6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /

by Sen, Arunabha [editor.] | Das, Nabanita [editor.] | Das, Sajal K [editor.] | Sinha, Bhabani P [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

12. Euro-Par 2008 – Parallel Processing [electronic resource] :14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings /

by Luque, Emilio [editor.] | Margalef, Tomàs [editor.] | Benítez, Domingo [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, 2008.Online access: Click here to access online Availability: No items available

13. E-Commerce and Web Technologies [electronic resource] :9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings /

by Psaila, Giuseppe [editor.] | Wagner, 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, 2008.Online access: Click here to access online Availability: No items available

14. High Performance Computing - HiPC 2008 [electronic resource] :15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings /

by Sadayappan, Ponnuswamy [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor K [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, 2008.Online access: Click here to access online Availability: No items available

15. Internet and Network Economics [electronic resource] :4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings /

by Papadimitriou, Christos [editor.] | Zhang, Shuzhong [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, 2008.Online access: Click here to access online Availability: No items available

16. End-User Development [electronic resource] :2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings /

by Pipek, Volkmar [editor.] | Rosson, Mary Beth [editor.] | Ruyter, Boris de [editor.] | Wulf, Volker [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

17. Euro-Par 2008 Workshops - Parallel Processing [electronic resource] :VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /

by César, Eduardo [editor.] | Alexander, Michael [editor.] | Streit, Achim [editor.] | Träff, Jesper Larsson [editor.] | Cérin, Christophe [editor.] | Knüpfer, Andreas [editor.] | Kranzlmüller, Dieter [editor.] | Jha, Shantenu [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

18. Web Services and Formal Methods [electronic resource] :5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

by Bruni, Roberto [editor.] | Wolf, Karsten [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

19. Computer Performance Engineering [electronic resource] :6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /

by Bradley, Jeremy T [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

20. Wireless Algorithms, Systems, and Applications [electronic resource] :4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings /

by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [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