FEEDBACK Smiley face

Your search returned 410 results. Subscribe to this search

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

2. Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /

by Comon, Hubert [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 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

4. Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /

by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, 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, 1997.Online access: Click here to access online Availability: No items available

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

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

7. Principles and Practice of Constraint Programming-CP97 [electronic resource] :Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings /

by Smolka, Gert [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

8. Principles and Practice of Constraint Programming — CP98 [electronic resource] :4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings /

by Maher, Michael [editor.] | Puget, Jean-Francois [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

9. Types for Proofs and Programs [electronic resource] :International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers /

by Giménez, Eduardo [editor.] | Paulin-Mohring, Christine [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

10. Principles of Declarative Programming [electronic resource] :10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings /

by Palamidessi, Catuscia [editor.] | Glaser, Hugh [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, 1998.Online access: Click here to access online Availability: No items available

11. Foundations of Software Science and Computation Structures [electronic resource] :First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings /

by Nivat, Maurice [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

12. Rewriting Techniques and Applications [electronic resource] :9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings /

by Nipkow, Tobias [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, 1998.Online access: Click here to access online Availability: No items available

13. Programming Languages and Systems [electronic resource] :7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings /

by Hankin, Chris [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

14. Compiler Construction [electronic resource] :7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings /

by Koskimies, Kai [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

15. Advances in Computing Science — ASIAN’99 [electronic resource] :5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings /

by Thiagarajan, P. S [editor.] | Yap, 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, 1999.Online access: Click here to access online Availability: No items available

16. A Tight, Practical Integration of Relations and Functions [electronic resource] /

by Boley, Harold [author.] | 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

17. Correct System Design [electronic resource] :Recent Insights and Advances /

by Olderog, Ernst-Rüdiger [editor.] | Steffen, 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, 1999.Online access: Click here to access online Availability: No items available

18. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers /

by Altenkirch, Thorsten [editor.] | Reus, Bernhard [editor.] | Naraschewski, Wolfgang [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

19. Applied Formal Methods — FM-Trends 98 [electronic resource] :International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [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

20. Rewriting Techniques and Applications [electronic resource] :10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /

by Narendran, Paliath [editor.] | Rusinowitch, 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, 1999.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