1681. Probability with R
پدیدآورنده: Jane Mary Horgan.,Horgan, Jane M.,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science,Probabilities.,R (Computer program language),Mathematics.
1682. Probability with R: an introduction with computer science applications
پدیدآورنده: Horgan, Jane M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science,، Probabilities,، R )Computer program language(
رده :
QA
76
.
9
.
M35
H863
2009
1683. Probability with R. an introduction with computer science applications
پدیدآورنده: Jane M. Horgan
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Computer science- Mathematics,، Probabilities,، R )Computer program language(
رده :
QA
76
.
9
.
H67
P
1684. Probability with R: an introduction with computer science applications
پدیدآورنده: Horgan, Jane M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، Computer science -- Mathematics,، Probabilities,، R )Computer program language(
رده :
QA
76
.
9
.
M35
H863
1685. Problems & Solutions in Scientific Computing
پدیدآورنده: \ Willi-Hans Steeb ... [et al.].
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Numerical analysis -- Computer programs -- Problems, exercises, etc,Science -- Mathematics -- Computer programs -- Problems, exercises, etc,آنالیز عددی -- برنامه‌های کامپیوتری -- مسائل، تمرینها و غیره ,علوم -- ریاضیات -- برنامه‌های کامپیوتری -- مسائل، تمرینها و غیره
رده :
E-Book
,
1686. Problems & solutions in scientific computing
پدیدآورنده: / Willi-Hans Steeb ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Numerical analysis--Computer programs--Problems, exercises, etc.,Science--Mathematics--Computer programs--Problems, exercises, etc.,C++ (Computer program language--Simulation methods,Java (Computer program language--Simulation methods
1687. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
1688. Proceedings of
پدیدآورنده: ^bSymposium on mathematical foundations of computer science MFCS 90, 15 th, Banka Bystrica 1990
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Mathematical analysis- Foundations ► Computer science- Mathematics
رده :
S989p
1689. Proceedings of the fifth International Conference on Mathematics and Computing :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
1690. Proceedings of the 22nd International Meshing Roundtable
پدیدآورنده: / Josep Sarrate
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Engineering,Appl.Mathematics/Computational Methods of Engineering,Math Applications in Computer Science
1691. Proceedings of the sixth International Conference on Mathematics and Computing :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
1692. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
M35
S94
2004
1693. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
1694. Process Machine Interaction
پدیدآورنده: / edited by Berend Denkena, Ferdinand Hollmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer science,Engineering mathematics,Vibration,Machinery,Electronic books
رده :
E-BOOK
1695. Process algebra with timing
پدیدآورنده: by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
1696. Process algebra with timing
پدیدآورنده: / J.C.M. Baeten, C.A. Middelburg
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
1697. Programming for computations -- Python
پدیدآورنده: Svein Linge, Hans Petter Langtangen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science,Computer programming,Python (Computer program language), -- Mathematics,a03,a04,a05
رده :
QA76
.
9
.
M35
2020
1698. Programming for computations -- Python :
پدیدآورنده: Svein Linge, Hans Petter Langtangen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
رده :
QA76
.
9
.
M35
1699. Programming for computations -- Python: a gentle introduction to numerical simulations with Python 3.6
پدیدآورنده: / Svein Linge, Hans Petter Langtangen.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science -- Mathematics.,Computer programming.,Python (Computer program language),Computer program language.
1700. Progress in Industrial Mathematics at ECMI 2000
پدیدآورنده: edited by Angelo Marcello Anile, Vincenzo Capasso, Antonio Greco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science.,Engineering.,Finance.,Mathematical physics.,Mathematics.
