601. Les mathematiques a la portee de l'ordinateur
پدیدآورنده : Arnold, Ander
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
602. Les ordinateurs et leurs langages
پدیدآورنده : Deghilage, Jacques
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
D38
603. Logic, language, and computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
604. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
605. Logic, language, and computation
پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
606. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
607. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
608. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
609. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
610. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
611. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (Semnan)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
612. Logics of specification languages
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
613. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
614. MATLAB Recipes
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
615. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
616. Machine Learning Using R
پدیدآورنده : / by Karthik Ramasubramanian, Abhishek Singh
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer science,Computer programming,Programming languages (Electronic computers),Database management
رده :
QA
75
.
5
.
R3
2017
617. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده : edited by W. L. van der Poel and L. A. Maarssen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I18
1973
618. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده : IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I18
1973
619. Machines, languages, and complexity
پدیدآورنده : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 41-81, 8891 : selected contributions ; J. Dassow, J. Kelemen, eds
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
620. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده : Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
