Results
|
|
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.
|
|
|
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; 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: 374.26.
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / edited by Michael Bailey, Thorsten Holz, Manolis Stamatogiannakis, Sotiris Ioannidis. by Bailey, Michael | Holz, Thorsten | Stamatogiannakis, Manolis | Ioannidis, Sotiris. Series: Security and Cryptology ; 11050Edition: 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.8.
|
|
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I / edited by Aythami Morales, Julian Fierrez, José Salvador Sánchez, Bernardete Ribeiro. by Morales, Aythami | Fierrez, Julian | Sánchez, José Salvador | Ribeiro, Bernardete. Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11867Edition: 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.4.
|
|
|
Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Paul Kaufmann, Pedro A. Castillo. by Kaufmann, Paul | Castillo, Pedro A. Series: Theoretical Computer Science and General Issues ; 11454Edition: 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.1.
|
|
|
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning [electronic resource] : 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II / edited by Igor V. Tetko, Věra Kůrková, Pavel Karpov, Fabian Theis. by Tetko, Igor V | Kůrková, Věra | Karpov, Pavel | Theis, Fabian. Series: Theoretical Computer Science and General Issues ; 11728Edition: 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.
|
|
|
Symbiotic Interaction [electronic resource] : 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers / edited by Jaap Ham, Anna Spagnolli, Benjamin Blankertz, Luciano Gamberini, Giulio Jacucci. by Ham, Jaap | Spagnolli, Anna | Blankertz, Benjamin | Gamberini, Luciano | Jacucci, Giulio. Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10727Edition: 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.
|
|
|
Cloud Infrastructures, Services, and IoT Systems for Smart Cities [electronic resource] : Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings / edited by Antonella Longo, Marco Zappatore, Massimo Villari, Omer Rana, Dario Bruneo, Rajiv Ranjan, Maria Fazio, Philippe Massonet. by Longo, Antonella | Zappatore, Marco | Villari, Massimo | Rana, Omer | Bruneo, Dario | Ranjan, Rajiv | Fazio, Maria | Massonet, Philippe. Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 189Edition: 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: 004.6.
|
|
|
|
|
|
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers / edited by Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri. by Bracciali, Andrea | Caravagna, Giulio | Gilbert, David | Tagliaferri, Roberto. Series: Lecture Notes in Bioinformatics ; 10477Edition: 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: 570.285.
|
|
|
|
|
|
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.
|
|
|
Principles of Security and Trust [electronic resource] : 6th International Conference, POST 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 Matteo Maffei, Mark Ryan. by Maffei, Matteo | Ryan, Mark. Series: Security and Cryptology ; 10204Edition: 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.8.
|
|
|
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.
|
|
|
Intelligent Human Computer Interaction [electronic resource] : 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings / edited by Anupam Basu, Sukhendu Das, Patrick Horain, Samit Bhattacharya. by Basu, Anupam | Das, Sukhendu | Horain, Patrick | Bhattacharya, Samit. Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10127Edition: 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.437.
|
|
|
|