Refine your search

Your search returned 2583 results.

Sort
Results
741.
String Processing and Information Retrieval [electronic resource] : 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12944
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.

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

743.
Parallel Programming [electronic resource] : for Multicore and Cluster Systems / 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.

744.
745.
Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

746.
WALCOM: Algorithms and Computation [electronic resource] : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12635
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.

747.
748.
Theoremus [electronic resource] : A Student's Guide to Mathematical Proofs / by
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.

749.
Algorithms for Computational Biology [electronic resource] : 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings / by Series: Lecture Notes in Bioinformatics ; 12715
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.

750.
751.
Handbook of Computability and Complexity in Analysis [electronic resource] / by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
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.

752.
753.
Algorithmic Game Theory [electronic resource] : 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12885
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.

754.
Comparative Genomics [electronic resource] : 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings / by Series: Lecture Notes in Bioinformatics ; 13234
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.

755.
Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
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.

756.
Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13252
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.

757.
758.
WALCOM: Algorithms and Computation [electronic resource] : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13973
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.

759.
Computer Aided Engineering of Batteries [electronic resource] / by Series: Modern Aspects of Electrochemistry ; 62
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.

760.
Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004 Calcutta, India, November 22–25, 2004 Proceedings / by Series: Lecture Notes in Computer Science ; 3316
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.

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