Refine your search

Your search returned 1296 results.

Sort
Results
1001.
Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14235
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1002.
Combinatorial Optimization and Applications [electronic resource] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6509
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

1003.
Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Series: Lecture Notes in Artificial Intelligence ; 4929
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

1004.
Number Theory and Cryptography [electronic resource] : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 8260
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

1005.
Transactions on Computational Systems Biology XI [electronic resource] : Computational Models for Cell Processes / by Series: Transactions on Computational Systems Biology ; 5750
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1006.
Foundations of Information and Knowledge Systems [electronic resource] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8367
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.

1007.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13453
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1008.
Fundamentals of Computation Theory [electronic resource] : 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14292
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1009.
1010.
1011.
Advances in Cryptology – EUROCRYPT 2016 [electronic resource] : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I / by Series: Security and Cryptology ; 9665
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

1012.
Algorithm Theory -- SWAT 2014 [electronic resource] : 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8503
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.

1013.
Trusted Systems [electronic resource] : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / by Series: Security and Cryptology ; 9565
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.

1014.
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by Series: Security and Cryptology ; 9639
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.

1015.
1016.
Information Security and Cryptoloy - ICISC 2008 [electronic resource] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers / by Series: Security and Cryptology ; 5461
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1017.
Selected Areas in Cryptography - SAC 2015 [electronic resource] : 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers / by Series: Security and Cryptology ; 9566
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.

1018.
1019.
1020.
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8176
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

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