Your search returned 7886 results.

Sort
Results
121.
Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13898
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

122.
Security and Trust Management [electronic resource] : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings / by Series: Security and Cryptology ; 9331
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.

123.
Foundations of Information and Knowledge Systems [electronic resource] : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9616
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.

124.
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Series: Programming and Software Engineering ; 9058
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.

125.
Security Standardisation Research [electronic resource] : First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings / by Series: Security and Cryptology ; 8893
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

126.
127.
Experimental Algorithms [electronic resource] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9125
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.

128.
Functional and Logic Programming [electronic resource] : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2998
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

129.
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / by Series: Security and Cryptology ; 10006
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.

130.
Formal Grammar [electronic resource] : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8612
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

131.
Advances in Information and Computer Security [electronic resource] : 11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings / by Series: Security and Cryptology ; 9836
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.

132.
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3003
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

133.
134.
Algorithms - ESA 2014 [electronic resource] : 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8737
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

135.
Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8652
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

136.
Concurrency, Security, and Puzzles [electronic resource] : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 10160
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.

137.
138.
Advances in Cryptology – ASIACRYPT 2017 [electronic resource] : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III / by Series: Security and Cryptology ; 10626
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.

139.
Machines, Computations, and Universality [electronic resource] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10881
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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