Your search returned 763 results.

Results
	761.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / by Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	762.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	763.	ZUM '98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / by Bowen, Jonathan P [editor.] Fett, Andreas [editor.] Hinchey, Michael G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1493 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
30
31
32
33
34
35
36
37
38
39

© 2024 IIIT-Delhi, library@iiitd.ac.in