Your search returned 6990 results.

Sort
Results
5561.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10419
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.

5562.
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9828
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.

5563.
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9047
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.

5564.
Passive and Active Measurement [electronic resource] : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 10176
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.

5565.
Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by Series: Programming and Software Engineering ; 9526
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.

5566.
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9613
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.

5567.
5568.
Security and Trust Management [electronic resource] : 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings / by Series: Security and Cryptology ; 10547
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.

5569.
Performance Characterization and Benchmarking. Traditional to Big Data [electronic resource] : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers / by Series: Programming and Software Engineering ; 8904
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.

5570.
5571.
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8762
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.

5572.
Applied Reconfigurable Computing [electronic resource] : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10216
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.

5573.
5574.
Software Architecture [electronic resource] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / by Series: Programming and Software Engineering ; 9839
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.

5575.
5576.
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9426
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.

5577.
Smart Graphics [electronic resource] : 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9317
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.

5578.
Brain Informatics and Health [electronic resource] : 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9250
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.

5579.
5580.
Information Security Theory and Practice [electronic resource] : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26–27, 2016, Proceedings / by Series: Security and Cryptology ; 9895
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.

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