Refine your search

Your search returned 17441 results.

Sort
Results
4101.
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / by Series: Programming and Software Engineering ; 5014
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

4102.
Communications and Multimedia Security [electronic resource] : 12th IFIP TC 6/TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21, 2011, Proceedings / by Series: Security and Cryptology ; 7025
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

4103.
Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / by Series: Programming and Software Engineering ; 5582
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

4104.
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5697
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

4105.
4106.
Coding Theory and Applications [electronic resource] : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10495
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.

4107.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings / by Series: Programming and Software Engineering ; 5759
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

4108.
4109.
4110.
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11006
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.

4111.
4112.
Intelligent Computing Methodologies [electronic resource] : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III / by Series: Lecture Notes in Artificial Intelligence ; 10956
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.

4113.
4114.
4115.
Information Systems [electronic resource] : 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings / by Series: Lecture Notes in Business Information Processing ; 341
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.

4116.
4117.
E-Business and Telecommunications [electronic resource] : 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper / by Series: Communications in Computer and Information Science ; 990
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.

4118.
Computer Vision – ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part V / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11133
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.

4119.
Perspectives on Human-Computer Interaction Research with Older People [electronic resource] / by Series: Human–Computer Interaction Series
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.

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