1. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
2. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
3. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
4. Computing with New Resources
پدیدآورنده : / Freivalds, Iwama KazuoجCristian S. Calude, Rsi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
5. Computing with cells and atoms :
پدیدآورنده : Cristian S. Calude, Gheorghe Păun
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Molecular computers,Quantum computers
رده :
QA76
.
889
.
C35
2001
6. Developments in language theory : 8th Iternational Cnference, DLT 2004, Auckland, New Zealand, December 13-17 : proceedings
پدیدآورنده : Cristian S. Calude, Elena Calude, Michael J. Dinneen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
3340
7. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
8. Finite versus infinite :
پدیدآورنده : Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000
9. Information and Randomness :
پدیدآورنده : by Cristian Calude.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Coding theory.,Computer science.,Computer software.
رده :
QA267
.
B937
1994
10. Information and randomness: an algorithmic perspective
پدیدآورنده : Calude, Cristian
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C22
2002
11. Information and randomness : an algorithmic perspective
پدیدآورنده : Calude, Cristian
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
267
.
C33
1994
12. J. UCS :
پدیدآورنده : Hermann Maurer, Cristian Calude, Arto Salomaa (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Computer science.,Information technology.
13. Multiset processing :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Congresses ;
14. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
15. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
16. 10, 2011. Proceedings-Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6
پدیدآورنده : / Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
17. 25, 2010. Proceedings-Unconventional Computation: 9th International Conference, US 2010, Tokyo, Japan, June 21
پدیدآورنده : / ichi Amari (auth.), Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis (eds.)-Shun
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
18. Rainbow of Computer Science
پدیدآورنده : / Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
19. Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
پدیدآورنده : / mke (auth.), Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (eds.)نckenhauer, Juraj Hromkovi, Tobias MنJoachim B-Hans
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
20. Rainbow of computer science :
پدیدآورنده : Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Maurer, Hermann A.,1941-,Computer science
رده :
QA76
.
R35
2011b
