Your search returned 8339 results.

Sort
Results
7481.
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 9200
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.

7482.
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8304
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

7483.
7484.
7485.
7486.
Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8901
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.

7487.
Fun with Algorithms [electronic resource] : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8496
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.

7488.
7489.
Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9130
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.

7490.
Unconventional Computation and Natural Computation [electronic resource] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9252
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.

7491.
7492.
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10240
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.

7493.
Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10396
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.

7494.
7495.
Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9259
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.

7496.
7497.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10773
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.

7498.
Genetic Programming [electronic resource] : 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10781
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.

7499.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10848
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.

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