دانلود رایگان مقالات نشریه ISI یادداشت های الکترونیکی در علوم کامپیوتر نظری

PEPA Queues: Capturing Customer Behaviour in Queueing Networks

23 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Stochastic Concurrent Constraint Programming and Differential Equations

16 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Co-Algebraic Models for Quantitative Spatial Logics 1

16 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

On Probabilistic Techniques for Data Flow Analysis

19 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Keeping Secrets in Resource Aware Components

16 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Exogenous Probabilistic Computation Tree Logic

16 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming

17 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Stochastic Modelling of Communication Protocols from Source Code

17 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Probabilistic π-Calculus and Event Structures 1

20 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

A Structural Approach for Modelling Performance of Systems Using Skeletons

17 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه

Probabilistic Barbed Congruence

19 صفحه فرمت PDF سال انتشار : 2007 دانلود متن کامل مقاله ISI سفارش ترجمه