701. Ultrafast Dynamics of Chemical Systems
پدیدآورنده: edited by John D. Simon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chemical kinetics.,Picosecond pulses.
رده :
QD502
.
E358
1994
702. Value-range analysis of C programs :towards proving the absence of buffer overflow vulnerabilities
پدیدآورنده: Simon, Axel
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، C )Computer program language(,، Memory management )Computer science(
رده :
QA
76
.
73
.
C15
S545
2008
703. Values of the university in a time of uncertainty /
پدیدآورنده: Paul Gibbs, Jill Jameson, Alex Elwick, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Universities and colleges.,Universities and colleges.
رده :
LB2325
.
V45
2019
704. Valutazione e gestione della violenza :
پدیدآورنده: Robert I. Simon, Kenneth Tardiff ; edizione italiana a cura di Massimo Clerici ; presentazione di Claudio Mencacci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Violenza-- Psicopatologia
705. Verification, Induction, Termination Analysis
پدیدآورنده: / Simon Siegler, Nathan Wasser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
706. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
پدیدآورنده: / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
707. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
708. Verification, induction, termination analysis
پدیدآورنده: Simon Siegler, Nathan Wasser (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
709. Virtual reality and augmented reality :
پدیدآورنده: Jernej Barbic, Mirabelle D'Cruz, Marc Erich Latoschik, Mel Slater, Patrick Bourdot, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Conference papers and proceedings; Congresses
710. Virtue, Happiness and Duclos' Histoire de Madame de Luz
پدیدآورنده: by Lloyd Raymond Free.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: History.,Philosophy (General),Philosophy, Modern.
711. Visual imagery and human rights practice /
پدیدآورنده: editors, Sandra Ristovska and Monroe Price.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Human rights in art.,Human rights in mass media.,Visual communication.,Human rights.,POLITICAL SCIENCE-- Political Freedom & Security-- Civil Rights.,POLITICAL SCIENCE-- Political Freedom & Security-- Human Rights.,Visualization.
رده :
P96
.
H85
V57
2018
712. Vortex Rings and Jets
پدیدآورنده: / Daniel T. H. New, Simon C. M. Yu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده :
E-BOOK
713. Was Communism Doomed?
پدیدآورنده: \ Simon Kemp
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Psychology,روان‌شناسی,a03,a03,Comparative government.
رده :
E-Book
,
714. Web accessibility :
پدیدآورنده: Yeliz Yesilada, Simon Harper, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computers and people with disabilities.,Multimedia systems.,Social media.,Web sites-- Barrier-free design.,Computer science.,Computers and people with disabilities.,Multimedia systems.,Social media.
رده :
QA76
.
9
.
H85
W43
2019
715. Web accessibility
پدیدآورنده: / Simon Harper, Yeliz Yesilada, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Web sites, Design,Human-computer interaction
رده :
E-BOOK
716. Winning Minds
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Business.,Leadership.,Popular Science in Business and Management.,Business.,Führung,Geheimsprache,Kommunikation,Leadership.,Neurowissenschaften,Rhetorik,Rhetorik,Sprachproduktion,Stilistik,Überzeugung,London, 7
رده :
HD28-70
717. Workplace Learning :
پدیدآورنده: Sauter, Werner; Sauter, Simon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
HF5549
.
5
.
T7
S288
2014
718. agent systems-Argumentation in multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
719. 3d TCAD simulation for semiconductor processes, devices and optoelectronics
پدیدآورنده: Li, Simon., Simon Li
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع:
720. dimensional compressible Euler equations /-Convex integration applied to the multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Lagrange equations. ;
