Results
|
|
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.
|
|
|
|
|
|
Switching and Finite Automata Theory by Kohavi, Zvi | Jha, Niraj K. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi: The Cambridge University, 2010Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 511.35 KOH/S.
|
|
|
Elements of the Theory of Computation, by Lewis, Harry R | Papadimitriou, Christos H. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Noida Pearson Education Asia, 2015Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 511.3 LEW/E.
|
|
|
Discrete Structures Logic, and Computability by Hein, James.J. Edition: 4th,ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi: Jones and Barlett, 2017Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 004.0151 HEI/D.
|