61. Foundation Mathematics for Computer Science
پدیدآورنده : \ John Vince
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics.,Mathematics of Computing.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
.
M35F6
2015
E-Book
,
62. Foundation Mathematics for Computer Science
پدیدآورنده : / John Vince
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
63. Foundation Mathematics for Computer Science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Computer graphics. ; Computer mathematics. ; Mathematics of Computing. ; -Computer science
64. Foundation mathematics for computer science : a visual approach
پدیدآورنده : Vince, John A., 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35V56
65. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
66. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
67. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
68. Future tendencies in computer science, control, and applied mathematics :
پدیدآورنده : A. Bensoussan, J.-P. Verjus (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
69. Future tendencies in computer science, control, and applied mathematics :
پدیدآورنده : A. Bensoussan, J.-P. Verjus (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
70. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L28
Vol
.
653
71. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L4
v
.
653
72. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
رده :
QA
76
.
5
.
I5484
1992
73. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
74. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
75. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
76. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
پدیدآورنده : Edited by Carlos Martin Vide, Victor Mitrana
کتابخانه: Library of Islamic Azad University, Qom branch (Qom)
موضوع : Computer science,Mathematics,Molecular biology
رده :
QA
.
G72
76
2003
77. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
78. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
79. Introduction to computer science mathematics
پدیدآورنده : / Robert V. Jamison
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - 1961-
رده :
510
J32i
