Results
|
|
|
Software engineering / Ian Sommerville. by Sommerville, Ian. Edition: 8th ed.Material type:  Text Publication details: Harlow, England ; New York : Addison-Wesley, 2007Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.1 SOM/S.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Structure for dependability: computer-based systems from an interdisciplinary perspective/ edited by Denis Besnard, Cristina Gacek, Cliff B. Jones by Besnard, Denis, ed | Jones, C. B., ed | Gacek, Cristina, ed. Material type: Text Publication details: New York ; London : Springer, 2006Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.1 BEN/S.
|
|
|
|
Fundamentals of software engineering/ Rajib Mall. by Mall, Rajib. Edition: 3rd ed.Material type: Text Publication details: New Delhi : PHI Learnings , 2010Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.1 MAL/F.
|
|
|
|
|
|
|
|
Software engineering/ Ian Sommerville by Sommerville, Ian. Edition: 8th ed.Material type: Text Publication details: Delhi: Pearson Education, 2007Availability: Items available for loan: Central Library, Sikkim University (1) Call number: 005.1 SOM/S.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer and Information Sciences [electronic resource] : 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings / edited by Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent. by Czachórski, Tadeusz | Gelenbe, Erol | Grochla, Krzysztof | Lent, Ricardo. Series: Communications in Computer and Information Science ; 935Edition: 1st ed. 2018.Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.7.
|
|
|
|
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.
|
|
|
|
|
|
|
|
Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. by Bennaceur, Amel | Hähnle, Reiner | Meinke, Karl. Series: Programming and Software Engineering ; 11026Edition: 1st ed. 2018.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 005.1.
|
|
|
|
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.
|
|
|
|
|
