Your search returned 926 results.

Sort
Results
901.
902.
Algebraic Informatics [electronic resource] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11545
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.

903.
Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11785
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.

904.
905.
906.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7844
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.

907.
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 4630
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.

908.
909.
Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4863
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.

910.
Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9705
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.

911.
912.
913.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8031
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.

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

916.
Algorithms and Complexity [electronic resource] : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10236
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.

917.
918.
Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9198
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

919.
Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6844
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.

920.
Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10792
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.

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