601. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
602. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
603. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2005
604. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2007
605. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
پدیدآورنده : sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
رده :
QA
267
.
7
.
A25
2006
606. STRUCTURED PROGRAMMING CONCEPTS
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING,STRUCTURED PROGRAMMING,BUSINESS-DATA PROCESSING
رده :
QA
،
76
.
6
،.
L3235
،
1987
607. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، BASIC )Computer program language(,Data processing ، Problem solving
رده :
QA
76
.
6
.
B45
1976
608. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، BASIC )Computer program language(,، Problem solving-- Data processing
رده :
QA
76
.
6
.
B45
609. Scientific and engineering problem solving with the computer
پدیدآورنده : / William Ralph Bennett
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Basic (Computer program language),Problem solving - Data processing
رده :
001
.
642
Be-S
1976
610. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، BASIC )Computer program language(,، Problem solving -- Data processing
رده :
QA
76
.
6
.
B45
611. Scientific computing and automation (Europe) 1990 :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Data processing ; Congresses. ; Technology ; Data processing ; Congresses. ; Electronic digital computers ; Scientific applications ; Congresses. ; Computer engineering ; Congresses. ; Computer engineering ; fast ; (OCoLC)fst00872078 ; Electroni
612. Scientific computing and automation (Europe) 1990
پدیدآورنده : / edited by E.J. Karjalainen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Science--Data processing--Congresses,Technology--Data processing--Congresses,Electronic digital computers--Scientific applications--Congresses,Computer engineering--Congresses
رده :
Q
,
183
.
9
,.
S3
,
1990
613. Scientific computing and automation (Europe) 1990
پدیدآورنده : edited by E.J. Karjalainen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering-- Congresses.,Electronic digital computers-- Scientific applications-- Congresses.,Science-- Data processing-- Congresses.,Technology-- Data processing-- Congresses.
614. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
615. Smart technologies and innovation for a sustainable future :
پدیدآورنده : Ahmed Al-Masri, Kevin Curran, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mass media, Congresses.,Sustainable development, Congresses.,Technological innovations, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mass media.,Sustainable development.,Technological innovations.
رده :
T173
.
8
616. Smart technology trends in industrial and business management /
پدیدآورنده : Dagmar Cagáňová, Michal Balog, Lucia Knapčíková, Jakub Soviar, Serkan Mezarcıöz, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Internet of things, Congresses.,Manufacturing processes-- Automation, Congresses.,Communications Engineering, Networks.,Engineering Economics, Organization, Logistics, Marketing.,IT in Business.,Manufacturing, Machines, Tools, Processes.,Production.,Signal, Image and Speech Processing.,COMPUTERS-- Computer Science.,COMPUTERS-- Internet-- General.,Internet of things.,Manufacturing processes-- Automation.
رده :
QA76
.
5915
617. SmartWatch design fundamentals :
پدیدآورنده : Wallace Jackson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Android (Electronic resource),Android (Electronic resource),Smartwatches-- Design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK7870
618. Software engineering; proceedings of a symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-programming-- Congresses
رده :
QA
76
.
6
.
S96
619. Software engineering techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing--Addresses, essays, lectures,، Electronic digital computers--Programming--Addresses, essays, lectures,، Programming language )Electronic computers(
رده :
T
57
.
5
.
S64
620. Software for computer control 1982: Proceedings of the Third IFAC/IFIP Symposium, Madrid Spain, 5-8 October 1982
پدیدآورنده : edited by G. Ferrate and E.A. Puente
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Automatic control,Programming -- Congresses ، Electronic digital computers
رده :
TJ
212
.
2
.
I33
1983