Refine your search

Your search returned 17441 results.

Sort
Results
3501.
3502.
3503.
Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings / by Series: Programming and Software Engineering ; 6407
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.

3504.
Image Analysis and Recognition [electronic resource] : 10th International Conference, ICIAR, Aveiro, Portugal, June 26-28, 2013, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7950
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.

3505.
3506.
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8071
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.

3507.
Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by Series: Programming and Software Engineering ; 11026
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.

3508.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11022
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.

3509.
Quantitative Evaluation of Systems [electronic resource] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11024
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.

3510.
Interactive Collaborative Robotics [electronic resource] : Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11097
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.

3511.
Reachability Problems [electronic resource] : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11123
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.

3512.
3513.
Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by Series: Programming and Software Engineering ; 11222
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.

3514.
Cyberspace Safety and Security [electronic resource] : 10th International Symposium, CSS 2018, Amalfi, Italy, October 29–31, 2018, Proceedings / by Series: Security and Cryptology ; 11161
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.

3515.
Smart Health [electronic resource] : International Conference, ICSH 2018, Wuhan, China, July 1–3, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10983
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.

3516.
Theory of Cryptography [electronic resource] : 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II / by Series: Security and Cryptology ; 11240
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.

3517.
Web and Internet Economics [electronic resource] : 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11316
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.

3518.
Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 11335
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.

3519.
3520.
Graph Drawing and Network Visualization [electronic resource] : 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11282
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