521. Form and Strategy in Science Studies Dedicated to Joseph Henry Woodger on the Occasion of His Seventieth Birthday.
پدیدآورنده: Gregg, J.R.; Harris, F.T.C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
522. Form and Strategy in Science Studies Dedicated to Joseph Henry Woodger on the Occasion of His Seventieth Birthday.
پدیدآورنده: Gregg, J.R.; Harris, F.T.C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
Q175
.
G744
2013
523. Formal Concept Analysis :
پدیدآورنده: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
524. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.
پدیدآورنده: Malinowski, Grzegorz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
Q174
.
M355
2013
525. Formal Semantics for VHDL
پدیدآورنده: edited by Carlos Delgado Kloos, Peter T. Breuer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Electronic data processing.,Engineering.,Systems engineering.
526. Formal methods and object technology
پدیدآورنده: S.J. Goldsack and S.J.H. Kent (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programación orientada al objeto (Informática)
رده :
QA76
.
64
S546
1996
527. Formal methods in standards :
پدیدآورنده: from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
S8
F766
1990
528. Formal specification :
پدیدآورنده: Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
529. Formalization of Natural Languages
پدیدآورنده: by Peter Kümmel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Acoustics.,Physics.
رده :
P128
.
F67
B974
1979
530. Formalization of Programming Concepts:
پدیدآورنده: J Diaz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
532. Forms of becoming :
پدیدآورنده: Alessandro Minelli ; Mark Epstein, translator.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary developmental biology.,Entwicklungsbiologie,Evolution,Evolutionary developmental biology.
رده :
QH491
.
M559513
2009
533. Foundation of switching theory and logic design /
پدیدآورنده: A.K. Singh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic design.,Switching theory.,Logic design.,Switching theory.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7868
.
S9
S56
2008eb
534. Foundations of Knowledge Systems With Applications to Databases and Agents.
پدیدآورنده: Wagner, Gerd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
E95
W346
2012
535. Foundations of Logic Programming
پدیدآورنده: by John Wylie Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
536. Foundations of Programming Languages /
پدیدآورنده: by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
537. Foundations of evidence-based medicine /
پدیدآورنده: Milos Jenicek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evidence-based medicine.,Evidence-Based Medicine-- methods.,Evidence-based medicine.,Evidence-based practice.,Evidenz-basierte Medizin
رده :
R723
.
J465
2003
538. Foundations of programming languages /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
539. Foundations of software technology and theoretical computer science :
پدیدآورنده: ed. by S.N. Maheshwari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
540. Frege :
پدیدآورنده: Harold W. Noonan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,(1848-1925),Frege, Gottlob,1848-1925,Frege, Gottlob,1848-1925.,Frege, Gottlob.,Analysis (Philosophy),Mathematicians-- Germany-- 20th century.,Philosophers-- Germany-- 20th century.,Philosophy, German-- 20th century.,Philosophy, Modern.,Analysis (Philosophy),Betekenis.,Mathematicians.,Philosophers.,Philosophy, German.,Philosophy, Modern.,Symbolische logica.,Germany., 7
رده :
B3245
.
F24
N66
2001
