Your search returned 2397 results.

Sort
Results
941.
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6174
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.

942.
943.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings / by Series: Programming and Software Engineering ; 4748
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

944.
Transactions on Computational Collective Intelligence V [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 6910
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.

945.
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 4074
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

946.
Multi-Agent Systems for Society [electronic resource] : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4078
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.

947.
948.
949.
Multiple Access Communications [electronic resource] : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 9305
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.

950.
951.
952.
SDL 2009: Design for Motes and Mobiles [electronic resource] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5719
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.

953.
954.
Service-Oriented Computing [electronic resource] : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10601
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.

955.
Transactions on Computational Collective Intelligence XXVII [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 10480
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.

956.
Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10863
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.

957.
958.
959.
960.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in