يعرض
1 - 1
نتائج من
1
نتيجة بحث عن '
'
تخطي إلى المحتوى
UPFind
0
مواد
(ممتلئ)
اللغة
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
كل الحقول
العنوان
المؤلف
الموضوع
رقم الطلب
ردمك/تدمد
ابحث
بحث متقدم
SUBJECT:
Computer science
و
Logic design
و
Computer science -- Mathematics -- Congresses
DATABASE:
Union Catalog (Buklod)
عرض المنقحات (%%عد%%)
SUBJECT:
Computer science
و
Logic design
و
Computer science -- Mathematics -- Congresses
DATABASE:
Union Catalog (Buklod)
نتائج البحث
يعرض
1 - 1
نتائج من
1
نتيجة بحث عن '
'
, وقت الاستعلام: 0.01s
تنقيح النتائج
فرز بـ
الصلة
Newest to Oldest
Oldest to Newest
المؤلف
العنوان
تحديد الصفحة | بالمحدد:
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
تحديد النتيجة رقم 1
1
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
الحاوية / القاعدة
Springer eBooks.
(2011)
رقم الطلب:
تحميل...
المكان:
تحميل...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
أضف إلى سلة الكتب
حذف من سلة الكتب
تحديد الصفحة | بالمحدد:
البريد الالكتروني
تصدير
طباعة
أضف إلى سلة الكتب
أدوات البحث:
أحصل على تغذية RSS
—
أرسل هذا البحث بالبريد الإلكتروني
رجوع
تضييق البحث
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
من:
إلى:
SUBJECT
Algebra
1
Artificial intelligence
1
Computer science
Computer science -- Mathematics -- Congresses
Data processing
1
Electronic books
1
Logic design
Software engineering
1
انظر الكل ...
AUTHOR
Jouannaud, Jean-Pierre
1
Shao, Zhong
1
SpringerLink (Online service)
1
RESOURCE TYPE
Electronic Resource
1
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
تحميل...