Your search returned 2331 results.

Sort
Results
121.
WALCOM: Algorithms and Computation [electronic resource] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6552
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

122.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3787
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

123.
Combinatorial Optimization and Applications [electronic resource] : 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11346
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.

124.
125.
Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / by Series: Security and Cryptology ; 9326
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.

126.
Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Series: Programming and Software Engineering ; 11254
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.

127.
AI 2018: Advances in Artificial Intelligence [electronic resource] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11320
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.

128.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11452
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

129.
Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8656
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.

130.
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10389
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.

131.
132.
Variable Neighborhood Search [electronic resource] : 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11328
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

133.
Engineering Trustworthy Software Systems [electronic resource] : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by Series: Programming and Software Engineering ; 11430
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

134.
Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13608
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.

135.
String Processing and Information Retrieval [electronic resource] : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13617
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.

136.
Petri Nets [electronic resource] : Theoretical Models and Analysis Methods for Concurrent Systems / by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

137.
Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8344
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.

138.
139.
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings / by Series: Security and Cryptology ; 7981
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.

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