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

1. ......................

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

Author: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(

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

Subject: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(

Classification :
QA
76
.
76
.
D47
I57
1985
vol
.
1

2. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA

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

Author:

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

Subject: ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software

Classification :
QA
76
.
73
.
E75A26
2002

3. AI approaches to the complexity of legal systems :

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

Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).

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

Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.

Classification :
K213

4. ALGOL 68 implementation: proceedings of the IFIP working conference on ALGOL 68 Implementation= Munich, July 20-24, 1970

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

Author: / Edited by J. E. L. Peck

Library: Central Library and Archive Center of shahid Beheshti University (Tehran)

Subject: ALGOL (Computer program language) - Congresses,Electronic digital computers - Programming - Congresses

Classification :
001
.
6424
I11
1970

5. ALGOL 68 implementation; proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970

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

Author:

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

Subject: ، ALGOL )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses

Classification :
QA
76
.
5
.
I28
1970

6. ASIAN 2003 :--Advances in computing science

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

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;

Classification :

7. ASPLOS-III proceedings

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

Author: Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, April 3-6, 9891

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: ، Computer architecture -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Operating systems )Computers( -- Congresses

Classification :
QA
76
.
9
.
A73
I565
1989

8. ASPLOS-IV proceedings

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

Author:

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

Subject: Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(,Congresses ، Operating systems )Computers(

Classification :
QA
76
.
9
.
A73
.
I565
1991

9. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings

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

Author: edited by D. Bjorner

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming

Classification :
QA
76
.
L4
v
.
86

10. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979

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

Author:

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

Subject: ، Electronic digital Computers-- Programming-- Congresses

Classification :
QA
76
.
6
.
W51
1979

11. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings

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

Author: edited by Peter J.L. Wallis

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming

Classification :
QA
76
.
L4
v
.
180

12. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings

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

Author: Ada Software Tools Interfaces Workshop )3891: Bath, England(

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

Subject: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses

Classification :
QA
76
.
73
.
A35
.
A34
1983

13. Advanced concepts for intelligent vision systems :

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

Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).

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

Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.

Classification :
TA1634

14. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course

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

Author: F.L.Baver... )et al( edited by F.L.Bover

Library: Central Library and Information Center of Birjand University (South Khorasan)

Subject: ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses

Classification :
QA
76
.
6
.
A33
1975

15. Advanced in computer science- ASIAN 2004

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

Author: / Michael J. Maher (ed)

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Computer science -- Congresses,Programming language (Electronic computers) -- Congresses,Electronic data processign -- Congresse

Classification :
QA
75
.
5
.
A735
2004

16. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986

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

Author: edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming

Classification :
QA
76
.
L4
v
.
244

17. Advances in artificial intelligence :

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

Author: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).

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

Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.

Classification :
Q334
.
C36
2018

18. Advances in artificial intelligence -- IBERAMIA 2018 :

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

Author: Guillermo R. Simari, Eduardo Fermé, Flabio Gutiérrez Segura, José Antonio Rodríguez Melquiades (eds.).

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

Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems-- knowledge-based systems.,Information retrieval.

Classification :
Q334

19. Advances in artificial intelligence - IBERAMIA 2018: 16th Ibero-American Conference on AI Trujillo, Peru, November 13–16, 2018 Proceedings

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

Author: / Edited by Guillermo R. Simari... [et al.].

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Artificial intelligence -- Congresses.,Artificial intelligence.,Computers -- Programming -- Algorithms.,Artificial intelligence, Computers Programming, Algorithms.

Classification :

20. Advances in bioinformatics and computational biology :

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

Author: Ronnie Alves (ed.).

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

Subject: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.

Classification :
QH324
.
2
  • »
  • 29
  • 28
  • 27
  • 26
  • 25
  • ...
  • 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