Security and Privacy... image
Security and Privacy in User Modeling
نویسنده:

Jörg Schreck (auth.)

سال انتشار:

۲۰۰۳

قیمت: 75900 تومان
Computational Methods in... image
Computational Methods in Systems Biology: ۷th International Conference, CMSB ۲۰۰۹,...
نویسنده:

Lisa Bartoli, Pier...

سال انتشار:

۲۰۰۹

قیمت: 67900 تومان
ON THE MOVE.... image
ON THE MOVE. The mobility of constituents in the English...
نویسنده:

Inge de MONNINK

سال انتشار:

۲۰۰۰

قیمت: 76900 تومان
Monte-Carlo Methods In... image
Monte-Carlo Methods In Global Illumination
نویسنده:

Szirmay-Kalos L.

سال انتشار:

None

قیمت: 58900 تومان
Multi-Agent Systems Methodologies... image
Multi-Agent Systems Methodologies and Applications: Second Australian Workshop on Distributed...
نویسنده:

Norbert Glaser (auth.),...

سال انتشار:

۱۹۹۷

قیمت: 73900 تومان
Advanced Design Approaches... image
Advanced Design Approaches to Emerging Software Systems: Principles, Methodologies and...
نویسنده:

Xiaodong Liu, Yang...

سال انتشار:

۲۰۱۱

قیمت: 58900 تومان
Developing Industrial Case-Based... image
Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology
نویسنده:

Ralph Bergmann, Klaus-Dieter...

سال انتشار:

۲۰۰۳

قیمت: 64900 تومان
Calcul formel pour... image
Calcul formel pour les methodes de Lie en mecanique hamiltonienne
نویسنده:

Koseleff P.-V.

سال انتشار:

۱۹۹۳

قیمت: 70900 تومان
The Second Self:... image
The Second Self: Computers and the Human Spirit (Twentieth Anniversary...
نویسنده:

Sherry Turkle

سال انتشار:

۲۰۰۵

قیمت: 68900 تومان
Automated Reasoning with... image
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference,...
نویسنده:

Randal E. Bryant,...

سال انتشار:

۱۹۹۹

قیمت: 60900 تومان
Mathematical Methods for... image
Mathematical Methods for Digital Computers, Volume ۱
نویسنده:

Anthony Ralston, Herbert...

سال انتشار:

۱۹۶۰

قیمت: 57900 تومان
Logic, Language and... image
Logic, Language and Meaning: ۱۷th Amsterdam Colloquium, Amsterdam, The Netherlands,...
نویسنده:

Petra Hendriks (auth.),...

سال انتشار:

۲۰۱۰

قیمت: 79900 تومان
Formal Methods for... image
Formal Methods for Components and Objects: ۵th International Symposium, FMCO...
نویسنده:

Lars Frantzen, Jan...

سال انتشار:

۲۰۰۷

قیمت: 76900 تومان
Formal Methods for... image
Formal Methods for Components and Objects: Second International Symposium, FMCO...
نویسنده:

Albert Benveniste, Benoît...

سال انتشار:

۲۰۰۴

قیمت: 60900 تومان
Extensions of the... image
Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in...
نویسنده:

Josyula Ramachandra Rao...

سال انتشار:

۱۹۹۵

قیمت: 74900 تومان
Software Specification Methods image
Software Specification Methods
نویسنده:

Henri Habrias, Marc...

سال انتشار:

۲۰۰۶

قیمت: 80900 تومان
Software and Compilers... image
Software and Compilers for Embedded Systems: ۸th International Workshop, SCOPES...
نویسنده:

Michael Uhler (auth.),...

سال انتشار:

۲۰۰۴

قیمت: 73900 تومان
Emerging Technologies for... image
Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications
نویسنده:

Jorg Rech, Jorg...

سال انتشار:

۲۰۰۸

قیمت: 68900 تومان
Computer methods. Part... image
Computer methods. Part A
نویسنده:

Michael L. Johnson,...

سال انتشار:

۲۰۰۹

قیمت: 57900 تومان
Implementation and Application... image
Implementation and Application of Automata: ۱۴th International Conference, CIAA ۲۰۰۹,...
نویسنده:

Gonzalo Navarro (auth.),...

سال انتشار:

۲۰۰۹

قیمت: 74900 تومان
Integrated Formal Methods:... image
Integrated Formal Methods: ۴th International Conference, IFM ۲۰۰۴, Cnaterbury, UK,...
نویسنده:

Thomas Ball, Byron...

سال انتشار:

۲۰۰۴

قیمت: 74900 تومان