21. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
Author: Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Sequaential machine theory - Congresses,، Formal languages - Congresses
Classification :
QA
267
.
5
.
S4S89
1975
22. Mathematical foundations of computer sciences 1989
Author: Mathematical foundations of computer sciences 1989
Library: Vali Asr University Central Library (Kerman)
Subject: Computer sciences
Classification :
QA
76
.
M3
1989
23. Mathematical foundations of computer sciences 1989
Author: Mathematical foundations of computer sciences 1989
Library: Vali Asr University Central Library (Kerman)
Subject: Computer sciences
Classification :
QA
76
.
M3
1989
24. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
Author: Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
Library: Vali Asr University Central Library (Kerman)
Subject: programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
Classification :
QA
76
.
7
.
M38
1990
25. New Technological and design developments in deep foundations
Author: / Sponsored by the Deep Foundations Committee of the Geo - Institute of the American Society of Civil Engineers
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Foundations - Congresses,Piling (Civil engineering) -- Congresses
Classification :
TA
775
.
G345
2000
26. New technological and design developments in deep foundations :. proceedings of sessions of Geo-Denver 2000, August 5-8, 2000, Denver, Colorado
Author: Geo-Denver 0002)0002 :Denver, Colo.(, sponsored by the Deep Foundations Committee of the Geo-Institute of the American Society of Civil Engineers ; edited by Norman D. Dennis, Jr., Ray Castelli, Michael W. O'Neill
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، FoundationsCongresses,، Piling )Civil engineering(Congresses
Classification :
TA
775
.
G345
27. Oracle8i internal services for waits, latches, locks, and memory
Author: / Steve Adams,Title on cover: Foundations for advanced tuning..
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Oracle (Computer file),Relational databases.
Classification :
QA
,
76
.
9
,.
D3
,
A35
,
1999
28. Partial differential equationsI:foundations ofthe classical theoy
Author: Partial differential equationsI:foundations ofthe classical theo
Library: Vali Asr University Central Library (Kerman)
Subject: Differential equations,partial
Classification :
QA
374
.
D56213
,
D8
29. Piling and ground treatment: proceedings of the International Conference on Advances in Piling and Ground Treatment for Foundations
Author: International Conference on advances in Piling and Ground Treatment for Foundations )3891: London, England(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Piling )Civil engineering(- Congresses,، Soil stabilization- Congresses
Classification :
TA
780
.
I5117
1983
30. Practical guidelines for the selection, ddesign, and installation of piles
Author: / Prepared by the Committee on Deep Foundations of the ASCE Geotechnical Engineering Division
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Piling (civil enginering) - Handbooks, manuals, etc
Classification :
TA
780
.
A42
1984
31. Practical guidelines for the selection, design, and installation of piles
Author: prepared by the Committee on Deep Foundations of the ASCE Geotechnical Engineering Division
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Piling )Civil engineering( - Handbooks, manuals, etc
Classification :
TA
780
.
A52
32. Practical guidelines for the selection, design, and installation of piles
Author: American Society of Civil Engineers, Committee on Deep Foundations
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Piling )Civil engineering(-- Handbooks, manuals, etc
Classification :
TA
780
.
A52
1984
33. Problems of life and mind
Author: / by George Henry. First series: the foundations of a creed.....,Lewes
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Science -- Philosophy,Science -- Methodology,Knowledge Theory of
Classification :
B
1593
.
P8
34. Problems of plasticity; papers contributed ..
Author: International Symposium on Foundations of Plasticity, 2791, Warsaw
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Plasticity-- Congresses
Classification :
QA
931
.
I49
1972
35. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
36. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
Author: sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computational complexity - Congresses
Classification :
QA
267
.
7
.
S75
1994
37. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
S94
2004
38. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
Author: Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computational complexity -- Congresses
Classification :
QA
267
.
P757
1989
39. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
Author: sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
Classification :
QA
267
.
7
.
S77
2000
40. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
Author: sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
Classification :
QA
268
.
5
.
S95
1993
