Your search returned 8340 results.

Sort
Results
5921.
Principles and Practice of Constraint Programming [electronic resource] : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by Series: Programming and Software Engineering ; 9892
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.

5922.
5923.
Algorithmic Decision Theory [electronic resource] : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9346
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.

5924.
Discovery Science [electronic resource] : 20th International Conference, DS 2017, Kyoto, Japan, October 15–17, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10558
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.

5925.
Approximation and Online Algorithms [electronic resource] : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10138
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.

5926.
5927.
Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10381
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.

5928.
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10088
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.

5929.
5930.
Membrane Computing [electronic resource] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10105
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.

5931.
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by Series: Programming and Software Engineering ; 9333
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.

5932.
Computational Methods in Systems Biology [electronic resource] : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / by Series: Lecture Notes in Bioinformatics ; 10545
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.

5933.
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10392
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.

5934.
5935.
Bioinformatics and Biomedical Engineering [electronic resource] : 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings / by Series: Lecture Notes in Bioinformatics ; 9656
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.

5936.
Engineering Secure Software and Systems [electronic resource] : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / by Series: Security and Cryptology ; 10379
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.

5937.
WALCOM: Algorithms and Computation [electronic resource] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9627
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.

5938.
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8963
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.

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