1. Sacred Heart College (Autonomous)
  2. 000 Computer science, Information & General works

0.1 Data Processing & Computer Science Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 721 to 740 of 4422
< previous   next >
Issue DateTitleAuthor(s)
2024Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part IGurfinkel, Arie
2023Author : Enea, ConstantinComputer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part IIIEnea, Constantin
2023Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part IIEnea, Constantin
2023Author : Enea, ConstantinComputer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part IEnea, Constantin
2022Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part IIShoham, Sharon
2022Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part IShoham, Sharon
2021Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part IISilva, Alexandra
2021Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part ISilva, Alexandra
2020Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part IILahiri, Shuvendu K
2020Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part ILahiri, Shuvendu K.
2019Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, PartDillig, Isil
2019Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, PartDillig, Isi
2019Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, PartDillig, Isi
2018Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIChockler, , Hana
2018Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IChockler, Hana
2011-12-14Computer Aided System for Nuclear Stained Breast Cancer Cell CountingPleumjit, Boonyaphiphat
2017Computer Aided Diagnosis - Medical Image Analysis TechniquesBhagirathi, Halalli
2010-04-01Computer Aided Design of Waveguide Devices by Mode-Matching MethodsJesus M., Rebollar
2017-08-09Computed Tomography in Veterinary Medicine: Currently Published and Tomorrow's VisionMatthew Keane
2017-08-09Computed Tomography in Veterinary Medicine: Currently Published and Tomorrow's VisionMatthew, Keane
Collection's Items (Sorted by Submit Date in Descending order): 721 to 740 of 4422
< previous   next >

Discover