641. Rotation transforms for computer graphics
المؤلف: John Vince
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer graphics, Mathematics
642. Runtime verification :
المؤلف: Christian Colombo, Martin Leucker (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
643. SACALC (computer file): signal analysis calculator
المؤلف: / William T. Hardy
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Signal processing- Mathematics- Software,Software engineering
رده :
TK5102
.
5
.
H327
1990
644. SAS/IML 9.2 User's Guide.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: SAS (Computer file),SAS/IML.,SAS (Computer file),SAS/IML.,IML (Computer program language),Mathematical statistics-- Data processing.,Systems software.,IML (Computer program language),Mathematical statistics-- Data processing.,MATHEMATICS-- Probability & Statistics-- General.,Systems software.
رده :
QA276
.
4
.
S27
2008eb
645. ScaLAPACK user's guide
المؤلف: L.S. Blackford ... [et al.].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebras, Linear-- Data processing.,Subroutines (Computer programs)
646. Scalable uncertainty management :
المؤلف: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
647. Scheduling of Resource-Constrained Projects
المؤلف: by Robert Klein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical optimization.,Mathematics.
649. Scientific Computing with Mathematica®
المؤلف: by Addolorata Marasco, Antonio Romano.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
650. Scientific software systems: Based on the proceedings of the international symposium on scientific software, July 1988
المؤلف: Edited by J. C. Mason and M. G. Cox
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Mathematics - Data processing - Congresses,Computer software - Congresses
رده :
QA
,
76
.
95
,.
I58
,
1990
651. Security, privacy, and applied cryptography engineering :
المؤلف: Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
652. Selected writings on computing :
المؤلف: Edsger W Dijkstra
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
24
E374
2011
653. Semantic applications :
المؤلف: Thomas Hoppe, Bernhard Humm, Anatol Reibold, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Big data.,Semantic computing.,Semantic Web.,Big data.,COMPUTERS-- General.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
654. Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces
المؤلف: / Michael Ulbrich
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
655. Sensor network operations /
المؤلف: edited by Shashi Phoha, Thomas LaPorta, Christopher Griffin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Sensor networks.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7872
.
D48
S435
2006eb
656. Signals and Systems in Biomedical Engineering
المؤلف: by Suresh R. Devasahayam.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Biomedical engineering.,Computer engineering.,Engineering.
657. Simulating complex systems by cellular automata /
المؤلف: Alfons G. Hoekstra, Jiří Kroc, Peter M.A. Sloot, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cellular automata.,Cellular automata.,Physique.
رده :
QA267
.
5
.
C45
S56
2010
658. Simulation-Based Experiential Learning
المؤلف: edited by Douglas M. Towne, Ton Jong, Hans Spada.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.
رده :
LB1029
.
S53
E358
1993
659. Sixth International Conferenve on Software Engineering for Telecommunication Switching Systems, 14-18 April 1986: Venue, the Philips Congress Centre, Eindhoven, the Netherlands
المؤلف: Organised by the Electronics and Computing and Control Divisions of the Institution of Electrical Engineers at the invitation of the Koninklijk Instituut van Ingenieurs )KLVL(, Afdeling sectie Informatietechiek )Sic( and the Nederlands Genootschap Informatica )NGI( in association with the British Computer Society )BCS(, Institute of Mathematics and its Application )IMA(, Institution of Electronic and Radio Engineers )IERE(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Switching systems - Data processing - Congresses ، Telecommunication,Data processing - Congresses ، Telephone switching systems, Electronic
رده :
TK
5102
.
5
.
I5255
1986
660. 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
