FEEDBACK Smiley face

Your search returned 251 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. Theoretical Aspects of Computer Software [electronic resource] :Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings /

by Abadi, Martín [editor.] | Ito, Takayasu [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. 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

4. Distributed Algorithms [electronic resource] :11th International Workshop, WDAG '97 Saarbrücken, Germany, September 24–26, 1997 Proceedings /

by Mavronicolas, Marios [editor.] | Tsigas, Philippas [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 Computer Science [electronic resource] :Potential — Theory — Cognition /

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [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. High Performance Computing [electronic resource] :International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings /

by Polychronopoulos, Constantine [editor.] | Joe, Kazuki [editor.] | Araki, Keijiro [editor.] | Amamiya, Makoto [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. SOFSEM'97: Theory and Practice of Informatics [electronic resource] :24th Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 1997 Proceedings /

by Plášil, František [editor.] | Jeffery, Keith 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

8. Advances in Computing Science — ASIAN'97 [electronic resource] :Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings /

by Shyamasundar, R. K [editor.] | Ueda, 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, 1997.Online access: Click here to access online Availability: No items available

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

10. Algebraic Methodology and Software Technology [electronic resource] :6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings /

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

11. SOFSEM’ 98: Theory and Practice of Informatics [electronic resource] :25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings /

by Rovan, Branislav [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. Lectures on Embedded Systems [electronic resource] :European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996 /

by Rozenberg, Grzegorz [editor.] | Vaandrager, Frits W [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

13. Distributed Computing [electronic resource] :12th International Symposium, DISC’98 Andros, Greece, September 24–26, 1998 Proceedings /

by Kutten, Shay [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. 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

15. Automata, Languages and Programming [electronic resource] :25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings /

by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [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

16. Algorithm Theory — SWAT'98 [electronic resource] :6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings /

by Arnborg, Stefan [editor.] | Ivansson, Lars [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

17. Application and Theory of Petri Nets 1998 [electronic resource] :19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings /

by Desel, Jörg [editor.] | Silva, Manuel [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

18. Computer Aided Verification [electronic resource] :10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings /

by Hu, Alan J [editor.] | Vardi, Moshe Y [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

19. Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services [electronic resource] :5th International Conference on Intelligence in Services and Networks, IS&N’98 Antwerp, Belgium, May 25–28, 1998 Proceedings /

by Trigila, Sebastiano [editor.] | Mullery, Al [editor.] | Campolargo, Mario [editor.] | Vanderstraeten, Hans [editor.] | Mampaey, Marcel [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

20. Mathematics of Program Construction [electronic resource] :4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings /

by Jeuring, Johan [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


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