461. Quantitative measure for discrete event supervisory control /
پدیدآورنده: edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
رده :
TJ222
.
Q36
2005
462. Quantum interactio
پدیدآورنده: / Dawei Song ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Quantum theory--Congresses,Computer science,Information theory,Computer software,Electronic data processing,Artificial intelligence,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Mathematics of Computing,Computing Methodologies
رده :
Q
,
334
,.
Q25
,
2011
463. Quantum interaction :
پدیدآورنده: Dawei Song [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses
رده :
Q334
.
Q25
2011
464. Quaternion and Clifford Fourier Transforms and Wavelet
پدیدآورنده: / edited by Eckhard Hitzer, Stephen J. Sangwine
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer vision,Matrix theory,Fourier analysis,Numerical analysis,Number theory,Electronic books
رده :
E-BOOK
465. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
466. Real-Time C++ :
پدیدآورنده: Christopher Kormanyos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C++ (Computer program language),Microcontrollers.,Microprogramming.,Computer architecture.,Computer science.,Computer system failures.,COMPUTERS-- Programming Languages-- C++.,Computers, Special purpose.,Microprogramming.,Software engineering.
رده :
QA76
.
73
.
C153
K695
2015
467. Realtime Data Minin
پدیدآورنده: / by Alexander Paprotny, Michael Thess
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
468. Recent trends in algebraic development techniques
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
469. Recent trends in algebraic development techniques
پدیدآورنده: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
754
,
W32
,
2004
470. Recent trends in algebraic development techniques
پدیدآورنده: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006
471. Recent trends in algebraic development techniques
پدیدآورنده: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
472. Recent trends in algebraic development techniques :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
473. Recent trends in algebraic development techniques
پدیدآورنده: Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
474. Recent trends in algebraic development techniques
پدیدآورنده: / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science, -- Congresses, -- Mathematics,a05,Computer software--Development--Congresses.,Abstract data types (Computer science)--Congresses.
رده :
QA76
.
751
.
W32
2004
475. Recent trends in algebraic development techniques
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
476. Recent trends in algebraic development techniques :
پدیدآورنده: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
477. Recent trends in algebraic development techniques
پدیدآورنده: / Maura Cerioli, Gianna Reggio (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2001
478. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
پدیدآورنده: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
479. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده: Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
480. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
پدیدآورنده: Jose Luiz Fiadeiro )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
