Your search returned 504 results.

Results
	501.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Altenkirch, Thorsten [editor.] Naraschewski, Wolfgang [editor.] Reus, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1657 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	502.	Theoretical Aspects of Computer Software [electronic resource] : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings / by Abadi, Martin [editor.] Ito, Takayasu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1281 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	503.	Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / by Adian, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1234 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	504.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 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)

First
Previous
17
18
19
20
21
22
23
24
25
26

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