Your search returned 1702 results.

Sort
Results
161.
Mathematical Optimization Theory and Operations Research [electronic resource] : 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13367
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.

162.
Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13298
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.

163.
Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13345
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.

164.
Web Engineering [electronic resource] : 22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13362
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.

165.
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13349
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.

166.
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13299
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.

167.
168.
169.
170.
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13896
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.

171.
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13360
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.

172.
Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13659
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.

173.
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13962
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.

174.
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science
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.

175.
Next Generation Arithmetic [electronic resource] : Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13253
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.

176.
Algorithms and Discrete Applied Mathematics [electronic resource] : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13947
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.

177.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13975
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.

178.
Algorithmic Game Theory [electronic resource] : 16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14238
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.

179.
Coalgebraic Methods in Computer Science [electronic resource] : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13225
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.

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