FEEDBACK Smiley face

Your search returned 432 results. Subscribe to this search

|
1. Graph-Theoretic Concepts in Computer Science [electronic resource] :22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings /

by d'Amore, Fabrizio [editor.] | Franciosa, Paolo Giulio [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

2. Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [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. Hybrid and Real-Time Systems [electronic resource] :International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings /

by Maler, Oded [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. 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

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

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

7. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] :12th International Symposium, AAECC-12 Toulouse, France, June 23–27, 1997 Proceedings /

by Mora, Teo [editor.] | Mattson, Harold [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. Computer Aided Verification [electronic resource] :9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings /

by Grumberg, Orna [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. Hybrid Systems IV [electronic resource] /

by Antsaklis, Panos [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [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. Theorem Proving in Higher Order Logics [electronic resource] :10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings /

by Gunter, Elsa L [editor.] | Felty, Amy [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. 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

12. Mathematical Foundations of Computer Science 1997 [electronic resource] :22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings /

by Prívara, Igor [editor.] | Ružička, 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, 1997.Online access: Click here to access online Availability: No items available

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

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

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

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

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

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

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

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


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