Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
সংরক্ষণ করুন:
প্রধান লেখক: | |
---|---|
সংস্থা লেখক: | |
অন্যান্য লেখক: | |
বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
ভাষা: | English |
প্রকাশিত: |
Berlin, Heidelberg
Springer
2010.
|
মালা: | Lecture Notes in Computer Science,
6143 |
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | Click here to view the full text content |
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
দৈহিক বর্ননা: | 1 online resource digital. |
---|---|
আইসবিএন: | 9783642139772 9783642139765 |
আইএসএসএন: | 0302-9743 ; |