Results
|
|
|
|
|
|
|
The C++ programming language / Bjarne Stroustrup by Stroustrup, Bjarne. Edition: 3rd ed.Material type:  Text Publication details: India: Pearson, 2000Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.133 STR/C.
|
|
|
|
|
|
|
|
Java: the complete reference / Herbert Schildt by Schildt, Herbert. Edition: 7th ed.Material type: Text Publication details: New Delhi : Tata Mcgraw Hill , 2007Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.13 SCH/J.
|
|
|
|
Java: the complete reference / Herbert Schildt by Schildt, Herbert. Edition: 5th ed.Material type: Text Publication details: New Delhi : Tata Mcgraw Hill , 2007Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.13 SCH/J.
|
|
|
|
|
|
|
|
Java: the complete reference / Herbert Schildt by Schildt, Herbert. Edition: 7th ed.Material type: Text Publication details: New Delhi : Tata Mcgraw Hill , 2007Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.13 SCH/J.
|
|
|
|
|
|
|
|
The C++ programming language/ Bjarne Stroustrup. by Stroustrup, Bjarne. Edition: 3rd ed.Material type: Text Publication details: India: Pearson, 2000Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.133 STR/C.
|
|
|
|
The C++ programming language/ Bjarne Stroustrup. by Stroustrup, Bjarne. Edition: 3rd ed.Material type: Text Publication details: India: Pearson, 2000Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.133 STR/C.
|
|
|
|
Theory of computation/ George J Tourlakis by Tourlakis, George J. Material type: Text Publication details: Hoboken: Wiley, 2012Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 511.352 TOU/T.
|
|
|
|
|
|
|
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / edited by Anthony Widjaja Lin. by Lin, Anthony Widjaja. Series: Programming and Software Engineering ; 11893Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
 ; 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: 005.13.
|
|
|
|
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; 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.1015113.
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin. by Huisman, Marieke | Rubin, Julia. Series: Theoretical Computer Science and General Issues ; 10202Edition: 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.1.
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Esparza, Javier | Murawski, Andrzej S. Series: Theoretical Computer Science and General Issues ; 10203Edition: 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.
|
|
|
|
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.
|
