1. A Beginner's Guide to Scala, Object Orientation and Functional Programming
پدیدآورنده : / John Hunt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. A tight, practical integration of relations and functions
پدیدآورنده : Boley, Harold
کتابخانه: (طهران)
موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
4. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
5. Advanced functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
6. Advanced functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;
7. Advanced functional programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses ;
8. Advanced functional programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses ;
9. Advanced functional programming : Second International School Olympia, Wa, USA, August 26-30, 1996: Tutorial Text
پدیدآورنده : John Launchbury, Erik Meijer, Tim Sheard )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1129
10. Advanced functional programming : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures
پدیدآورنده : S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1608
11. Advanced functional programming: Third International School, AFP '98, Braga, Portugal, September 12-19, 1998: revised lectures
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A39
1998
12. Advanced functional programming :5 th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
پدیدآورنده : Varmo Vene, Tarmo Uustalu )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3622
13. Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures
پدیدآورنده : Johan Jeuring, Simon Peyton Jones )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2638
14. Advanced topics in dataflow computing and multithreading
پدیدآورنده : / [edited by] Guahg R. Gao, Lubomir Bic, Jean-Luc Gaudiot
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer architecture-Congresses,Functional programming(Computer science)-Congresses
رده :
QA76
.
9
.
A73
,
A355
1991
15. Algorithms: a functional programming approach
پدیدآورنده : Rabhi, Fethi.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
R34
1999
16. An Architecture for combinator Graph Reduction
پدیدآورنده : Philip John Koopman
موضوع : Computer architecture,Functional programming (Computer science),Graph grammers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. An introduction to functional programming
پدیدآورنده : R. J. Bird
موضوع : Functional programming (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. An introduction to functional programming
پدیدآورنده : / Richard Bird, Philip Wadler
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science)
رده :
QA76
.
6
.
B568
1988
19. Applications of functional programming
پدیدآورنده : edited by C. Runciman and D. Wakeling
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( , Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
20. Applications of functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1994