Yazar
Natarajan Shankar
6 cilt bulundu.
Cilt sonuçları
Automated Reasoning
Ulrich Furbach, Natarajan Shankar · Springer
680 sayfa · 2006
Logic design / Artificial intelligence / Computer science / Software engineering / Automatic theorem proving
Framework for selection and evaluation of bicycle and pedestrian safety projects in Virginia
Shankar Natarajan · Virginia Transportation Research Council
50 sayfa · 2008
Planning / Safety measures / Pedestrian areas / Cycling / Pedestrians
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Natarajan Shankar · National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program
127 sayfa · 1991
Computer programs / Synchronization / Fault-tolerant computing / Verification
Intersection of AI and Business Intelligence in Data-Driven Decision-Making
Arul Kumar Natarajan, Mohammad Gouse Galety, Celestine Iwendi, Deepthi Das, Achyut Shankar · IGI Global
Sayfa sayısı yok · 2024
Kategori yok