741. Advanced topics in types and programming languages
پدیدآورنده: / Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
742. Advanced topics in types and programming languages /
پدیدآورنده: / Edited by Benjamin C. Pierce
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
A36
2005
743. Advanced topics in types and programming languages
پدیدآورنده: Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
744. Advanced topics in types and programming languages
پدیدآورنده: Benjamin C. Pierce, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
2005
745. Advanced topics in types and programming languages
پدیدآورنده: / edited by Benjamin C. Pierce,
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
746. Advanced topics in types and programming languages
پدیدآورنده: / Benjamin C. Pierce, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
A36
,
2005
747. Advanced turbo c programming
پدیدآورنده: WEISKAMP,KEITH
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: C )COMPUTER PROGRAM LANGUAGE , TURBO C )COMPUTER PROGRAM(
رده :
QA
76
.
73
.
C15
W45
748. Advanced unix programming
پدیدآورنده: ROCHKIND,MARC J
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: UNIX )COMPUTER OPERATING SYSTEM( , ELECTRONIC DIGITAL COMPUTERS-
رده :
QA
76
.
76
.
O63
R63
749. Advanced unix programming
پدیدآورنده: Gay, Warren W
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: UNIX (Computer file)
رده :
76
.
8
.
U65
,
G38
750. Advanced windows NT : the developer's guide to the Win32 application programming interface
پدیدآورنده: Richter, Jeffrey
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Operating systems )Computers(,، Windows NT,، Microsoft Win23
رده :
QA
76
.
76
.
O63
.
R545
1993
751. Advanced windows programming
پدیدآورنده: Heller, Martin, 1951-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Windows (Computer program)
رده :
005
H477a
752. Advances in Combinatorial Optimization: Linear Programming Formulations of the Traveling Salesman and Other Hard Combinatorial Optimization Problems
پدیدآورنده: / Moustapha Diaby, Mark H. Karwan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
753. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: / Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
754. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
755. Advances in Nonlinear programming: Proceeding of the 98 international conference on Nonlinear programming
پدیدآورنده : Edited by Ya- Xiang Yuan
موضوع : Nonlinear theories
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
756. Advances in Sensitivity Analysis and Parametic Programming
پدیدآورنده: edited by Tomas Gal, Harvey J. Greenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economics.,Machinery.,Mathematical optimization.
757. Advances in computational and stochastic optimization, logic programming, and heuristic search :
پدیدآورنده: edited by David L. Woodruff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
758. Advances in computational and stochastic optimization, logic programming, and heuristic search
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Operations research►Mathematical optimization
رده :
57
.
A34
759. on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976
760. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th
پدیدآورنده: Vijay A. Saraswat, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
