• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۵۹ پاسخ غیر تکراری از ۱۶۰ پاسخ تکراری در مدت زمان ۰,۵۶ ثانیه یافت شد.

1. Advanced R

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hadley Wickham.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)

Classification :
QA276
.
45
.
R3
H335
2019

2. Algorithms and architectures for parallel processing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Yang Xiang...[et al.] (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Electronic data processing-- Distributed processing, Congresses,Parallel processing (Electronic computers)-- Mathematics, Congresses,Parallel processing (Electronic computers), Congresses

Classification :
QA76
.
58
.
I58
2012eb

3. Algorithms and complexity ; new directions and recet results

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses

Classification :
QA
76
.
6
.
S9195
1976

4. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by J. F. Traub

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing

Classification :
QA
76
.
6
.
S919
1976

5. An Introduction to computational science and mathematics

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Charles Van Loan

Library: Tehran University, technical faculty libraries 1 (Tehran)

Subject: Computer science - Mathematics,Electronic digital computers--Programming

Classification :
QA
76
.
9
.
M35V37

6. An introduction to programming with specifications : a mathematical approach

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Kubiak, Ryszard

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming,، Programming )Mathematics(

Classification :
QA
76
.
6
.
K82
1991

7. Applications of generalized nets

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editor, Krassimir T. Atanassov

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Electronic digital computers - Programming , Nets )Mathematics(

Classification :
QA
76
.
6
.
A655
1993

8. Applications of process algebra

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Machine theory ► Parallel processing (Electronic computers) ► Computer science-Mathematics ► Computer network protocols ► Axiomatic set theory ► Algebra

Classification :

9. Applications of process algebra

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by J.C.M. Baeten

Library: Central Library and Documentation Center (Semnan)

Subject: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory

Classification :
QA
267
.
A67
2004

10. Applied mathematics and parallel computing :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Herbert Fischer, Bruno Riedmüller, Stefan Schäffler (editors).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Mathematics -- Data processing.,Optimierung -- Parallelverarbeitung -- Aufsatzsammlung.,Parallel processing (Electronic computers)

Classification :
QA76
.
95
H473
1996

11. Applied mathematics and parallel computing: Festschrift for Klaus Ritter

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Herbert Fischer, Bruno Riedmuller, Stefan Schaffler, ]editors[

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Data processing ، Mathematics,، Parallel processing )Electronic computers(

Classification :
QA
76
.
95
.
A664
1996

12. Array grammars, patterns and recognizers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editor P.S.P. Wang

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(

Classification :
QA
76
.
9
.
M35
A77
1989

13. Calculating with Fortran

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Manifold, George O.

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing

Classification :
QA
76
.
73
.
F25
.
M35

14. Categories and computer science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / R.F.C. Walters

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Categories (Mathematics)--Data processing,Electronic digital computers--Programming

Classification :

15. Categories, types, and structures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

16. Categories, types, and structures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Andrea Asperti, Giuseppe Longo

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

17. Categories, types, and structures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Andrea Asperti, Giuseppe Longo

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

18. Categories, types, and structures : an introduction to category theory for the working computer scientist

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrea Asperti, Giuseppe Longo

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers(,، Categories )Mathematics(

Classification :
QA
76
.
7
.
A76
1991

19. Category theory and computer science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses

Classification :
QA76
.
6
.
C388
1987

20. Category theory and computer science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / D.H. Pitt ... (et al.) (ed.)

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses

Classification :
QA
76
.
6
.
C3882
1989
  • »
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival