961. Substructural logics
Author: edited by Peter Schroeder-Heister and Kosta Dosen
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S85
1993
962. Subsystems of Second Order Arithmetic
Author: by Stephen G. Simpson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
HF1008
.
B978
1999
963. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
964. Symbolic computation and education
Author: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
20
,.
C65
,
I585
,
2006
965. Synthesis of arithmetic circuits :
Author: / Jean-Pierre Deschamps, G├شry Jean Antoine Bioul, Gustavo D. Sutter.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer arithmetic and logic units.,Digital electronics.,Embedded computer systems. 1
Classification :
E-BOOK
966. Synthesis of arithmetic circuits
Author: / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer arithmetic and logic units.,Digital electronics.,Embedded computer systems.
Classification :
TK
,
7895
,.
A65
,
D47
,
2006
967. Synthesis of arithmetic circuits :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer arithmetic and logic units. ;
968. Synthesis of arithmetic circuits
Author: / Jean-Pierre Deschamps, Gaery Jean Antoine Bioul, Gustavo D. Sutter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
Classification :
TK7895
.
A65D47
2006
969. Synthesis of arithmetic circuits
Author: / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
Classification :
TK7895
.
A65
,
D47
2005
970. Synthesis of arithmetic circuits
Author: / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
Classification :
TK
7895
.
A65D47
2005
971. Synthesis of arithmetic circuits
Author: / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
Classification :
TK7895
.
A65
,
D47
2005
972. Synthesis of arithmetic circuits: FPGA, ASIC and embedded systems
Author: Deschamps, Jean-Pierre
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems
Classification :
TK
7895
.
A65
.
D47
2005
973. Synthesis of arithmetic circuits : FPGA, ASIC and embedded systems
Author: Deschamps, Jean-Pierre
Library: (Semnan)
Subject: ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems
Classification :
TK
7895
.
D47
2005
974. Synthesis of arithmetic circuitsFPGA, ASIC, and embedded systems. ]CD[, Synthesis of arithmetic circuits )Online(
Author: Deschamps, Jean-Pierre, Jean-Pierre Deschamps, Gعery Jean Antoine Bioul, Gustavo D. Sutter
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems,، Electronic books
Classification :
TK7895
.
A65
D47
2006
975. System Analysis and Modeling: About Models
Author: edited by Frank Alexander Kraemer, Peter Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
976. System and circuit design for biologically-inspired intelligent learning
Author: / [edited by] Turgay Temel
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Neural networks (Computer science),Biologically -- inspired computing,Logic circuits
Classification :
QA
76
.
87
.
S9
2011
977. System and circuit design for biologically-inspired intelligent learning
Author: / [edited by] Turgay Temel
Library: Library of College of Science University of Tehran (Tehran)
Subject: Neural networks (Computer science),Biologically-inspired computing,Logic circuits
Classification :
QA
76
.
87
.
S97
2011
978. System-on-chip :
Author: edited by Bashir M. Al-Hashimi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
Classification :
TK7895
.
E42
S976
2006eb
979. TAPSOFT '95:
Author: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
980. Techniques of Prolog programming : with implementation of logical negation and quantified goals
Author: Van Le, T.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Prolog )Computer program language( , Negation )Logic(
Classification :
QA
76
.
73
.
P76
V36
1993
