1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده : Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Algorithmic problem solving /
پدیدآورنده : Roland Backhouse.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Problem solving.,Computer algorithms.,Computer Science.,Engineering & Applied Sciences.,Problem solving.
رده :
QA76
.
9
.
A43
B34
2011
3. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
4. Construction et verification de programmes
پدیدآورنده : BACKHOUSE,ROLAND C
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
5. Generic programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Generic programming (Computer science) ;
6. Generic programming : advanced lectures
پدیدآورنده : Roland Backhouse, Jeremy Gibbons )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Generic programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2793
7. Mathematics of program construction :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
8. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
9. Nanotechnology :
پدیدآورنده : edited by Geoffrey Hunt and Michael D. Mehta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Nanotechnology-- Law and legislation.,Nanotechnology-- Moral and ethical aspects.,Nanotechnology-- Social aspects.,Nanotechnology-- ethics.,Nanotechnology-- legislation & jurisprudence.,Nanotechnology-- trends.,Risk Assessment.
رده :
T174
.
7
.
N37525
2006eb
10. Nanotechnology
پدیدآورنده : / edited by Geoffrey Hunt and Michael D. Mehta
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Nanotechnology- Moral and ethical aspects,Nanotechnology- Social aspects,Nanotechnology- Law and legislation
رده :
T174
.
7
.
N37525
2006
11. Nanotechnology
پدیدآورنده : / edited by Geoffrey Hunt and Michael D. Mehta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Nanotechnology, Moral and ethical aspects,Nanotechnology, Social aspects,Nanotechnology, Law and legislation
رده :
T174
.
7
.
N37525
2006
12. Nanotechnology
پدیدآورنده : / edited by Geoffrey Hunt and Michael D. Mehta
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Nanotechnology- Moral and ethical aspects,Nanotechnology- Social aspects,Nanotechnology- Law and legislation
رده :
T174
.
7
.
N37525
2006
13. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
14. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Program construction and verification
پدیدآورنده : Backhouse, Roland C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
16. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3