61. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
62. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. B. )S. Barry(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
63. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
64. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
65. Algebraic Circuits
پدیدآورنده : \ Antonio Lloris Ruiz ... [et.al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Digital electronics -- Mathematics,Algebra,Computer arithmetic and logic units,الکترونیک رقمی -- ریاضیات,ج‍ب‍ر
رده :
E-Book
,
66. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
67. Algebraic Methodology and Software Technology :
پدیدآورنده : edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
68. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
پدیدآورنده : edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
69. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
70. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
71. Algebraic logic
پدیدآورنده : edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
72. Algebraic logic
پدیدآورنده : edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
73. All About Maude--A High-performance Logical Framewor
پدیدآورنده : / Manuel Clavel ... [et al.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic.,Rewriting systems (Computer science),Human information processing.
رده :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
74. An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
75. Applied logic for computer scientists.
پدیدآورنده : \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
76. Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده : Ayala-Rincon, Mauricio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
77. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده : Betz, Vaughn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36B48
78. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده : Betz, Vaughn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36
B48
79. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده : Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
80. Arguing to Learn :
پدیدآورنده : edited by Jerry Andriessen, Michael Baker, Dan Suthers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Education.,Logic.
رده :
LB1028
.
5
E358
2003
