Your search returned 885 results.

Sort
Results
561.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14278
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.

562.
Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3133
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.

563.
Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6566
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.

564.
Transactions on High-Performance Embedded Architectures and Compilers V [electronic resource] / by Series: Transactions on High-Performance Embedded Architectures and Compilers ; 11225
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

565.
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12471
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.

566.
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.

567.
568.
Machine Learning for Cyber Security [electronic resource] : Third International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part III / by Series: Security and Cryptology ; 12488
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.

569.
570.
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.

571.
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers / by Series: Security and Cryptology ; 10543
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.

572.
573.
Java in Two Semesters [electronic resource] : Featuring JavaFX / by Series: Texts in Computer Science
Edition: 4th 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.

574.
575.
576.
577.
578.
579.
Advanced Computer Architecture [electronic resource] : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1256
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

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