Search

Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Computer Algebra in Scientific Computing [electronic resource] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P \| Koepf, Wolfram \| Seiler, Werner M \| Vorozhtsov, Evgenii V. Series: Theoretical Computer Science and General Issues ; 10490Edition: 1st ed. 2017.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria. by Legay, Axel \| Margaria, Tiziana. Series: Theoretical Computer Science and General Issues ; 10206Edition: 1st ed. 2017.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1015113. Add to cart (remove)

SIKKIM UNIVERSITY
University Portal | Contact Librarian | Library Portal

Powered by Koha