61. Essential.NET
پدیدآورنده : / Don Box, with Chris Sells
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
M52
,
B69
2003
62. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
63. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
64. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
65. Fourth and fifth generation programming languages
پدیدآورنده : by Dimitris N. Chorafas
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Programming languages (Electronic computers),Fourth generation computers- Programming,Fifth generation computers- Programming
رده :
005
,.
133
,
C55
66. Fourth and fifth generation programming languages
پدیدآورنده : / by Dimitris N. Chorafas
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Programming languages (Electronic computers),Fourth generation computers - Programming,Fifth generation computers - Programming
رده :
QA
76
.
7
.
C485
1986
67. Fourth and fifth generation programming languages
پدیدآورنده : Chorafas, Dimitris N
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(,Programming ، Fourth generation computers,Programming ، Fifth generation computers
رده :
QA
76
.
7
.
C485
1986
68. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
69. Fundamentals of embedded software
پدیدآورنده : / Daniel W. Lewis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Embedded computer systems--Programming,C (Computer program language),Assembly languages (Electronic computers)
رده :
TK7895
F94L
2002
70. Fundamentals of embedded software :
پدیدآورنده : Daniel W. Lewis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Assembly languages (Electronic computers),C (Computer program language),Embedded computer systems-- Programming
رده :
TK7895
.
E42
L49
2002
71. Fundamentals of embedded software :where C and assembly meet
پدیدآورنده : Lewis, D. W. )Daniel Wesley(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : Programming ، Embedded computer systems,، C )Computer program language(,، Assembly languages )Electronic computers(
رده :
TK
7895
.
E42L49
2002
72. Guide to Scientific Computing in C++ /
پدیدآورنده : by Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6-76
.
66
73. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Programming languages (Electronic computers),Computer software
رده :
QA
،
76
,.
7
،
H515
،
1989
74. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
75. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
76. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
77. IEEE standard glossary of software engineering terminology
پدیدآورنده : Sponsor, Software Engineering Technical Committee of the IEEE Computer Society of the IEEE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Dictionaries ، Software engineering,Dictionaries ، Programming languages )Electronic computers(
رده :
QA
76
.
15
.
I28
1990
78. Introducing the MySQL 8 document store /
پدیدآورنده : Charles Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : MySQL (Electronic resource),MySQL (Electronic resource),Database management.,Databases.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- SQL.,Database management.,Databases.,Databases.
رده :
QA76
.
73
.
S67
79. Introduction to programming in Turing /
پدیدآورنده : J.N.P. Hume.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming-- Study and teaching (Secondary),Object-oriented programming (Computer science)-- Study and teaching (Secondary),Object-oriented programming languages-- Study and teaching (Secondary),Programming languages (Electronic computers)-- Study and teaching (Secondary),Turing (Computer program language)-- Study and teaching (Secondary)
رده :
QA76
.
73
.
T87
H849
2001
80. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
