Formal Techniques for Distributed Systems: Joint ۱۱th IFIP WG ۶.۱...
نویسنده:
David Kitchin, Adrian...
سال انتشار:
قیمت: 56900 تومان
۲۰۰۹
Category Theory and Computer Science: Edinburgh, U.K., September ۷–۹, ۱۹۸۷...
نویسنده:
G. Rosolini (auth.),...
سال انتشار:
قیمت: 66900 تومان
۱۹۸۷
Software Technologies for Embedded and Ubiquitous Systems: ۸th IFIP WG...
نویسنده:
Hermann Kopetz (auth.),...
سال انتشار:
قیمت: 70900 تومان
۲۰۱۱
Location and Context Awareness: ۴th International Symposium, LoCA ۲۰۰۹ Tokyo,...
نویسنده:
Andreas Zinnen, Christian...
سال انتشار:
قیمت: 59900 تومان
۲۰۰۹
Petri Nets: Applications and Relationships to Other Models of Concurrency:...
نویسنده:
W. Brauer, W....
سال انتشار:
قیمت: 71900 تومان
۱۹۸۷
FST TCS ۲۰۰۰: Foundations of Software Technology and Theoretical Computer...
نویسنده:
E. Allen Emerson...
سال انتشار:
قیمت: 59900 تومان
۲۰۰۰
Information Theoretic Security: Third International Conference, ICITS ۲۰۰۸, Calgary, Canada,...
نویسنده:
Juan A. Garay...
سال انتشار:
قیمت: 78900 تومان
۲۰۰۸
CONCUR ۲۰۰۴ - Concurrency Theory: ۱۵th International Conference, London, UK,...
نویسنده:
Tony Andrews, Shaz...
سال انتشار:
قیمت: 62900 تومان
۲۰۰۴
Euro-Par ۲۰۱۰ - Parallel Processing: ۱۶th International Euro-Par Conference, Ischia,...
نویسنده:
Thilo Kielmann, Andrea...
سال انتشار:
قیمت: 62900 تومان
۲۰۱۰
Advances in Information and Computer Security: Second International Workshop on...
نویسنده:
Satoshi Hada, Kouichi...
سال انتشار:
قیمت: 67900 تومان
۲۰۰۷
Smart Graphics: Third International Symposium on Smart Graphics, SG ۲۰۰۳...
نویسنده:
W. Bradford Paley...
سال انتشار:
قیمت: 73900 تومان
۲۰۰۳
Task Models and Diagrams for User Interface Design: ۶th International...
نویسنده:
Stephen Payne (auth.),...
سال انتشار:
قیمت: 58900 تومان
۲۰۰۷
Multiple Classifier Systems: ۵th International Workshop, MCS ۲۰۰۴, Cagliari, Italy,...
نویسنده:
Ludmila I. Kuncheva...
سال انتشار:
قیمت: 71900 تومان
۲۰۰۴
Formal Methods in Computer-Aided Design: ۵th International Conference, FMCAD ۲۰۰۴,...
نویسنده:
Wayne Wolf (auth.),...
سال انتشار:
قیمت: 72900 تومان
۲۰۰۴
Computer and Information Sciences - ISCIS ۲۰۰۴: ۱۹th International Symposium,...
نویسنده:
Erol Gelenbe (auth.),...
سال انتشار:
قیمت: 71900 تومان
۲۰۰۴
Proceedings of the Fourth International Conference on Microelectronics, Computing and...
نویسنده:
Vijay Nath, J....
سال انتشار:
قیمت: 62900 تومان
۲۰۲۱
Verification, Model Checking, and Abstract Interpretation: ۷th International Conference, VMCAI...
نویسنده:
Peter Schachte, Harald...
سال انتشار:
قیمت: 60900 تومان
۲۰۰۶
Secure Data Management: ۵th VLDB Workshop, SDM ۲۰۰۸, Auckland, New...
نویسنده:
Claudio Bettini, X....
سال انتشار:
قیمت: 75900 تومان
۲۰۰۸
Computer-Aided Architectural Design Futures ۲۰۰۷: Proceedings of the ۱۲th International...
نویسنده:
Andy Dong
سال انتشار:
قیمت: 59900 تومان
۲۰۰۷
Text Processing and Document Manipulation: Proceedings of the International Conference,...
نویسنده:
J. C. van...
سال انتشار:
قیمت: 78900 تومان
۱۹۸۶
Computational Problems in Abstract Algebra: Proceedings of a Conference Held...
نویسنده:
John Leech
سال انتشار:
قیمت: 71900 تومان
None