يعرض
1 - 7
نتائج من
7
نتيجة بحث عن '
'
تخطي إلى المحتوى
VuFind
حسابك
تسجيل الخروج
تسجيل دخول مؤسسي
اللغة
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
كل الحقول
المؤلف
العنوان
عنوان الدورية
الموضوع
ردمك/تدمد
الوسم
ابحث
بحث متقدم
إعادة تعيين المنقحات
الموضوع:
computer software selection and evaluation
إعادة تعيين المنقحات
عرض المنقحات (%%عد%%)
الموضوع:
computer software selection and evaluation
نتائج البحث
يعرض
1 - 7
نتائج من
7
نتيجة بحث عن '
'
, وقت الاستعلام: 0.10s
تنقيح النتائج
النتائج لكل صفحة
10
20
40
60
80
100
فرز بـ
الصلة
التاريخ تنازليا
التاريخ تصاعديا
المؤلف
العنوان
قائمة
شبكة
تحميل...
Fundamental Approaches to Software Engineering
احصل على النص الكامل
تحميل...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
احصل على النص الكامل
تحميل...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
احصل على النص الكامل
تحميل...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
احصل على النص الكامل
تحميل...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
احصل على النص الكامل
تحميل...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
احصل على النص الكامل
تحميل...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
احصل على النص الكامل
أدوات البحث:
أحصل على تغذية RSS
—
أرسل هذا البحث بالبريد الإلكتروني
—
حفظ البحث
رجوع
تضييق البحث
المؤسسة
DOAB
7
[استثناء]
المجموعة
Directory of Open Access Books
7
[استثناء]
التنسيق
Livro
7
[استثناء]
المؤلف
Beyer, Dirk
2
[استثناء]
Huisman, Marieke
2
[استثناء]
Alessandra Russo
1
[استثناء]
Amal Ahmed
1
[استثناء]
Andy Schürr
1
[استثناء]
Bauer, Lujo
1
[استثناء]
المزيد ...
Dirk Beyer
1
[استثناء]
Küsters, Ralf
1
[استثناء]
Marieke Huisman
1
[استثناء]
Russo, Alessandra
1
[استثناء]
Schürr, Andy
1
[استثناء]
انظر الكل ...
أقل ...
الموضوع
computer software selection and evaluation
formal logic
7
[استثناء]
semantics
7
[استثناء]
formal methods
6
[استثناء]
programming languages
6
[استثناء]
software engineering
6
[استثناء]
المزيد ...
verification
6
[استثناء]
program compilers
5
[استثناء]
specifications
5
[استثناء]
formal specification
4
[استثناء]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[استثناء]
QA75.5-76.95
3
[استثناء]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[استثناء]
computer architecture
3
[استثناء]
model checking
3
[استثناء]
separation logic
3
[استثناء]
authentication
2
[استثناء]
computer science
2
[استثناء]
computer software maintenance
2
[استثناء]
cryptography
2
[استثناء]
data privacy
2
[استثناء]
internet
2
[استثناء]
model checker
2
[استثناء]
multi core processors
2
[استثناء]
privacy
2
[استثناء]
security systems
2
[استثناء]
state space
2
[استثناء]
world wide web
2
[استثناء]
artificial intelligence
1
[استثناء]
distributed computer systems
1
[استثناء]
انظر الكل ...
أقل ...
اللغة
Inglês
7
[استثناء]
سنة النشر
من:
إلى:
سنة النشر
مسح
×
تحميل...