Refine your search

Your search returned 434 results.

Sort
Results
141.
Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by Series: Programming and Software Engineering ; 11802
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.

142.
The First Line of Code [electronic resource] : Android Programming with Kotlin / 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.

143.
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4497
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

144.
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5028
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.

145.
Integer Programming and Combinatorial Optimization [electronic resource] : 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12125
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

146.
Search-Based Software Engineering [electronic resource] : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by Series: Programming and Software Engineering ; 12420
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

147.
Computational Methods in Systems Biology [electronic resource] : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by Series: Lecture Notes in Bioinformatics ; 12314
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

148.
149.
150.
Testing Software and Systems [electronic resource] : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / by Series: Programming and Software Engineering ; 12543
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

151.
Introduction to the Tools of Scientific Computing [electronic resource] / by Series: Texts in Computational Science and Engineering ; 25
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

152.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings / by Series: Programming and Software Engineering ; 12685
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

153.
Android for Java Programmers [electronic resource] / by
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.

154.
Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / by Series: Programming and Software Engineering ; 10457
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.

155.
Network and System Security [electronic resource] : 14th International Conference, NSS 2020, Melbourne, VIC, Australia, November 25–27, 2020, Proceedings / by Series: Security and Cryptology ; 12570
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

156.
157.
158.
Foundation Mathematics for Computer Science [electronic resource] : A Visual Approach / by
Edition: 3rd 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.

159.
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.

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