Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Results
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.

by Majumdar, Rupak | Kunčak, Viktor.

Series: Theoretical Computer Science and General Issues ; 10427Edition: 1st ed. 2017.Material type: Text Text; Format: electronic available online remote; 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.1015113.

e-Learning, e-Education, and Online Training [electronic resource] : 5th EAI International Conference, eLEOT 2019, Kunming, China, August 18–19, 2019, Proceedings / edited by Guanglu Sun, Jianhou Gan, Shuai Liu, Fei Lang, Zeguang Lu.

by Sun, Guanglu | Gan, Jianhou | Liu, Shuai | Lang, Fei | Lu, Zeguang.

Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 299Edition: 1st ed. 2019.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 374.26.

Pages
SIKKIM UNIVERSITY
University Portal | Contact Librarian | Library Portal

Powered by Koha