Refine your search

Your search returned 2182 results.

Sort
Results
1541.
Advances in Spatial and Temporal Databases [electronic resource] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5644
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.

1542.
Network Control and Optimization [electronic resource] : Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5894
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.

1543.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / by Series: Programming and Software Engineering ; 10489
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.

1544.
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3756
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

1545.
1546.
Euro-Par 2008 Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5168
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.

1547.
1548.
1549.
Model Driven Architecture - Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings / by Series: Programming and Software Engineering ; 5095
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.

1550.
1551.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9233
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

1552.
1553.
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9780
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.

1554.
Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5377
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.

1555.
1556.
1557.
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Series: Programming and Software Engineering ; 10510
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.

1558.
Algorithms and Architectures for Parallel Processing [electronic resource] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5574
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.

1559.
High Performance Computing [electronic resource] : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9137
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.

1560.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / by Series: Programming and Software Engineering ; 9338
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.

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