Verification, Model Checking, and Abstract Interpretation: ۴th International Conference, VMCAI...
نویسنده:
Andreas Podelski (auth.),...
سال انتشار:
قیمت: 71900 تومان
۲۰۰۳
Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG...
نویسنده:
Richard B. Kieburtz...
سال انتشار:
قیمت: 68900 تومان
۲۰۰۰
OpenMP Shared Memory Parallel Programming: International Workshops, IWOMP ۲۰۰۵ and...
نویسنده:
Holger Brunst, Bernd...
سال انتشار:
قیمت: 72900 تومان
۲۰۰۸
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference,...
نویسنده:
Randal E. Bryant,...
سال انتشار:
قیمت: 60900 تومان
۱۹۹۹
Artificial Intelligence An International Perspective: An International Perspective
نویسنده:
John Atkinson, Mauricio...
سال انتشار:
قیمت: 79900 تومان
۲۰۰۹
Pattern Recognition and Image Analysis: Third Iberian Conference, IbPRIA ۲۰۰۷,...
نویسنده:
Igmar Hernández, Paola...
سال انتشار:
قیمت: 78900 تومان
۲۰۰۷
Information Hiding: ۱۲th International Conference, IH ۲۰۱۰, Calgary, AB, Canada,...
نویسنده:
Mehrdad Majzoobi, Ahmed...
سال انتشار:
قیمت: 57900 تومان
۲۰۱۰
Axioms and Hulls
نویسنده:
Donald E. Knuth...
سال انتشار:
قیمت: 67900 تومان
۱۹۹۲
Advances in Computer Science – ASIAN ۲۰۰۷. Computer and Network...
نویسنده:
Andrei Sabelfeld (auth.),...
سال انتشار:
قیمت: 62900 تومان
۲۰۰۷
Experimental Algorithms: ۸th International Symposium, SEA ۲۰۰۹, Dortmund, Germany, June...
نویسنده:
Heinz Bast (auth.),...
سال انتشار:
قیمت: 67900 تومان
۲۰۰۹
Complex Motion: First International Workshop, IWCM ۲۰۰۴, Günzburg, Germany, October...
نویسنده:
Michael Felsberg (auth.),...
سال انتشار:
قیمت: 74900 تومان
۲۰۰۷
Exercises in Computer Systems Analysis
نویسنده:
Prof. Dr. W....
سال انتشار:
قیمت: 59900 تومان
۱۹۷۵
Logic, Language and Meaning: ۱۷th Amsterdam Colloquium, Amsterdam, The Netherlands,...
نویسنده:
Petra Hendriks (auth.),...
سال انتشار:
قیمت: 79900 تومان
۲۰۱۰
Algorithms and Computation: ۲۰th International Symposium, ISAAC ۲۰۰۹, Honolulu, Hawaii,...
نویسنده:
Ronald L. Graham...
سال انتشار:
قیمت: 69900 تومان
۲۰۰۹
Information Retrieval Techniques for Speech Applications
نویسنده:
James Allan (auth.),...
سال انتشار:
قیمت: 56900 تومان
۲۰۰۲
Principles and Practice of Constraint Programming – CP ۲۰۰۴: ۱۰th...
نویسنده:
Andreas Podelski (auth.),...
سال انتشار:
قیمت: 77900 تومان
۲۰۰۴
Advances in Swarm Intelligence: First International Conference, ICSI ۲۰۱۰, Beijing,...
نویسنده:
Zvi Retchkiman Konigsberg...
سال انتشار:
قیمت: 80900 تومان
۲۰۱۰
Advances in Petri Nets ۱۹۹۰
نویسنده:
Wilfried Brauer, Robert...
سال انتشار:
قیمت: 63900 تومان
۱۹۹۱
Developments in Language Theory: ۱۱th International Conference, DLT ۲۰۰۷, Turku,...
نویسنده:
Volker Diekert, Manfred...
سال انتشار:
قیمت: 63900 تومان
۲۰۰۷
Socionics: Scalability of Complex Social Systems
نویسنده:
Klaus Fischer, Michael...
سال انتشار:
قیمت: 75900 تومان
۲۰۰۵
Advances in Multilingual and Multimodal Information Retrieval: ۸th Workshop of...
نویسنده:
Carol Peters (auth.),...
سال انتشار:
قیمت: 59900 تومان
۲۰۰۸