61. Differentiation in logical form
Author: by: Mehrdad Maleki,^AMaleki, Mehrdad
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic programming,Computer logic,Nonsmooth optimization,Interval analysis )Mathematics(,Automatic differentiation
62. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
63. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
64. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
65. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
66. Essential mathematics for games and interactive application
Author: / James M. van Verth, Lars M. Bishop
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer games--Programming,Three-dimensional display systems--Mathematics
Classification :
QA
,
76
.
76
,.
C672
,
V47
,
2008eb
67. Essential mathematics for games and interactive application
Author: / Jim M. van Verth, Lars M. Bishop
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer games--Programming,Three-dimensional display systems--Mathematics
Classification :
QA
,
76
.
76
,.
C672
,
V47
,
2004
68. Essential mathematics for games and interactive applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: dimensional display systems ; Mathematics. ; -Computer games ; Programming. ; Three
69. Essential mathematics for games and interactive applications :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: dimensional display systems ; Mathematics. ; -Computer games ; Programming. ; Three
70. Essential mathematics for games and interactive applications :
Author: Jim M. van Verth, Lars M. Bishop.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games-- Programming.,Three-dimensional display systems-- Mathematics.
Classification :
QA76
.
76
.
C672
V47
2004
71. Experimental Methods for the Analysis of Optimization Algorithm
Author: / [electronic resource
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Electronic books,Mathematical Optimization,Computer Algorithms,Mathematics, Optimization,Computers, Programming, Algorithms
Classification :
QA402
.
5
72. Experimental Methods for the Analysis of Optimization Algorithm
Author: / [electronic resource
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic books,Mathematical Optimization,Computer Algorithms,Mathematics, Optimization,Computers, Programming, Algorithms
Classification :
E-BOOK
73. FORTRAN/77
Author: / V.A. Dyck, J.D. Lawson, J.A. Smith
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics - Computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
74. FORTRAN/77
Author: / V.A. Dyck, J.D. Lawson, J.A. Smith
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics - Computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
75. FORTRAN/77
Author: / V. A. Dyck, J. D. Lawson, J. A. Smith
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: FORTRAN (computer program language),Mathematics- Computer programs,Electronic digital compouters- Programming
Classification :
QA76
.
73
.
F25
,
D9
1984
76. FPRTRAN 77
Author: / V. A. Dyck, J. D. Lawson, J. A. Smith.,Dyck
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: FORTRAN (Computer program language),mathematics-- computer programs,Electronic digital computers - Programming
Classification :
QA
76
.
73
.
F25D9
1983
77. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
78. Fortran 77
Author: / V.A.Dyck , J.D. Lawson , J.A. Smith
Library: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
Subject: FORTRAN 77 (Computer program language),Mathematics ــ Computer programs.,Computer programming. ــ Computer programs.
Classification :
QA
76
.
73
.
F25D9
1984
79. Fortran, 77; An introduction to structure problem solving
Author: Dyck, V. A
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Fortran (Computer program Language ► Mathematics-Computer programs ► Electronic digital computers-Programming
Classification :
D994f
80. Fortran codes for mathematical programming
Author: / (by) A. H. Land (and) S. Powell
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming (Mathematics) -- Data processing,FORTRAN (Computer program language)
Classification :
QA
402
.
5
.
L33
