Finding Your Way Through Formal Verification
Häftad, Engelska
479 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- FormatHäftad
- SpråkEngelska
- Antal sidor134
- FörlagCreatespace Independent Publishing Platform
- ISBN9781986274111
Hoppa över listan
Mer från samma författare
GeoAI-Driven Earth Observation for Sustainable Development
Achala Shakya, Gaurav Tripathi, Ritambhara K. Upadhyay, Dhanendra K. Singh, Mahesh Pal, Arvind Chandra Pandey, Manish Pandey
Häftad, 2026
2 299 kr
- Nyhet
Advanced Urban Informatics
Varun Narayan Mishra, Maya Kumari, Manish Pandey, Akshay Kumar
Inbunden, 2026
3 209 kr
Navigating the Impact of Global AI Across Industries
Alan Shark, Sylvie Albert, Manish Pandey
Häftad, 2028
1 019 kr
- Nyhet
Global AI Governance from Policy to Practice
Alan Shark, Sylvie Albert, Manish Pandey
Inbunden, 2026
2 339 kr
Advances in Remote Sensing Technology and the Three Poles
Manish Pandey, Prem C. Pandey, Yogesh Ray, Aman Arora, Shridhar D. Jawak, Uma K. Shukla
Inbunden, 2023
2 939 kr
Climate Change Indicators and the Three Poles
Manish Pandey, Yogesh Ray, Prem C. Pandey, Aman Arora, Shridhar D. Jawak, Ananat Pande, Rohit Srivastava
Inbunden, 2027
6 539 kr
Hoppa över listan
Du kanske också är intresserad av
Del 547
Hydraulics and Fluid Mechanics, Volume 1
Manish Pandey, N. V. Umamahesh, Z. Ahmad, Giuseppe Oliveto
Inbunden, 2025
3 999 kr
Del 547
Hydraulics and Fluid Mechanics, Volume 1
Manish Pandey, N. V. Umamahesh, Z. Ahmad, Giuseppe Oliveto
Häftad, 2026
3 999 kr
Del 560
Hydraulics and Fluid Mechanics, Volume 2
Manish Pandey, N V Umamahesh, Z Ahmad, Giuseppe Oliveto
Häftad, 2025
3 289 kr
Del 397
Soft Computing and Geospatial Techniques in Water Resources Engineering
Manish Pandey, K. V. Jayakumar, Manali Pal, Vijay P. Singh
Inbunden, 2024
3 999 kr
Del 410
Hydrology and Hydrologic Modelling
Manish Pandey, N.V. Umamahesh, Jew Das, Jaan H. Pu
Häftad, 2025
4 289 kr
- Nyhet
Geospatial Technology and Advanced Instrumentation in Addressing Water Resources Planning and Management
Shray Pathak, Manish Pandey
Inbunden, 2026
2 009 kr
- Nyhet
Global AI Governance from Policy to Practice
Alan Shark, Sylvie Albert, Manish Pandey
Inbunden, 2026
2 339 kr