FEEDBACK Smiley face

Your search returned 59 results. Subscribe to this search

|
1. STACS 97 [electronic resource] :14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings /

by Reischuk, Rüdiger [editor.] | Morvan, Michel [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. Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings /

by Gallagher, John [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. Automata, Languages and Programming [electronic resource] :24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings /

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, 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, 1997.Online access: Click here to access online Availability: No items available

4. Research and Advanced Technology for Digital Libraries [electronic resource] :First European Conference, ECDL'97 Pisa, Italy, September 1–3, 1997 Proceedings /

by Peters, Carol [editor.] | Thanos, Costantino [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

5. Foundations of Software Technology and Theoretical Computer Science [electronic resource] :17th Conference Kharagpur, India, December 18–20, 1997 Proceedings /

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

6. Static Analysis [electronic resource] :5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings /

by Levi, Giorgio [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

7. Euro-Par’98 Parallel Processing [electronic resource] :4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings /

by Pritchard, David [editor.] | Reeve, Jeff [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

8. Static Analysis [electronic resource] :6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings /

by Cortesi, Agostino [editor.] | Filé, Gilberto [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

9. Integrated Formal Methods [electronic resource] :Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings /

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [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

10. Middleware 2000 [electronic resource] :IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings /

by Sventek, Joseph [editor.] | Coulson, Geoffrey [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

11. Practical Aspects of Declarative Languages [electronic resource] :Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings /

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [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

12. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :8th European PVM/MPI Users’ Group Meeting Santorini/Thera, Greece, September 23–26, 2001 Proceedings /

by Cotronis, Yiannis [editor.] | Dongarra, Jack [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

13. Middleware 2001 [electronic resource] :IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12–16, 2001 Proceedings /

by Guerraoui, Rachid [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

14. FME 2002:Formal Methods—Getting IT Right [electronic resource] :International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings /

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [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

15. CONCUR 2002 — Concurrency Theory [electronic resource] :13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings /

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [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

16. Integrated Formal Methods [electronic resource] :Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings /

by Butler, Michael [editor.] | Petre, Luigia [editor.] | Sere, Kaisa [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

17. Perspectives of System Informatics [electronic resource] :5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers /

by Broy, Manfred [editor.] | Zamulin, Alexandre 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, 2003.Online access: Click here to access online Availability: No items available

18. Integrated Formal Methods [electronic resource] :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /

by Boiten, Eerke A [editor.] | Derrick, John [editor.] | Smith, Graeme [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

19. CONCUR 2005 – Concurrency Theory [electronic resource] :16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /

by Abadi, Martín [editor.] | Alfaro, Luca de [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

20. Integrated Formal Methods [electronic resource] :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

by Romijn, Judi [editor.] | Smith, Graeme [editor.] | Pol, Jaco van de [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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in