2361. CP 2011تPrinciples and Practice of Constraint Programming
پدیدآورنده: / Jimmy Lee
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2362. CTOS.Open: Programming practices and standards application design
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: CTOS (Computer operating system)
رده :
005
C959
2363. CUDA Fortran for Scientists and Engineers : Best Practices for Efficient CUDA Fortran Programming
پدیدآورنده: / Ruetsch, Gregory
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2364. CUDA Programming : A Developer's Guide to Parallel Computing with GPUs
پدیدآورنده: / Cook, Shane
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2365. CUDA programming
پدیدآورنده: Shane Cook
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development,Computer architecture,Graphics processing units,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
58
.
C66
2013
2366. CUDA programming: A developer's guide to parallel computing with GPUs
پدیدآورنده: / Shane Cook
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
2367. Calculator programming, water management applications, teaching guide
پدیدآورنده: Garcia, Jorge A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematical models ، Irrigation engineering,Management - Mathematical models ، Irrigation
رده :
TC
809
.
G37
1987
2368. Capital- output-employment ratios in Indus-trial programming Translated from the Polish.
پدیدآورنده: / by J. Syskind,Lissowski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Interindustry economics.
رده :
HB
71
.
L5
2369. Careers in computer programming
پدیدآورنده: Barnett, Leo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Electronic computers)- Vacational guidance
رده :
651
B261c
2370. Carlo Programming for Atoms, Molecules, Clusters, and Solids-Quantum Monte
پدیدآورنده: / Schattke
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING, MULTIDISCIPLINARY|MATERIALS SCIENCE (uncategorised)
رده :
E-BOOK
2371. Cartesian Genetic Programming
پدیدآورنده: / Julian F. Miller
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC|ROBOTICS& METHODS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2372. Cartesian Genetic Programming
پدیدآورنده: Julian F. Miller
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
2373. Cartesian genetic programming
پدیدآورنده: / [edited by] Julian F. Miller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Genetic,Genetic- programming,Cartesian genetic- programming
رده :
QH430
.
C288
2011
2374. Cartesian genetic programming
پدیدآورنده: / Julian F. Miller, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Genetic programming (Computer science),Evolutionary programming (Computer science),Aufsatzsammlung,Genetische Programmierung., swd
رده :
QA76
.
623
.
C37
2011
2375. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Curien, Pierre-Louis
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Formal languages
رده :
QA
267
.
3
.
C87
1993
2376. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Pierre- Louis Curien
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Formal languages
رده :
QA
,
267
.
3
,.
C87
2377. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده: Pierre-Louis Curien
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages
رده :
QA
267
.
3
.
C87
1993
2378. Category theory & computer programming:tutorial & workshop,
پدیدآورنده: PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
2379. Cchaum's outline of theory and problems of programming with advanced structured cobol with file
پدیدآورنده: / Lawrence R. Newcomer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COBOL (computer program language),Stractured programming,Computers Programming
رده :
QA76
.
73
.
C25N47
1987
