Your search returned 76 results.

Sort
Results
1.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Series: Programming and Software Engineering ; 11294
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.

2.
Transactions on Pattern Languages of Programming IV [electronic resource] / by Series: Transactions on Pattern Languages of Programming ; 10600
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.

3.
Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by Series: Programming and Software Engineering ; 11771
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.

4.
Wireless Sensor Networks [electronic resource] : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 8965
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.

5.
6.
7.
8.
9.
Real-Time C++ [electronic resource] : Efficient Object-Oriented and Template Microcontroller Programming / by
Edition: 4th ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

10.
Real-Time Systems [electronic resource] : Design Principles for Distributed Embedded Applications / by
Edition: 3rd ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

11.
Formal Methods and Software Engineering [electronic resource] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by Series: Programming and Software Engineering ; 11232
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.

12.
Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8097
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.

13.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by Series: Programming and Software Engineering ; 12031
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

14.
Service-Oriented and Cloud Computing [electronic resource] : 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings / by Series: Programming and Software Engineering ; 12054
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

15.
16.
Mobile, Secure, and Programmable Networking [electronic resource] : 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 11005
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.

17.
18.
Wireless Sensor Networks [electronic resource] : 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 8354
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

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