Results
|
|
|
Handbook of Computational Chemistry [electronic resource] / edited by Jerzy Leszczynski, Anna Kaczmarek-Kedziera, Tomasz Puzyn, Manthos G. Papadopoulos, Heribert Reis, Manoj K. Shukla. by Leszczynski, Jerzy | Kaczmarek-Kedziera, Anna | Puzyn, Tomasz | G. Papadopoulos, Manthos | Reis, Heribert | K. Shukla, Manoj. Edition: 2nd 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: 541.2.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection [electronic resource] : 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings / edited by Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta. by Demazeau, Yves | Matson, Eric | Corchado, Juan Manuel | De la Prieta, Fernando. Series: Lecture Notes in Artificial Intelligence ; 11523Edition: 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: 006.3.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / edited by Bhabesh Deka, Pradipta Maji, Sushmita Mitra, Dhruba Kumar Bhattacharyya, Prabin Kumar Bora, Sankar Kumar Pal. by Deka, Bhabesh | Maji, Pradipta | Mitra, Sushmita | Bhattacharyya, Dhruba Kumar | Bora, Prabin Kumar | Pal, Sankar Kumar. Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11941Edition: 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: 004.0151.
|
|
|
|
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.
|
|
|
|
Analysis of Images, Social Networks and Texts [electronic resource] : 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers / edited by Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Khachay, Valentina Kuskova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina. by van der Aalst, Wil M. P | Batagelj, Vladimir | Ignatov, Dmitry I | Khachay, Michael | Kuskova, Valentina | Kutuzov, Andrey | Kuznetsov, Sergei O | Lomazova, Irina A | Loukachevitch, Natalia | Napoli, Amedeo | Pardalos, Panos M | Pelillo, Marcello | Savchenko, Andrey V | Tutubalina, Elena. Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11832Edition: 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: 006.312.
|
|
|
|
Secure IT Systems [electronic resource] : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings / edited by Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius. by Lipmaa, Helger | Mitrokotsa, Aikaterini | Matulevičius, Raimundas. Series: Security and Cryptology ; 10674Edition: 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.8.
|
|
|
|
Robot Intelligence Technology and Applications [electronic resource] : 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16–18, 2018, Revised Selected Papers / edited by Jong-Hwan Kim, Hyung Myung, Seung-Mok Lee. by Kim, Jong-Hwan | Myung, Hyung | Lee, Seung-Mok. Series: Communications in Computer and Information Science ; 1015Edition: 1st ed. 2019.Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) Call number: 629.892.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
