FEEDBACK Smiley face

Your search returned 1793 results. Subscribe to this search

|
1. Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings /

by Mössenböck, Hanspeter [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. 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

3. ZUM '97: The Z Formal Specification Notation [electronic resource] :10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings /

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | Till, David [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. TAPSOFT '97: Theory and Practice of Software Development [electronic resource] :7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings /

by Bidoit, Michel [editor.] | Dauchet, Max [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. 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

6. Mobile Agents [electronic resource] :First International Workshop, MA '97 Berlin, Germany, April 7–8, 1997 Proceedings /

by Rothermel, Kurt [editor.] | Popescu-Zeletin, Radu [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. 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

8. ECOOP'97 — Object-Oriented Programming [electronic resource] :11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings /

by Akşit, Mehmet [editor.] | Matsuoka, Satoshi [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. 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

10. Reliable Software Technologies — Ada-Europe '97 [electronic resource] :1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings /

by Hardy, Keith [editor.] | Briggs, Jim [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. Intelligence in Services and Networks: Technology for Cooperative Competition [electronic resource] :Fourth International Conference on Intelligence in Services and Networks, IS&N'97 Cernobbio, Italy, May 27–29, 1997 Proceedings /

by Mullery, Al [editor.] | Besson, Michel [editor.] | Campolargo, Mario [editor.] | Gobbi, Roberta [editor.] | Reed, Rick [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. 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

13. Worldwide Computing and Its Applications [electronic resource] :International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings /

by Masuda, Takashi [editor.] | Masunaga, Yoshifumi [editor.] | Tsukamoto, Michiharu [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. 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

15. Parallel Computing Technologies [electronic resource] :4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 Proceedings /

by Malyshkin, Victor [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. 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

17. Coordination Languages and Models [electronic resource] :Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings /

by Garlan, David [editor.] | Métayer, Daniel Le [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. 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

19. Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction /

by Müller-Olm, Markus [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, 1997.Online access: Click here to access online Availability: No items available

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


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