301. FM '99 - formal methods / 2.
پدیدآورنده: Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
302. Fault Diagnosis and Fault Tolerance :
پدیدآورنده: by Tinghuai Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science.,Logic design.
رده :
QA76
.
9
.
F38
B985
1992
303. Forced migration, human rights and security /
پدیدآورنده: edited by Jane McAd
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
304. Formal Aspects of Component Software :
پدیدآورنده: edited by Corina S. Pasareanu, Gwen Salaün.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
305. Formal Description Techniques and Protocol Specification, Testing and Verification :
پدیدآورنده: edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
9
.
D5
E358
1997
306. Formal Engineering for Industrial Software Development :
پدیدآورنده: by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
307. Formal Methods in Programming and Their Applications :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
308. Formal Semantics for VHDL
پدیدآورنده: edited by Carlos Delgado Kloos, Peter T. Breuer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Electronic data processing.,Engineering.,Systems engineering.
309. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements
پدیدآورنده: Jakaria, A. H. M.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
310. Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements
پدیدآورنده: Jakaria, A. H. M.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
311. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
312. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
313. Formal methods, foundations and applications :
پدیدآورنده: Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
314. Formal modeling :
پدیدآورنده: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
315. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
316. Formal ontology in information systems :
پدیدآورنده: edited by Carola Eschenbach and Michael Grüninger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Conceptual structures (Information theory), Congresses.,Database design, Congresses.,Expert systems (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Ontology, Congresses.,Conceptual structures (Information theory),Database design.,Expert systems (Computer science),Knowledge representation (Information theory),Ontology.
رده :
QA76
.
76
.
E95
F65
2008
317. Formal specification :
پدیدآورنده: Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
318. Formal techniques for networked and distributed systems
پدیدآورنده: / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
319. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
320. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
