Your search returned 35 results.

Sort
Results
1.
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13872
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

2.
3.
Software Engineering for Robotics [electronic resource] / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

4.
5.
Computer Safety, Reliability, and Security [electronic resource] : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by Series: Programming and Software Engineering ; 12852
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

6.
7.
RoboCup 2014: Robot World Cup XVIII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 8992
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.

8.
Automotive Systems and Software Engineering [electronic resource] : State of the Art and Future Trends / by
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.

9.
Augmented Cognition [electronic resource] : 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11580
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.

10.
Precision Assembly in the Digital Age [electronic resource] : 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers / by Series: IFIP Advances in Information and Communication Technology ; 530
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.

11.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12524
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

12.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13046
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

13.
14.
15.
RoboCup 2006: Robot Soccer World Cup X [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 4434
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.

16.
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 5001
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.

17.
RoboCup 2011: Robot Soccer World Cup XV [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 7416
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

18.
RoboCup 2012: Robot Soccer World Cup XVI [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 7500
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.

19.
RoboCup 2004: Robot Soccer World Cup VIII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 3276
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.

20.
RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 4020
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.

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