کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب26, 2010, Advanced Lectures-Formal Methods for Quantitative Aspects of Programming Languages: 10th
پدیدآورنده: / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
Advanced Topics in Types and Programming Languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming Languages (Electronic Computers) ;
Advanced programming languages
پدیدآورنده: / Raphael A. Finkel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
F56
1995
Advanced topics in types and programming languages
پدیدآورنده: / Benjamin C. Pierce, editor
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
Advanced topics in types and programming languages
پدیدآورنده: / Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
Advanced topics in types and programming languages /
پدیدآورنده: / Edited by Benjamin C. Pierce
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
A36
2005
Advanced topics in types and programming languages
پدیدآورنده: Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
Advanced topics in types and programming languages
پدیدآورنده: Benjamin C. Pierce, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
2005
Advanced topics in types and programming languages
پدیدآورنده: / edited by Benjamin C. Pierce,
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
Advanced topics in types and programming languages
پدیدآورنده: / Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
A36
,
2005
PROGRAMMING LANGUAGES NATO ADVANCED STUDY INSTITUTE
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
623
,.
715
,
GEP
