Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Gerard Berry · Hubert Comon · Alain Finkel
2003 මැයි · Springer
ඉ-පොත
522
පිටු
reportඇගයීම් සහ සමාලෝචන සත්‍යාපනය කර නැත වැඩිදුර දැන ගන්න
මෙම ඉ-පොත අගයන්න
ඔබ සිතන දෙය අපට කියන්න.
කියවීමේ තොරතුරු
ස්මාර්ට් දුරකථන සහ ටැබ්ලට්
Android සහ iPad/iPhone සඳහා Google Play පොත් යෙදුම ස්ථාපනය කරන්න. එය ඔබේ ගිණුම සමඟ ස්වයංක්‍රීයව සමමුහුර්ත කරන අතර ඔබට ඕනෑම තැනක සිට සබැඳිව හෝ නොබැඳිව කියවීමට ඉඩ සලසයි.
ලැප්ටොප් සහ පරිගණක
ඔබට ඔබේ පරිගණකයේ වෙබ් බ්‍රව්සරය භාවිතයෙන් Google Play මත මිලදී ගත් ශ්‍රව්‍යපොත්වලට සවන් දිය හැක.
eReaders සහ වෙනත් උපාංග
Kobo eReaders වැනි e-ink උපාංග පිළිබඳ කියවීමට, ඔබ විසින් ගොනුවක් බාගෙන ඔබේ උපාංගයට එය මාරු කිරීම සිදු කළ යුතු වේ. ආධාරකරු ඉ-කියවනයට ගොනු මාරු කිරීමට විස්තරාත්මක උදවු මධ්‍යස්ථාන උපදෙස් අනුගමනය කරන්න.
