Refine your search

Your search returned 17575 results.

Sort
Results
2781.
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.

2782.
2783.
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.

2784.
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.

2785.
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.

2786.
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.

2787.
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.

2788.
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.

2789.
2790.
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.

2791.
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.

2792.
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.

2793.
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.

2794.
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.

2795.
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.

2796.
2797.
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.

2798.
2799.
Integrating Business Process Models and Rules [electronic resource] : Empirical Evidence and Decision Framework / by Series: Lecture Notes in Business Information Processing ; 343
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.

2800.
Algorithms and Discrete Applied Mathematics [electronic resource] : 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11394
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.

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