Login | Sign Up | Settings | Wish List

 



Searching ...
0 %

Books by Sumanth Prabhu






Environmental Cardiology(1st Edition)
Pollution and Heart Disease (Issues in Toxicology)
by Aruni Bhatnagar, Diana Anderson, Mike D. Waters, Matthew Campen, Doug Dockery, M. Kleinman, Mark J. Utell, Contributor-Jesus Araujo, Victor Van Hee, Joel Kaufman, Joel Schwartz, Sanjay Rajagopalan, Robert Brook, Murray Mittleman, Sumanth Prabhu, Annette Peters, Lung-Chi Chen, A. Barchowsky, Daniel Conklin, Tim Marrs, Sanjay Srivastava, Jane Doe
Hardcover, 390 Pages, Published 2011 by Royal Society Of Chemistry
ISBN-13: 978-1-84973-005-1, ISBN: 1-84973-005-9

"Although it is widely recognized that environmental factors such as smoking, diet, exercise, and socioeconomic status affect the risk of cardiovascular disease, recent work showing the effects of other environmental factors provides a more complete assessment of the situation. This view has emerged from three developments. Firstly, there has been a sudden explosion in the prevalence of diabetes and obesity which indicates a strong envir ..."






Programming Languages and Systems
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
by Stephanie Weirich
462 Pages, Published by Springer Nature
ISBN-13: 978-3-031-57267-8, ISBN: 3-031-57267-X






Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
by Dirk Beyer , Marieke Huisman
474 Pages, Published 2018 by Springer
ISBN-13: 978-3-319-89963-3, ISBN: 3-319-89963-5






Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
by Andreas Podelski
445 Pages, Published 2018 by Springer
ISBN-13: 978-3-319-99725-4, ISBN: 3-319-99725-4






Tools and Algorithms for the Construction and Analysis of Systems
by Biere
399 Pages, Published 2020 by Springer Nature
ISBN-13: 978-3-031-57249-4, ISBN: 3-031-57249-1






Abstracts of Proceedings National Conference on Knowledge, Innovations, and Technologies for Sustainability” in association with ACM and SCRS Student Chapter
by Dr.K.Reddy Madhavi,Dr.K.Suresh,Dr.D.Ganesh,Dr. B. Narendra Kumar Rao
107 Pages, Published 2022 by Gcs Publishers
ISBN-13: 978-93-94304-99-4, ISBN: 93-94304-99-1






The Patient History(1st Edition)
Evidence-Based Approach (Lange Medical Books)
by Lawrence M. Tierney , M.D. Henderson Mark C. , Maurice Kraytman
Paperback, 450 Pages, Published 2004 by Mcgraw-Hill Medical
ISBN-13: 978-0-07-140260-6, ISBN: 0-07-140260-8






Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
by Étienne André , Jun Sun
339 Pages, Published 2023 by Springer Nature
ISBN-13: 978-3-031-45332-8, ISBN: 3-031-45332-8






Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15–18, 2019, Proceedings, Part I
by Isil Dillig
680 Pages, Published 2000 by Springer
ISBN-13: 978-3-030-25540-4, ISBN: 3-030-25540-9






Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
by Constantin Enea , Akash Lal
513 Pages, Published 2023 by Springer Nature
ISBN-13: 978-3-031-37709-9, ISBN: 3-031-37709-5

All Authors

Sumanth Prabhu

Annette Peters

Murray Mittleman

Sanjay Rajagopalan

Robert Brook

Lung-Chi Chen

Sanjay Srivastava

Jane Doe

Tim Marrs

Barchowsky