سایبر یونی
ثبت نام
ورود
دروازه ای به آموزش نوین و مهارت های کاربردی
Computer Aided Verification: ۵th International Conference, CAV '۹۳ Elounda, Greece,...
نویسنده:
Robert K. Brayton...
سال انتشار:
قیمت: 63900 تومان
۱۹۹۳
SOFSEM'۹۶: Theory and Practice of Informatics: ۲۳rd Seminar on Current...
نویسنده:
Ricardo Baeza-Yates (auth.),...
سال انتشار:
قیمت: 79900 تومان
۱۹۹۶
Artificial Neural Networks – ICANN ۲۰۱۰: ۲۰th International Conference, Thessaloniki,...
نویسنده:
Vladimír Olej, Petr...
سال انتشار:
قیمت: 80900 تومان
۲۰۱۰
Category Theory and Computer Science: ۷th International Conference, CTCS '۹۷...
نویسنده:
John C. Baez...
سال انتشار:
قیمت: 64900 تومان
۱۹۹۷
Neural Information Processing: ۱۶th International Conference, ICONIP ۲۰۰۹, Bangkok, Thailand,...
نویسنده:
Jeong-Woo Woo, Young-Chul...
سال انتشار:
قیمت: 69900 تومان
۲۰۰۹
Semantic Web Rules: International Symposium, RuleML ۲۰۱۰, Washington, DC, USA,...
نویسنده:
Michael Genesereth (auth.),...
سال انتشار:
قیمت: 77900 تومان
۲۰۱۰
Information and Communication Technologies: International Conference, ICT ۲۰۱۰, Kochi, Kerala,...
نویسنده:
Vinu V. Das,...
سال انتشار:
قیمت: 69900 تومان
۲۰۱۰
Logical Foundations of Computer Science: Third International Symposium, LFCS '۹۴...
نویسنده:
Farid Ablayev (auth.),...
سال انتشار:
قیمت: 56900 تومان
۱۹۹۴
Graph Transformations: ۵th International Conference, ICGT ۲۰۱۰, Enschede, The Netherlands,...
نویسنده:
Javier Esparza (auth.),...
سال انتشار:
قیمت: 74900 تومان
۲۰۱۰
Computer Science – Theory and Applications: First International Computer Science...
نویسنده:
Boaz Barak (auth.),...
سال انتشار:
قیمت: 60900 تومان
۲۰۰۶
Graph-Theoretic Concepts in Computer Science: International Workshop WG '۸۸ Amsterdam,...
نویسنده:
Hans L. Bodlaender...
سال انتشار:
قیمت: 64900 تومان
۱۹۸۹
Logic Program Synthesis and Transformation: ۶th International Workshop, LOPSTR'۹۶ Stockholm,...
نویسنده:
I. J. Hayes,...
سال انتشار:
قیمت: 69900 تومان
۱۹۹۷
Digital Mammography: ۱۰th International Workshop, IWDM ۲۰۱۰, Girona, Catalonia, Spain,...
نویسنده:
Paul Taylor, Henry...
سال انتشار:
قیمت: 56900 تومان
۲۰۱۰
Rewriting Techniques and Applications: ۲۰th International Conference, RTA ۲۰۰۹, Brasília,...
نویسنده:
Ralf Treinen
سال انتشار:
قیمت: 61900 تومان
۲۰۰۹
Electronic Government: ۸th International Conference, EGOV ۲۰۰۹, Linz, Austria, August...
نویسنده:
Hans J. (Jochen)...
سال انتشار:
قیمت: 62900 تومان
۲۰۰۹
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO...
نویسنده:
Bruno Buchberger (auth.),...
سال انتشار:
قیمت: 59900 تومان
۱۹۹۳
CAAP '۹۲: ۱۷th Colloquium on Trees in Algebra and Programming...
نویسنده:
Franco Barbanera, Stefano...
سال انتشار:
قیمت: 81900 تومان
۱۹۹۲
Computing and Combinatorics: ۱۶th Annual International Conference, COCOON ۲۰۱۰, Nha...
نویسنده:
Manuel Blum (auth.),...
سال انتشار:
قیمت: 76900 تومان
۲۰۱۰
Machine Learning for Predictive Analysis: Proceedings of ICTIS ۲۰۲۰
نویسنده:
Amit Joshi, Mahdi...
سال انتشار:
قیمت: 65900 تومان
۲۰۲۰
High Performance Computing - HiPC ۲۰۰۳: ۱۰th International Conference, Hyderabad,...
نویسنده:
Bud Mishra (auth.),...
سال انتشار:
قیمت: 72900 تومان
۲۰۰۳
Computer-Aided Verification: ۲nd International Conference, CAV '۹۰ New Brunswick, NJ,...
نویسنده:
Edmund M. Clarke...
سال انتشار:
قیمت: 76900 تومان
۱۹۹۱