FEEDBACK Smiley face

Your search returned 34 results. Subscribe to this search

|
1. CONCUR '97: Concurrency Theory [electronic resource] :8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings /

by Mazurkiewicz, Antoni [editor.] | Winkowski, Józef [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. Automata Implementation [electronic resource] :First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers /

by Raymond, Darrell [editor.] | Wood, Derick [editor.] | Yu, Sheng [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. Category Theory and Computer Science [electronic resource] :7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings /

by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [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. Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /

by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [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. Static Analysis [electronic resource] :4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings /

by Hentenryck, Pascal Van [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. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings /

by Ravn, Anders P [editor.] | Rischel, Hans [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. Logic for Programming and Automated Reasoning [electronic resource] :6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings /

by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [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

8. CONCUR’99 Concurrency Theory [electronic resource] :10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings /

by Baeten, Jos C. M [editor.] | Mauw, Sjouke [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. Logic-Based Program Synthesis and Transformation [electronic resource] :8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers /

by Flener, Pierre [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

10. CONCUR 2000 — Concurrency Theory [electronic resource] :11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings /

by Palamidessi, Catuscia [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. Computer Science Logic [electronic resource] :14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings /

by Clote, Peter G [editor.] | Schwichtenberg, 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, 2000.Online access: Click here to access online Availability: No items available

12. Computational Logic — CL 2000 [electronic resource] :First International Conference London, UK, July 24–28, 2000 Proceedings /

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [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

13. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings /

by Joseph, Mathai [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

14. Implementation and Application of Automata [electronic resource] :5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers /

by Yu, Shen [editor.] | Păun, Andrei [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

15. CONCUR 2001 — Concurrency Theory [electronic resource] :12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings /

by Larsen, Kim G [editor.] | Nielsen, Mogens [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

16. High-Level Parallel Programming Models and Supportive Environments [electronic resource] :6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /

by Mueller, Frank [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

17. Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [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

18. Perspectives of System Informatics [electronic resource] :4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers /

by Bjørner, Dines [editor.] | 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, 2001.Online access: Click here to access online Availability: No items available

19. Logic Programming [electronic resource] :17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Codognet, 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, 2001.Online access: Click here to access online Availability: No items available

20. Component Deployment [electronic resource] :IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings /

by Bishop, Judith [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


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