721. Les reseaux d'entreprise reseaux locaux et bureautiqe
پدیدآورنده : / par Guy Pujolle
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Programming languages(Electronic computers) - - Business
رده :
HF
5548
.
P9
722. 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. ;
723. 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
724. 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
725. 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
,
726. 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
727. 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
728. 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.
729. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
730. Logic programming: : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
731. Logic programming : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
732. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
733. 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
734. 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
735. 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
736. MATLAB Recipes
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
737. 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
738. 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
739. Machine language for the Commodore 64, 128, and other Commodore computers /
پدیدآورنده : Jim Butterfield.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Commodore 128 (Computer)-- Programming.,Commodore 64 (Computer)-- Programming.,Commodore computers-- Programming.,Programming languages (Electronic computers)
740. Machine learning using R :
پدیدآورنده : / Karthik Ramasubramanian, Abhishek Singh,Ramasubramanian
کتابخانه: Central library of medical university of Isfahan (Esfahan)
موضوع : Machine learning,Data mining,R (Computer program language),Computer science,Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
9
.
R3
2017
