741. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
موضوع : ، Computer science-- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
742. Discrete structures, logic, and computability
پدیدآورنده: Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35H43
2002
743. Discrete structures, logic, and computability
پدیدآورنده: / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
744. Discrete structures, logic, and computability
پدیدآورنده: Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
745. Discrete structures, logic, and computability
پدیدآورنده: Hein, James L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
H4D5
2001
746. Discrete structures with contemporary applications
پدیدآورنده: / Alexander Stanoyevitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computer science,Logic, Symbolic and mathematical,Probabilities,-- Mathematics
رده :
004
.
0151
S789D
2010
747. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
748. Discrete structures with contemporary applications
پدیدآورنده: Stanoyevitch, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
76
.
9
.
M35S72
749. Diskrete Mathematik
پدیدآورنده: Lászó Lovász, József Pelikán, Katalin Vesztergombi ; übersetzt aus dem Englischen von Sagine Giese.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science -- Mathematics.,Mathematics.
رده :
QA39
.
3
L379
2005
750. Diskrete Mathematik für Einsteiger :
پدیدآورنده: Albrecht Beutelspacher, Marc.-A. Zschiegner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.
751. Diskrete Mathematik für Einsteiger :
پدیدآورنده: von Albrecht Beutelspacher, Marc-Alexander Zschiegner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computer science.,Mathematics.
752. Diskretna matematika s teorijom grafova /
پدیدآورنده: Blaženka Divjak, Alen Lovrenčić.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Kartezije-- Diskretna matematika-- Povezanost.,Computer science-- Mathematics-- Discrete algorithms.,Phase diagrams.,Algebra-- Matrična algebra-- Porazdelitve, Učbeniki za visoke šole.,Matematične teorije-- Diskretna matematika-- Teorija grup, Učbeniki za visoke šole.,Matematične teorije-- Diskretne metode-- Distribuirani sistemi, Učbeniki za visoke šole.,Teorija grafov-- Matrične metode-- Diskretni sistemi, Učbeniki za visoke šole.,Phase diagrams.
753. Domain Decomposition Methods in Science and Engineering X
پدیدآورنده: / edited by Randolph Bank, Michael Holst, Olof Widlund, Jinchao Xu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer aided design,Differential equations, partial,Computer science, Mathematics,Computer science,Electronic books
رده :
E-BOOK
754. Domain-theoretic foundations of functional programming
پدیدآورنده: / Thomas Streicher
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
755. Duration calculus
پدیدآورنده: / Chaochen Zhou, Michael R. Hansen
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Real-time data processing,Formal methods (computer science),Mathematics -- Data processing
رده :
QA
76
.
54
.
Z46
2004
756. Dynamics: Numerical Explorations
پدیدآورنده: by Helena E. Nusse, James A. Yorke, Eric J. Kostelich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.
757. E.B. Christoffel :
پدیدآورنده: herausgegeben von P.L. Butzer, F. Fehér.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Popular Science in Mathematics/Computer Science/Natural Science/Technology.,Popular Science.
758. E.B. Christoffel :
پدیدآورنده: herausgegeben von P.L. Butzer, F. Fehér.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Popular Science in Mathematics/Computer Science/Natural Science/Technology.,Popular Science.
رده :
QA7
.
H473
1981
759. E-Democracy :
پدیدآورنده: edited by David Rios Insua, Simon French.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Economics.,Mathematics.
760. Earth System Modelling - Volume
پدیدآورنده: / [electronic resource]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic books,Earth Sciences,Computer Simulation,Computer Science, Mathematics,Geography,Science, Earth Sciences, General,Computers, Computer Simulation,Mathematics, Discrete Mathematics,Science, Earth Sciences, Geography
رده :
E-BOOK
