Your search returned 1614 results.

Sort
Results
1161.
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 21st International Conference, SAMOS 2021, Virtual Event, July 4–8, 2021, Proceedings / by Series: Lecture Notes in Computer Science ; 13227
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.

1162.
1163.
Applied Informatics [electronic resource] : Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1051
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.

1164.
1165.
Applied Informatics [electronic resource] : 5th International Conference, ICAI 2022, Arequipa, Peru, October 27–29, 2022, Proceedings / by Series: Communications in Computer and Information Science ; 1643
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.

1166.
1167.
1168.
1169.
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3223
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

1170.
Multiagent System Technologies [electronic resource] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3187
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

1171.
1172.
1173.
Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9151
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.

1174.
1175.
Networked Systems [electronic resource] : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 11704
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.

1176.
1177.
1178.
1179.
1180.
Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14290
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.

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