21. FORTRAN/77
پدیدآورنده : / V.A. Dyck, J.D. Lawson, J.A. Smith
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : FORTRAN 77 (Computer program language),Mathematics - Computer programs,Electronic digital computers - Programming
رده :
QA
76
.
73
.
F25D9
1983
22. FPRTRAN 77
پدیدآورنده : / V. A. Dyck, J. D. Lawson, J. A. Smith.,Dyck
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : FORTRAN (Computer program language),mathematics-- computer programs,Electronic digital computers - Programming
رده :
QA
76
.
73
.
F25D9
1983
23. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
24. Fortran programming, programs, and schematic storage maps
پدیدآورنده : Mochel, Myron G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
M538
25. Fortran programming, programs, and schematic storage maps
پدیدآورنده : Mochel, Myron G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
M538
26. Foundation Expression Blend 3 with Silverlight /
پدیدآورنده : Victor Gaudioso.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Expression blend.,Silverlight (Electronic resource),Microsoft Expression blend.,Microsoft Expression blend.,Silverlight (Electronic resource),Silverlight (Electronic resource),Application software-- Development.,Graphical user interfaces (Computer systems),Internet programming.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Design.,Application software-- Development.,Application software-- Development.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Graphical user interfaces (Computer systems),Graphical user interfaces (Computer systems),Informatique.,Internet programming.,Internet programming.,Multimedia systems.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Authoring programs.,Web sites-- Design.,Web sites-- Design.
رده :
TK5105
.
8883
.
G38
2009
27. Introduction to compiler design
پدیدآورنده : Mogensen, Torben, 0691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Compilers )Computer programs(,، Computer science,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
C65M63
2017
28. Introduction to computer Systems design (planning Files & programs)
پدیدآورنده : / by S. J. Waters
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Wa-I
29. Introduction to computer systems design: planning files & programs
پدیدآورنده : Waters, S. J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
W378
30. Introduction to programming
پدیدآورنده : Digital Equipment Corporation. Small Software Documentation Group
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Programming )Electronic computers(,، Electronic digital computers - Programming,، Miniature computers - Programming
رده :
QA
76
.
6
.
D5
31. Large problems, small machines : transforming your programs with advanced algorithms
پدیدآورنده : Heller, Steve
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms
رده :
QA
76
.
6
.
H452
1992
32. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L595
1984
33. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : edited by Dexter Kozen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
34. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L594
1981
35. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده : edited by Edmund Clarke and Dexter Kozen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
36. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980
پدیدآورنده : Symposium on Logics of Programs and their Applications )0891: Poznan, Poland(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
S91935
1980
37. MSP430 microcontroller basics /
پدیدآورنده : by John H. Davies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language),Texas Instruments MSP430 series microprocessors-- Programming.,C (Computer program language),Circuits électroniques-- Calcul.,COMPUTERS-- Hardware-- Personal Computers-- Macintosh.,COMPUTERS-- Hardware-- Personal Computers-- PCs.,Microcontrôleurs.
رده :
TK7895
.
M5
D38
2008eb
38. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
39. Program derivation :the development of programs from specifications
پدیدآورنده : Geoff Dromey
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers--Programming
رده :
QA
،
76
.
6
،.
D77
،
1989
40. Program derivation : the development of programs from specifications
پدیدآورنده : Dromey, R. G., 6491-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming
رده :
QA
76
.
6
.
D77
1989
