Your search returned 24 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.
Web and Internet Economics [electronic resource] : 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13778
Edition: 1st 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.

3.
4.
5.
6.
7.
8.
Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14181
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.

9.
10.
11.
12.
Web and Internet Economics [electronic resource] : 19th International Conference, WINE 2023, Shanghai, China, December 4–8, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14413
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

13.
Algebraic Frames for the Perception-Action Cycle [electronic resource] : Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1888
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

14.
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1201
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

15.
Algebraic Frames for the Perception-Action Cycle [electronic resource] : International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1315
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

16.
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1790
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

17.
Evolutionary Robotics [electronic resource] : First European Workshop, EvoRobot 98, Paris, France, April 16-17, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1468
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

18.
19.
Robot Vision [electronic resource] : International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 1998
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

20.
Hybrid Systems: Computation and Control [electronic resource] : Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1569
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

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