Your search returned 1297 results.

Sort
Results
41.
Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11600
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

42.
Algorithms and Complexity [electronic resource] : 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11485
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.

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

45.
46.
Graph Drawing and Network Visualization [electronic resource] : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9801
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.

47.
Numerical Methods and Applications [electronic resource] : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11189
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.

48.
Combinatorial Optimization and Applications [electronic resource] : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8881
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.

49.
50.
51.
52.
Algorithms and Models for the Web-Graph [electronic resource] : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6732
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.

53.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7993
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.

54.
Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11690
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.

55.
Public Key Cryptography - PKC 2010 [electronic resource] : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings / by Series: Security and Cryptology ; 6056
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

56.
Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11228
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.

57.
Logic Functions and Equations [electronic resource] : Binary Models for Computer Science / by
Edition: 2nd 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.

58.
Algorithmic Aspects in Information and Management [electronic resource] : 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13513
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.

59.
Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10692
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.

60.
Algorithms and Models for the Web Graph [electronic resource] : 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11631
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.

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