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): 561 to 580 of 4252
Issue DateTitleAuthor(s)
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
2013Computed Tomography Imaging of the Coronary ArteriesG.J. Pelgrim
2022-08-27Computationally Efficient Kalman Filter Approaches for Fitting Smoothing SplinesXiaoxiao Sun
2012-03-14Computational Virtual Screening Towards Designing Novel Anticancer DrugsPo-Yuan Chen
2016Computational Vector Mechanics in Atmospheric and Climate ModelingJames, Williams
2016Computational Tools for Data Processing in Smart CitiesDanilo Hernane Spatti
2016Computational Tools for Data Processing in Smart CitiesDanilo Hernane, Spatti
2010Computational Tools applied to Urban EngineeringArmando Carlos de Pina, Filho
2019Computational Thinking EducationKong, Siu-Cheung
2018Computational Thermoelectricity Applied to Cooling DevicesRoberto, Palma
2011Computational Techniques for Automotive Antenna SimulationsFaik Bogdanov
Collection's Items (Sorted by Submit Date in Descending order): 561 to 580 of 4252