1. A study in string processing languages

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
205

2. A study in string processing languages

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
T48
.
K58
1985

3. A study in string processing languages

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
205

4. ASIAN 2003 :--Advances in computing science

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;

5. Advances in Database Technology - EDBT '94 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)

رده :
QA76
.
9
.
D3
E358
1994

6. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing

رده :
QA
76
.
L28
Vol
.
3321

7. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing

رده :
QA
76
.
L28
Vol
.
2896

8. C++ 14 quick syntax reference

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : C++ (Computer program language),Computer programming,Computer science,Programming languages (Electronic computers)

رده :
QA76
.
6-76
.
66

9. Computational Semantics with Functional Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

رده :
QA76
,.
7
.
E43
2010

10. Computational semantics with functional programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

رده :
QA
76
.
7
.
E35C6
2010
E-Book
,

11. Computational semantics with functional programming /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik

رده :
QA76
.
7
.
E43
2010eb

12. DIANA An Intermediate Language for Ada

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
73
.
A35
E358
1983

13. Data abstraction in programming languages

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Data structures )Computer science(

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

14. Data structures, files and databases

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Data bases,، Data structures )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D32
B3
1991

15. Data types and structures

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Data structures (Computer science),Programming languages (Electronic computers)

رده :
QA
،
76
.
9
،.
D35
,
G67

16. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :
QA
76
.
9
.
D35
.
I351
1995

17. Deductive Software Verification – The KeY Book

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
E-Book
,

18. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3016

19. Essential.NET

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)

رده :
QA76
.
76
.
M52
,
B69
2003

20. Expert advisor programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)

رده :
Z52
.
5
.
M52
A537
2010