Your search returned 173 results.

Not what you expected? Check for suggestions

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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Advanced Guide to Python 3 Programming [electronic resource] / by John Hunt. by Hunt, John [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Essence of Systems Analysis and Design [electronic resource] : A Workbook Approach / by Priti Srinivas Sajja. by Sajja, Priti Srinivas [author.]. Edition: 1st ed. 2017.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore : 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. Add to cart (remove)
		Guide to Competitive Programming [electronic resource] : Learning and Improving Algorithms Through Contests / by Antti Laaksonen. by Laaksonen, Antti [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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.11. Add to cart (remove)
		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. Add to cart (remove)
		Programming Language Concepts [electronic resource] / by Peter Sestoft. by Sestoft, Peter [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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: 005.13. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Introduction to network security : theory and practice / Jie Wang, Department of Computer Science at the University of Massachusetts Lowell and Zachary A. Kissel, Department of Computer Science at Merrimack College in North Andover, MA. by Wang, Jie, 1961- \| Kissel, Zachary A. Material type: Text Publication details: Second edition. ; Hoboken, NJ : Singapore : Wiley ; HEP, 2015Online access: Wiley Online Library Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) . Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
Next
Last

		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Advanced Guide to Python 3 Programming [electronic resource] / by John Hunt. by Hunt, John [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Essence of Systems Analysis and Design [electronic resource] : A Workbook Approach / by Priti Srinivas Sajja. by Sajja, Priti Srinivas [author.]. Edition: 1st ed. 2017.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore : 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. Add to cart (remove)
		Guide to Competitive Programming [electronic resource] : Learning and Improving Algorithms Through Contests / by Antti Laaksonen. by Laaksonen, Antti [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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.11. Add to cart (remove)
		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. Add to cart (remove)
		Programming Language Concepts [electronic resource] / by Peter Sestoft. by Sestoft, Peter [author.]. Series: Undergraduate Topics in Computer ScienceEdition: 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: 005.13. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		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. Add to cart (remove)
		Introduction to network security : theory and practice / Jie Wang, Department of Computer Science at the University of Massachusetts Lowell and Zachary A. Kissel, Department of Computer Science at Merrimack College in North Andover, MA. by Wang, Jie, 1961- \| Kissel, Zachary A. Material type: Text Publication details: Second edition. ; Hoboken, NJ : Singapore : Wiley ; HEP, 2015Online access: Wiley Online Library Availability: Items available for reference: Central Library, Sikkim University Not for loan (1) . Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 173 results.