Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Gerard Berry · Hubert Comon · Alain Finkel
२००३ मे · Springer
इ-पुस्तक
522
पृष्ठहरू
reportरेटिङ र रिभ्यूहरूको पुष्टि गरिएको हुँदैन थप जान्नुहोस्
यो इ-पुस्तकको मूल्याङ्कन गर्नुहोस्
हामीलाई आफ्नो धारणा बताउनुहोस्।
जानकारी पढ्दै
स्मार्टफोन तथा ट्याबलेटहरू
Android र iPad/iPhone का लागि Google Play किताब एप को इन्स्टल गर्नुहोस्। यो तपाईंको खातासॅंग स्वतः सिंक हुन्छ र तपाईं अनलाइन वा अफलाइन जहाँ भए पनि अध्ययन गर्न दिन्छ।
ल्यापटप तथा कम्प्युटरहरू
तपाईं Google Play मा खरिद गरिएको अडियोबुक आफ्नो कम्प्युटरको वेब ब्राउजर प्रयोग गरेर सुन्न सक्नुहुन्छ।
eReaders र अन्य उपकरणहरू
Kobo eReaders जस्ता e-ink डिभाइसहरूमा फाइल पढ्न तपाईंले फाइल डाउनलोड गरेर उक्त फाइल आफ्नो डिभाइसमा ट्रान्स्फर गर्नु पर्ने हुन्छ। ती फाइलहरू पढ्न मिल्ने इबुक रिडरहरूमा ती फाइलहरू ट्रान्स्फर गर्नेसम्बन्धी विस्तृत निर्देशनहरू प्राप्त गर्न मद्दत केन्द्र मा जानुहोस्।
