Refine your search

Your search returned 17441 results.

Sort
Results
4821.
4822.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9268
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4823.
4824.
4825.
4826.
4827.
Secure IT Systems [electronic resource] : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings / by Series: Security and Cryptology ; 9417
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4828.
4829.
Digital-Forensics and Watermarking [electronic resource] : 13th International Workshop, IWDW 2014, Taipei, Taiwan, October 1-4, 2014. Revised Selected Papers / by Series: Security and Cryptology ; 9023
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4830.
Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / by Series: Security and Cryptology ; 9496
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4831.
4832.
4833.
4834.
Reasoning Web. Web Logic Rules [electronic resource] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9203
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4835.
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by Series: Programming and Software Engineering ; 9081
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4836.
Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by Series: Programming and Software Engineering ; 10028
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4837.
Mobile, Secure, and Programmable Networking [electronic resource] : Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 10026
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4838.
4839.
4840.
Image and Graphics [electronic resource] : 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10667
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in