Refine your search

Your search returned 1899 results.

Sort
Results
501.
502.
Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13181
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.

503.
Trustworthy Global Computing [electronic resource] : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8358
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.

504.
Web Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9898
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.

505.
Foundations of Information and Knowledge Systems [electronic resource] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10833
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.

506.
507.
Formal Analysis by Abstract Interpretation [electronic resource] : Case Studies in Modern Protocols / by Series: SpringerBriefs in Applied Sciences and Technology
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.

508.
509.
Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13206
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.

510.
511.
Combinatorics on Words [electronic resource] : 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13899
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.

512.
Metadata and Semantic Research [electronic resource] : 16th Research Conference, MTSR 2022, London, UK, November 7–11, 2022, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1789
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.

513.
514.
515.
Artificial General Intelligence [electronic resource] : 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13154
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.

516.
Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / by Series: Programming and Software Engineering ; 13165
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.

517.
518.
Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13223
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.

519.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8123
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.

520.
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10644
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.

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