|
Numerical Analysis |
1 אנליזה
נומרית |
|
234107 |
| Textbooks |
ספרי
לימוד |
|
Dahlquist,G.L., Bjorck,A.
Numerical Methods. Prentice-Hall, 1974.
|
|
s.n.1448 |
|
Kincaid,D., Cheney,W.
Numerical Analysis. 3rd ed., Brooks/Cole, 2002. |
|
s.n.2257104-3rded., 2002 |
|
s.n.2176557-2nd ed., 1996 |
|
Dahlquist,G.L., Bjorck,A.
Numerical Methods in Scientific Computing. Vol. 1, SIAM, 2008. |
|
s.n.2298092 |
|
Vol.2
working copy
online version |
|
Acton,F.S. Numerical Methods
that Work. Harper & Row, 1970. |
|
s.n.207142 |
|
Acton, F.S. Numerical Methods
that Work. Revised edition, Mathematical Association of America,
1990. |
|
s.n.2258877 |
|
Abramowitz, M., Stegun, I.A.,
editors. Handbook of Mathematical Functions: with
Formulas, Graphs and Mathematical Tables. Dover,1964-1972. |
|
s.n.212184 |
|
s.n.216865 |
|
s.n.2234914 |
|
Ralston,A., Rabinowitz, P. A
First Course in Numerical Analysis. 2nd ed., McGraw-Hill
Kogakusha, 1978. |
|
s.n.214545-2nd ed., 1978 |
|
Suli, E., Mayers, D. F. An
Introduction to Numerical Analysis. Cambridge University Press,
2003. |
|
s.n.2265264 |
|
|
Introduction to Computer Science |
מבוא
למחשב שפת
с
|
|
234111 |
| Textbooks |
ספרי
לימוד |
|
Kernighan,B.W., Ritchie,D.M.
The C Programming Language. 2nd ed. Prentice-Hall, 1988. |
|
s.n.2053482 |
|
Kelley,Al., Pohl,I. A Book
on C: Programming in C. 4th ed. Addison-Wesley, 1998. |
|
s.n.2190380 4th ed., 1998 |
|
s.n.2161673 3rd ed., 1995 |
|
Summit S. C Programming FAQs.
Addison-Wesley,1996. |
|
s.n.2211150 |
|
|
Computer Organization and Programming |
ארגון
ותכנות
המחשב
|
|
234118 |
| Textbooks |
ספרי
לימוד |
|
Gill,A. Machine and Assembly
Language Programming of the PDP-11. 2nd ed.
Prentice-Hall, 1983. |
|
s.n.18193-2nd ed.,1983 |
|
MacEwen,G.H. Introduction to
Computer Systems Using the PDP-11 and PASCAL.McGraw-Hill, 1980. |
|
s.n.53279 |
|
Eckhouse,R.H.Jr., Morris,L.R.
Minicomputer Systems: Organization, Programming, and Applications
(PDP-11). 2nd ed. Prentice-Hall, 1979. |
|
s.n.1968-2nd ed.,1979 |
|
|
Introduction to Systems Programming |
מבוא לתכנות מערכות
|
|
234122 |
| Textbooks |
ספרי
לימוד |
|
Kernighan,B.W., Ritchie,D. The C Programming Language. 2nd
ed. Prentice-Hall, 1988. |
|
s.n.2053482 |
|
Summit,S. C Programming FAQs.
Addison-Wesley, 1996. |
|
s.n.2211150 |
|
Reek,K. Pointers on C.
Addison-Wesley, 1998. |
|
s.n.2210466 |
|
Barclay,K.A. ANSI C: Problem
Solving and Programming. 2nd ed. Prentice-Hall, 1990. |
|
s.n.2142393 |
|
Robbins, A. Unix in a Nutshell :
a A Desktop Quick Reference, Covers GNU/Linux, Mac OS X, and
Solaris. 4th ed. O'Reilly, 2006. |
|
s.n.2275835-4th ed., 2006 |
|
s.n.2210781-3rd ed., 1999 |
|
Gilly,D. Unix in a Nutshell.
OReilly. 1992. |
|
s.n.2133283 |
|
Stroustrup,B. The C++
Programming Language. 3rd ed. Addison-Wesley, 1997. |
|
s.n.2183451 |
|
Stroustrup,B. The C++
Programming Language. 3rd ed., special edition.
Addison-Wesley, 2003. |
|
s.n.2256535 |
|
Stroustrup,B. The C++
Programming Language. 3rd ed., special edition. Addison-Wesley,
2000. |
|
s.n.2264758 |
|
Lippman,S.B., Lajoie,J. Moo, B.
E. C++ Primer. 4th ed. Addison-Wesley,2005. |
|
s.n.2267264-4th ed., 2005 |
|
s.n.2196517-3rd ed., 1998 |
|
Meyers, S. Effective C++ :55
Specific Ways to Improve your Programs and Designs.3rd ed.,
Addison-Wesley,2005. |
|
s.n.2275720 |
|
Meyers,S. Effective C++ : 50
Specific Ways to Improve your Programs and Designs. 2nd ed.
Addison-Wesley, 1998. |
|
s.n.2207625-2nd ed.,1998 |
|
s.n.2140882- 1992 |
|
Meyers, S.
More Effective C++ :35 New Ways
to Improve your Programs and Designs.
Addison-Wesley,1996. |
|
s.n.2168404 |
|
Eckel, B. Thinking in C++. 2
vols. Prentice Hall, 2000-2004. |
|
s.n.2295782 |
|
Online version |
|
Online version |
|
Henricson,M., Nyquist,E.
Industrial Strength C++. Prentice Hall, 1997. |
|
s.n.2211151 |
|
Cline,M.P.,
Lomow,G.A. C++ FAQs. 2nd ed. Addison-Wesley, 1999. |
|
s.n.2212866-2nd ed. ,1999 |
|
s.n.2190705-1995. |
|
Jacobson,I.,et al.
Object-Oriented Software Engineering: A Use Case Driven Approach.
ACM Press, 1992. |
|
s.n.2137064 |
|
|
Operating Systems |
מערכות הפעלה |
|
234123 |
| Textbooks |
ספרי
לימוד |
|
Bovet, D. P., Cesati, M.
Understanding the Linux Kernel. 3rd ed. OReilly, 2005. |
|
s.n.2279420-3rd ed., 2005 |
|
s.n.2250199-2nd ed., 2003 |
|
Silberschatz,A., Galvin,P.B.,
Gagne, G. Operating System Concepts 8th ed. Wiley, 2008. |
|
s.n.2298039-8th ed., 2008 |
|
s.n.2268680-7th
ed., 2005 |
|
s.n.2247572-6th ed., 2003 |
|
s.n.2179932-5th ed.,1998 |
|
s.n.2148315-4th ed.,1994 |
|
Silberschatz, A., Galvin, P. B.,
Gagne, G. Operating System Concepts with JAVA.6th ed., Wiley, 2004. |
|
s.n.2261632 |
|
Love, R. Linux Kernel
Development. 2nd ed., Novell Press,2005. |
|
s.n.2293560-2nd ed.,2005 |
|
s.n.2261057-1st ed.,2004 |
|
Red Hat Linux with VMWARE
[course material] Version 8.0. CD ROM , 2004. |
|
s.n.2265711 |
|
|
Combinatorics for Computer Science |
קומבינטריקה
למדעי מחשב
|
|
234141 |
| Textbooks |
ספרי
לימוד |
| Even,S. Algorithmic
Combinatorics. Macmillan, 1973.
|
| s.n.1970
|
|
Even,S. Graph Algorithms. Computer Science Press,
1979. |
|
s.n.1971 |
|
Liu,C.L. Introduction
to Combinatorial Mathematics. McGraw-Hill,
1968.
|
|
s.n.1945
|
|
גינזבורג, א. מתמטיקה דיסקרטית. האוניברסיטה הפתוחה, 1992. קומבינטוריקה ח' 4 |
|
s.n.2142338-1992 |
|
s.n.2073411-1989 |
|
לניאל,
נ., פרנס, מ. מתמטיקה בדידה. 2001
|
|
s.n.2236696 |
|
גירון, ש.
מתמטיקה בדידה .מהד. ב. אקדמיה. 2000 |
|
|
|
s.n.2225851 |
|
|
Digital Systems |
מערכות ספרתיות
|
|
234145 |
| Textbooks |
ספרי
לימוד |
|
Kohavi,Z. Switching and Finite Automata Theory. 2nd
ed. McGraw-Hill, 1978. |
|
s.n.1929- 2nd ed., 1978 |
|
s.n.1930
-1970 |
|
מערכות ספרתיות
תל-אביב : האוניברסיטה הפתוחה, 1988 |
|
s.n.2045004 |
|
Ward,S.A.,
Halstead,R.H.,Jr. Computation Sturctures. MIT Press, 1990. |
|
s.n.2092721 |
|
|
Data Structures 1 |
מבני נתונים 1
|
|
234218 |
| Textbooks |
ספרי
לימוד |
|
Cormen,T.H. [et al.] Introduction to Algorithms. 2nd ed. MIT Press, 2001.
|
|
s.n.2232918-2nd ed., 2001. |
|
s.n.2099273-1990 |
|
קורמן,
ת.ה., מבוא לאלגוריתמים, כרך א,מהד' ב האוניברסיטה הפתוחה,2008
|
|
s.n.2299723-2nd ed., 2008 |
|
s.n.2196197-1st ed.,1998 |
|
Lewis,H.R.,
Denenberg,L.
Data Structures and their Algorithms.
Harper Collins, 1991.
|
| s.n.2122102
|
|
Gusfield,D.
Algorithms on Strings, Trees and Sequences. Cambridge University
Press, 1997.
|
| s.n.2189208
|
| s.n.2189208
|
|
Aho,A.V.,
Hopcroft,J.E., Ullman,J.D.
Data Structures and Algorithms.
Addison-Wesley, 1983.
|
| s.n.12499
|
|
Samet, H. Foundations of Multidimensional and Metric Data Structures.
Elsevier/Morgan Kaufmann,2006. |
|
s.n.2287156 |
|
Horowitz,E.,
Sahni,S.
Fundamentals of Data Structures in Pascal. 4rd ed.
Computer Science Press, 1994.
|
|
s.n.2248315-4th ed., 1994 |
| s.n.2087738-3rd ed.,1990
|
|
|
Algorithms 1 |
אלגוריתמים 1
|
|
234247 |
| Textbooks |
ספרי
לימוד |
|
Cormen,T.H. [et al.] Introduction to Algorithms. 2nd ed. MIT Press, 2001.
|
|
s.n.2232918-2nd
ed., 2001. |
| s.n.2099273-1990
|
| Kleinberg, J., Tardos, E. Algorithm Design.
Pearson/Addison-Wesley,2006.
|
|
s.n.2271029 |
|
Dasgupta, S., Papadimitriou C., Vazirani,U. Algorithms. McGraw-Hill Higher Education,2008. |
|
s.n.2290397 |
|
Even,S.
Graph Algorithms.
Computer Science Press, 1979.
|
|
s.n.1971 |
|
קורמן,ת.ה.
מבוא
לאלגוריתמים.
האוניברסיטה
הפתוחה,1998. |
|
s.n.2196197
|
|
|
Logic Design |
תכן
לוגי
|
|
234262 |
| Textbooks |
ספרי
לימוד |
| Hennessy,J.L., Patterson,D.A. Computer Organization and Design:The Hardware/ Software Interface.4th
ed., Elsevier/Morgan Kaufmann, 2009.
|
|
s.n.2300073-4th ed., 2009 |
|
s.n.2263805-3rd ed., 2004 |
| s.n.2187609-2nd ed.,1998
|
| s.n.2142046- 1994
|
|
Ward,S.A., Halstead,R.H.,Jr.
Computation Structures. MIT Press, 1990. |
| s.n.2092721
|
|
|
Digital Computers Structure (MAMAS) |
מבנה
מחשבים
ספרתיים
|
|
234267 |
| Textbooks |
ספרי
לימוד |
|
Hennessy,J.L Patterson,D.A. Computer Architecture: A Quantitative
Approach. 4th ed., Morgan-Kaufmann, 2007. |
|
s.n.2285679-4th ed., 2007 |
|
s.n.2243749-3rd ed., 2003 |
|
s.n.2169821-2nd ed., 1996 |
|
Hennessy,J.L., Patterson,D.A. Computer Organization and Design:The Hardware/ Software Interface.4th
ed., Elsevier/Morgan Kaufmann, 2009.
|
|
s.n.2300073-4th ed., 2009 |
|
s.n.2263805-3rd ed., 2004 |
| s.n.2187609-2nd ed.,1998
|
|
s.n.2142046- 1994
|
|
|
Logic and Set Theory |
לוגיקה ותורת הקבוצות
|
|
234293 |
| Textbooks |
ספרי
לימוד |
| Ebbinghaus, H.-D., Flum, J., Thomas, W.
Mathematical Logic. 2nd ed. Springer, 1994.
|
| s.n.2163769-2nd ed., 1994
|
| s.n.30173 - 1984
|
| Adamowicz, Z., Zbierski, P. Logic of Mathematics: a Modern Course of
Classical Logic. Wiley-Interscience, 1997.
|
| s.n.2209358
|
| Enderton,H.B. A Mathematical
Introduction to Logic. Academic
Press, 1972.
|
|
s.n.2232554-2nd ed., 2001 |
|
s.n.205767-1972 |
| Mendelson, E. Introduction to Mathematical Logic.4th ed.
Chapman & Hall ,1997.
|
| s.n.2186712-4th ed., 1997
|
|
s.n.2044228-3rd ed., 1987
|
| s.n.213991-2nd ed., 1979 |
|
s.n.213992-1964,1966
|
|
Moschovakis, Y. N. Notes on
Set Theory. Springer, 1994. |
|
s.n.2164173 |
| Shoenfield, J.R. Mathematical Logic. Addison-Wesley, 1967.
|
| s.n.2011773
|
|
Vaught, R.L. Set Theory: an Introduction. 2nd ed. Birkhauser,
1995
|
|
s.n.2170094-2nd ed., 1995
|
|
s.n.2011256-1985 |
|
Halmos, P.R. Nave Set Theory. Springer, 1974.
|
|
s.n.2032604-1974 (reprint)
|
|
s.n.49152-1960 |
|
|
Project in Operating Systems H |
פרוייקט במערכות הפעלה
ה'
|
|
234303 |
| Textbooks |
ספרי
לימוד |
|
Bovet, D. P., Cesati, M. Understanding the Linux Kernel.
3rd ed. O'Reilly, 2005. |
|
s.n.2279420-3rd ed., 2005 |
|
s.n.2250199-2nd ed., 2003 |
|
Rubini, A. Corbet, J. Linux Device Drivers. 3rd ed., O'Reilly, 2005. |
|
s.n.2281868-3rd ed., 2005 |
|
s.n.2238986 |
|
Beck, K. Extreme Programming Explained : Embrace Change. Pearson
Academic 2004. |
|
s.n.2263810-2004 |
|
s.n.2237578-2000 |
|
Fowler, M. [et al.]. Refactoring : Improving the Design
of Existing Code. Addison-Wesley, 1999. |
|
s.n.2254640 |
|
Sommerville,I. Software Engineering . 8th ed., Addison-Wesley, 2007. |
|
s.n.2279935-8th ed.,
2007 |
| s.n.2231196-6th ed.,2001
|
|
Stevens,W.R., Rago, S. A.
Advanced Programming in the UNIX Environment. 2nd ed.,
Addison-Wesley, 2008. |
|
s.n.2298258-2nd ed.,2008 |
| s.n.2144070
|
|
Nichols,
B., Buttlar, D., Farrell, J. P. Pthreads Programming. O'Reilly,1996. |
|
s.n.2285692 |
|
Schmidt,
D.C., Huston, S.D. C++ Network Programming.Vol.1
Addison-Wesley,2002. |
|
s.n.2291997 |
|
Butenhof,
D.R. Programming with POSIX Threads. Addison-Wesley,1997. |
|
s.n.2251455 |
|
Lewis,B., Berg,D.J.
Threads Primer : A Guide to Multithreaded Programming. Prentice-Hall, 1996. |
| s.n.2174437
|
| Beveridge,J., Wiener,R.
Multithreading Applications in WIN32.
Addison-Wesley Developers Press, 1997.
|
| s.n.2184964
|
| Hart,J.M.
WIN32 System
Programming. Addison-Wesley
Developers Press, 1997.
|
| s.n.2182616
|
| Davis,R.
Windows NT Network Programming.
Addison-Wesley, 1994.
|
| s.n.2161947
|
| Petersen,R. Linux:
the Complete Reference. 3rd
ed. Osborne/McGraw-Hill,
1999.
|
| s.n.2208963
|
| Welsh,M., Dalheimer,M.K., Kaufman,L.
Running Linux. 3rd ed.
O`Reilly, 1999.
|
| s.n.2208964
|
|
|
Programming Languages |
שפות
תכנות
|
|
234319 |
| Textbooks |
ספרי
לימוד |
| Watt,D.A. Programming
Language Concepts and Paradigms. Prentice-Hall, 1990.
|
| s.n.2128895
|
|
Welsh, J., Elder, J.
Introduction to PASCAL. 3rd ed. Prentice-Hall, 1988. |
| s.n.2050692-3rd ed., 1988 |
| s.n.5447- 2nd ed., 1982 |
| Paulson,L.C. ML
for the Working Programmer. 2nd ed.
Cambridge University Press, 1996.
|
| s.n.2188368-2nd ed.,1996
|
| s.n.2119911- 1991
|
|
Clocksin, W. F., Mellish, C. S., Programming in Prolog. 5th
ed. Springer, 2003. |
|
s.n.2253786-5th ed., 2003 |
|
s.n.2156812-4th ed., 1994 |
|
s.n.2032476-3rd ed., 1987 |
|
Bratko,I. PROLOG
Programming for Artificial Intelligence. 2nd ed.
Addison-Wesley, 1990.
|
| s.n.2100599-2nd ed.,1990
|
| s.n.2024317- 1986
|
|
Mitchell, J. C. Concepts in Programming Languages. Cambridge
University Press, 2003. |
|
s.n.2248102 |
|
Sethi, R. Programming Languages
:Concepts and Constructs. 2nd ed., Addison-Wesley, 1996 |
|
s.n.2169805 |
| Finkel,R.A. Advanced Programming Language Design. Addison-Wesley,
1996.
|
| s.n.2231531
|
|
|
Introduction to Software Engineering |
שיטות
בהנדסת
תוכנה
|
|
234321 |
| Textbooks |
ספרי
לימוד |
|
Schach,S.R. Classical
and Object-Oriented Software Engineering . 7th
ed./McGraw-Hill,2007.
|
|
s.n.2302749-7th ed., 2007
|
|
s.n.2267671-6th ed., 2005 |
|
s.n.2244482-5th ed., 2002.
|
|
s.n.2200885-4th ed., Java version,1999.
|
|
Pressman,R.S. Software Engineering : A Practitioner`s Approach. 6th
ed.,
McGraw-Hill Higher Education, 2005. |
|
s.n.2263142-6th ed., 2005 |
| s.n.2216043-5th ed.,2001
|
| s.n.2165634-3rd ed.,1992
|
| Eriksson,H.-E.,
Penker,M. UML
Toolkit. Wiley, 1998.
|
| s.n.2202125
|
|
Fowler,M. UML Distilled : a Brief Guide to the Standard Object
Modeling Language. Addison-Wesley, 2004 |
|
s.n.2255632-3rd ed., 2004 |
| s.n.2224963-2nd ed., 2000
|
|
s.n.2196770 - 1997
|
|
Rumbaugh, J. Jacobson, I., Booch, G. The Unified Modeling Language
Reference Manual. Addison-Wesley,2005. |
|
s.n.2287374 |
|
Robertson, S., Robertson, J. Mastering the Requirements Process .
Addison-Wesley, 1999. |
|
s.n.2266642 |
|
Gamma,E. et al. Design Patterns:Elements of ReusableObject Oriented
Software. Addison-Wesley, 1995. |
|
s.n.2163845 |
|
Thayer, R. H., Christensen, M .J. (editors) Software Engineering.3rd
ed., :IEEE Computer Society Press,2005. |
|
s.n.2295783 |
|
Eckel, B.,
Thinking in Java, Prentice-Hall, 4th ed., 2006. |
|
s.n.2280290-4th ed., 2006 |
|
s.n.2251540-3rd ed., 2003
|
|
Online version |
| s.n.2224469-2nd ed., 2000
|
|
|
File Systems |
מערכות
קבצים |
|
234322 |
| Textbooks |
ספרי
לימוד |
|
Salzberg,B. File
Structures and Analytic Approach.
Prentice-Hall, 1988.
|
|
s.n.2058159
|
|
Weikum,G., Vossen,G. Transactional Information Systems :Theory,
Algorithms, and the Practice of Concurrency Control and Recovery.
Morgan Kaufmann,2002. |
|
s.n.2270573 |
|
Ullman,J.D. Principles
of Database and Knowledge-Base Systems. Vol.1.
Computer Science Press, 1988.
|
|
s.n.2062934
|
| Ramakrishnan,
R., Gehrke, J. Database Management Systems. 3rd ed., McGraw-Hill, 2003.
|
|
s.n.2245098-3rd ed., 2003. |
|
s.n.2231150-2nd ed., 2000 |
|
Garcia - Molina, H., Ullman, J.D., Widom,J. Database System
Implementation. Prentice-Hall, 2000 . |
|
s.n.2210470 |
|
|
Intro. to Natural
Language Processing |
מבוא לעיבוד שפות טבעיות
|
|
236299 |
| Textbooks |
ספרי
לימוד |
|
Manning, C.D., Schutze, H. Foundations of Statistical Natural Language
Processing, MIT Press, 1999 |
|
s.n.2204800 |
|
Allen, J., Natural Language
Understanding, 2nd ed., Benjamin/Cummings, 1995 |
|
s.n.2152874 2nd ed., 1995 |
|
s.n.2057035 1st ed., 1987 |
|
Jurafsky, D. Speech and Language Processing.
2nd ed.,
Pearson Prentice-Hall, 2009. |
|
s.n.2302488-2nd., ed., 2009 |
|
s.n.2232890-1st ed., 2000
|
|
|
Project in Natural Language Processing |
פרויקט בעיבוד שפות טבעיות |
|
236303 |
| Textbooks |
ספרי
לימוד |
|
Allen, J., Natural Language
Understanding, 2nd ed., Benjamin/Cummings, 1995 |
|
s.n.2152874 2nd ed., 1995 |
|
s.n.2057035 1st ed., 1987 |
|
Radford, A. Minimalist Syntax
:Exploring the Structure of English. Cambridge University
Press,2004. |
|
s.n.2281029 |
|
Radford, A.
Transformational Grammar: a First Course. Cambridge University Press,
1988. |
|
s.n.2102710 |
|
אורנן,
עזי המשפט הפשוט. אקדמון,
תשל"ט 1979 |
|
s.n.2226701 |
|
אורנן, עזי המילה האחרונה :מנגנון התצורה של המילה העברית. תשס"ג 2003 |
|
s.n.2252021 |
|
|
Algebraic Graph Theory and Combinatorial Designs |
אלגברה של תורת הגרפים ומבנים
|
|
236308 |
| Textbooks |
ספרי
לימוד |
|
Biggs, N. Algebraic Graph
Theory. 2nd ed., Cambridge University Press,1993. |
|
s.n.2154490- 2nd ed., 1993 |
|
s.n.60085 - 1974 |
|
Godsil, C. D., Royle, G.
Algebraic Graph Theory . Springer,2001. |
|
s.n.2234145 |
|
MacWilliams, F.J., Sloane,
N.J.A. The Theory of Error-Correcting Codes. North-Holland, 1977. |
|
s.n.1905
|
|
|
Numerical Linear Algebra |
אלגברה לינארית נומרית
|
|
236320 |
| Textbooks |
ספרי
לימוד |
|
Isaacson,E., Keller,H.B. Analysis of Numerical
Methods. Wiley, 1966. |
|
s.n.212751 |
|
Ralston,A., Rabinowitz,P. A First Course in Numerical
Analysis. 2nd ed. McGraw-Hill Kogakusha, 1978. |
|
s.n.214545-2nd ed.,1978 |
|
s.n.214545-2nd ed.,1978 |
|
Stoer, J., Bulirsch, R. Introduction to Numerical
Analysis. 3rd ed. Springer, 2002. |
|
s.n.2250184-3rd ed.,
2002 |
|
s.n.2143196-2nd.ed., 1993 |
|
s.n.209596-1980 |
|
|
Data Processing Laboratory |
פרויקט
בעיבוד
נתונים
מ' |
|
236323 |
| Textbooks |
ספרי
לימוד |
| Silverston, L.
The Data Model Resource book. 2 vols. Wiley, 2001.
|
| s.n.2237345
|
|
Kimball, R., Ross, M. The Data Warehouse Toolkit : the Complete Guide
to Dimensional Modeling. 2nd ed., Wiley, 2002. |
|
s.n.2263612 |
| Kimball, R. The
Data Warehouse Toolkit: Practical Techniques for Building
Dimensional Data Warehouses. Wiley, 1996.
|
| s.n.2209951
|
|
Keller, H., Jacobitz, J. ABAP objects - the official reference : a
comprehensive guide to all ABAP language elements. SAP Press, 2002. |
|
s.n.2263774 |
|
Keller, H., Kruger, S. ABAP Objects : Introduction to Programming SAP
Applications. Addison-Wesley, 2002. |
|
s.n.2263614 |
|
SAP Authorization System: Design and Implementation of Authorization
concepts for SAP R/3 and SAP enterprise portals. Sap Press, 2003. |
|
s.n.2263615 |
|
McDonald, K. ... [et al.]. Mastering the SAP Business Information
Warehouse. John Wiley & Sons, 2002. John Wiley & Sons, 2002. |
|
s.n.2263610 |
|
Egger, N. SAP BW Professional. SAP Press, 2004. |
|
s.n.2268247 |
|
Will, L. SAP R/3 System Administration : the Official SAP Guide. Sybex,
1999. |
|
s.n.2268238 |
|
System Administration Made Easy Guidebook. Johnson Printing Service,
2002. |
|
s.n.2268240 |
|
R/3 Authorization Made Easy 4.6A/B . Johnson Printing Service, 2000. |
|
s.n.2268248 |
|
Hurst, Q., Nowak, D. Configuring SAP R/3 FI/CO /. SYBEX ; New York :
Wiley,2000. |
|
s.n.2271593 |
|
Williams, G. C. Implementing SAP R/3 Sales and Distribution.
McGraw-Hill,2000. |
|
s.n.2233081 |
|
Blackburn, P., Vaughn, W. Hitchhiker's Guide to SQL Server 2000
Reporting Services. Addison-Wesley,2005 |
|
s.n.2272907 |
|
Egger, N., Fiechter, J.-M. R., Rohlf, J. SAP BW Data Modeling: SAP
Press, 2005. |
|
s.n.2282941 |
|
Egger, N. [et al.] SAP BW Reporting and Analysis. SAP Press,2006. |
|
s.n.2282940 |
| Corey, M. [
et al.] SQL Server 7: Data Warehousing. Osborne/McGraw-Hill, 1999.
|
| s.n.2204941
|
|
|
Introduction to Computer Networks |
מבוא
לרשתות
מחשבים
|
|
236334 |
| Textbooks |
ספרי
לימוד |
| Tanenbaum,A.S. Computer
Networks. 4th ed. Prentice Hall-Int., 2002.
|
| s.n.2245104-4th ed., 2002.
|
| s.n.2171537-3rd ed.,1996
|
|
Halsall,F. Data
Communications, Computer Networks and Open Systems. 4th.ed. Addisson Wesley, 1996. |
| s.n.2182234-4th.ed.,1996
|
| Bertsekas,D.P., Gallager,R.
Data Networks. 2nd ed.
Prentice Hall-Int., 1992.
|
| s.n.2131675-2nd ed.,1992
|
| s.n.2024609- 1987
|
|
|
Computer Communications Project |
פרוייקט
ברשתות
מחשבים
|
|
236340 |
| Textbooks |
ספרי
לימוד |
| Comer,D.E. Internetworking with TCP/IP,
5th ed. , Prentice-Hall, 2006.
|
|
s.n.2274168 - 5th ed.,2006 |
| s.n.2214967 - 4th ed.,2000
|
| s.n.2176121 - 3rd ed.,1995
|
| Stevens,W.R. TCP/IP
Illustrated. Vol. 1: The Protocols. Addison-Wesley, 1994.
|
| s.n.2151702
|
| Tanenbaum,A.S. Computer
Networks. 4th ed. Prentice Hall-Int., 2002.
|
| s.n.2245104-4th ed., 2 002.
|
| s.n.2171537-3rd ed.,1996
|
|
|
Internet Networking |
תקשורת באינטרנט
|
|
236341 |
| Textbooks |
ספרי
לימוד |
|
Stevens,W.R. TCP/IP Illustrated. Vol. 1: The Protocols.
Addison-Wesley, 1994. |
|
s.n.2151702 |
|
Huitema,C. Routing in the Internet. 2nd
ed., Prentice-Hall, 2000. |
|
s.n.2218727 - 2nd
ed., 2000 |
| s.n.2166443 -1st ed.,1995 |
|
Keshav,S. Engineering Approach to Computer
Networking. Addison-Wesley, 1997. |
| s.n.2194997 |
|
Comer,D.E. Internetworking
with TCP/IP, 5th ed. , Prentice-Hall, 2006. |
|
s.n.2274168 - 5th ed.,2006 |
|
s.n.2214967 4th ed.,2000 |
|
s.n.2176121 - 3rd ed.,1995 |
|
Kurose, J.F., Ross,K.W. Computer Networking : a Top-down Approach.
5th ed., Pearson Education,2010.
|
|
s.n.2308921-5th ed., 2010 |
|
s.n.2291736 - 4th ed., 2008 |
|
s.n.2279336 - 3rd ed., 2005 |
|
s.n.2247234 - 2nd ed., 2003 |
|
s.n.2225671 - 2000 |
|
Peterson, L.L., Davie, B.S.
Computer Networks : a Systems Approach. 3nd ed. Morgan Kaufmann, 2003. |
|
s.n.2252913 - 3rd ed., 2003. |
|
s.n.2212448 - 2nd ed.,
2000 |
|
s.n.2171395 -1996 |
|
|
Theory of Computation |
תורת
החישוביות
|
|
236343 |
| Textbooks |
ספרי
לימוד |
|
גולדריך, ע. מבוא לתורת החשוביות.
מהד' ג[חיפה] :הטכניון-מכון טכנולוגי לישראל, הפקולטה למדעי
המחשב,1992. |
|
s.n.2234105 |
| Lewis,H.R., Papadimitriou,C.H.
Elements of the Theory of Computation.
Prentice-Hall, 1981.
|
| s.n.2189188-2nd ed.,1998.
|
|
s.n.208806-1981
|
|
Hopcroft,
J.E,Motwani,R. Introduction to Automata Theory, Languages .and
Computation. 3rd ed., Pearson,2007. |
|
s.n.2290353-3rd ed., 2007. |
|
s.n.2229457-2nd ed.,2001.
|
|
s.n.1958-1979. |
| Papadimitriou, C.H., Computational Complexity, Addison-Wesley, 1994
|
| s.n.2151305
|
|
Garey,M.R., Johnson,D.S. Computers and Intractability : A
Guide to the Theory of NP-Completeness. Freeman, 1979. |
| s.n.73033
|
|
Sipser, M., Introduction to the Theory of Computation. 2nd ed.,
Thomson/Course Technology,2006. |
|
s.n.2270984-2nd ed., 2006 |
| s.n.2189950-1997
|
|
|
Automatic
Verification of Programs |
אימות אוטומטי של מערכות תכנה וחומרה |
|
236345 |
| Textbooks |
ספרי
לימוד |
|
Clarke,E.M., Grumberg,O., Peled,D.
Model Checking. M
I T Press, 1999. |
|
s.n.2207127
|
|
Online version full text, available on campus |
|
|
Computer Security |
הגנה
במערכות
מתוכנתות
|
|
236350 |
| Textbooks |
ספרי
לימוד |
| Kaufman,C., Perlman,R., Speciner,M.
Network Security : Private Communication in a Public Word. 2nd
ed. Prentice Hall PRT,2002.
|
| s.n.2243150-2nd ed.,2002.
|
|
s.n.2185623 1995
|
|
Viega, J., McGraw,G. Building Secure
Software : How to Avoid Security Problems the Right Way. Addison-Wesley,2002 |
|
s.n.2252206 |
|
Anderson, R. Security
Engineering :a Guide to Building Dependable Distributed Systems.2nd
ed., Wiley, 2008. |
|
s.n.2300315 |
| Chapman,D.B., Zwicky E.D.
Building Internet Firewalls. 2nd
ed.
O`Reilly, 2000.
|
|
s.n.2252692-2nd ed., 2000. |
|
s.n.2164203-1995 |
|
Cheswick, W. R. Firewalls and Internet Security:
Repelling the Wily Hacker.
2nd ed.
Addison-Wesley, 2003. |
|
s.n.2252622-2nd ed., 2003 |
|
s.n.2152063 |
|
Doraswamy, N., Harkins, D. IPSec : the New Security
Standard for the Internet, Intranets, and Virtual Private Networks. 2nd
ed., Prentice Hall PTR, 2003. |
|
s.n.2258284-2nd ed., 2003 |
|
s.n.2210904
|
|
Stallings, W., Brown, L.
Computer Security :Principles and Practice. Pearson/ Prentice Hall,
2008 |
|
s.n.2297863 |
|
|
Automata and Formal Languages |
אוטומטים
ושפות
פורמליות
|
|
236353 |
| Textbooks |
ספרי
לימוד |
|
זקס,ש.,
פרנסיז,ז.
אוטומטים
ושפות
פורמליות,
הוצאת
האוניברסיטה
הפתוחה, 2000 |
|
s.n.2214487-2000 |
| s.n.2181323-1991 |
|
Hopcroft,J.E., Ullman, J.D. . Introduction to Automata Theory,
Languages and Computation. Addison-Wesley,1979. |
| s.n.1958-1979
The first edition is specifically recommended! |
|
|
Advanced Topics in Distributed Algorithms |
נושאים מתקדמים באלגוריתמים מבוזרים |
|
236358 |
| Textbooks |
ספרי
לימוד |
|
Attiya, H., Welch, J. Distributed Computing : Fundamentals,
Simulations and Advanced Topics. 2nd ed., Wiley-Interscience, 2004. |
|
s.n.2262100- 2nd ed.,
2004
|
|
Online version |
|
s.n.2195374-1998 |
|
Lynch, N.A. Distributed Algorithms. Morgan Kaufmann, 1996. |
|
s.n.2196465 |
|
|
Algorithms 2 |
אלגוריתמים
2 |
|
236359 |
| Textbooks |
ספרי
לימוד |
|
Cormen,T.H. [et al.] Introduction to Algorithms. 3rd ed.
MIT Press, 2009.
|
|
s.n.2309426- 3rd ed., 2009 |
| s.n.2232918-2nd ed., 2001.
|
| s.n.2099273-1990
|
| Ahuja, R.K. Networks Flows:Theory, Algorithms, and
Applications.Prentice-Hall, 1993.
|
| s.n.2136582
|
|
Papadimitriou, C. H., Steiglitz, K. Combinatorial Optimization :
Algorithms and Complexity. Dover, 1998. |
|
s.n.2224070 |
|
Cook,
W. . [et
al.] Combinatorial Optimization. Wiley-Interscience, 1998. |
|
s.n.2194252 |
|
Karloff, H., Linear Programming. Birkhauser, 1991. |
|
s.n.2147656 |
|
|
Theory of Compilation |
תורת
הקומפילציה
|
|
236360 |
| Textbooks |
ספרי
לימוד |
| Alfred
V. Aho ...[et al.]. Compilers :Principles, Techniques & Tools. 2nd
ed., Pearson/Addison-Wesley, 2007. |
|
s.n.2293305 -2nd
ed., 2007 |
| s.n.2003115 -1st ed.,1986 |
| Wilhelm,R., Maurer,D. Compiler
Design. Addison-Wesley,1995.
|
| s.n.2166694
|
|
|
Database Management Systems |
מערכות
מסדי נתונים
|
|
236363 |
| Textbooks |
ספרי
לימוד |
|
Garcia-Molina,
H., Ullman, J. D., Widom, J. Database System :The Complete Book.2nd
ed., Pearson/
Prentice Hall,2009. |
|
s.n.2298037-2nd ed., 2008 |
|
s.n.2253714 |
|
Ullman,J.D., Widom, J.
A First Course in Database Systems. 3rd ed.,
Pearson/Prentice Hall, 2008. |
|
s.n.2293895-3rd ed., 2008 |
|
s.n.2256364-2nd ed., 2002 |
| s.n.2184047 -1997 |
| Ullman,J.D. Principles
of Database and Knowledge-Base Systems. 2 vols.
Computer Science
Press, 1988.
|
| s.n.2062934
|
| Ramakrishnan,
R., Gehrke, J. Database Management Systems. 3rd ed., McGraw-Hill, 2003.
|
|
s.n.2245098-3rd ed., 2003. |
|
s.n.2231150-2nd ed., 2000 |
| Silberschatz,A., Korth,H.F., Sudarshan,S. Database System Concepts. 5th
ed.McGraw-Hill, 2006.
|
|
s.n.2279798-5th ed., 2006. |
| s.n.2230401-4th ed.,2002.
|
| s.n.2183497-3rd ed.,1997
|
| Mannila,H., Raiha,K.-J. The
Design of Relational Databases.
Addison-Wesley, 1992.
|
| s.n.2159084
|
| Abiteboul,S., Hull,R., Vianu,V.
Foundations of Databases.
Addison-Wesley, 1995.
|
| s.n.2158912
|
| Abiteboul,S., Buneman, D., Siciu, D., Data on the Web: from
Relations to Semistructed Data and XML . Morgan Kaufman, 2000
|
| s.n.2209945
|
|
Skonnard, A. Gudgin, M.
Essential XML Quick Reference : a Programmer's Reference to XML,
XPath, XSLT, XML Schema,
SOAP, and more.Addison-Wesley, 2002. |
|
s.n.2254057 |
|
Brundage, M. The XML Query Language. Addison-Wesley, 2004. |
|
s.n.2262940 |
|
Walmsley, P. Definitive XML Schema. Prentice Hall PTR, 2002. |
|
s.n.2254053 |
|
Walmsley, P. Definitive XQuery. Prentice-Hall PTR,2005. |
|
s.n.2271608 |
|
Melton, J., Buxton, S. XQuery, XPath, and SQL/XML in Context /.
Elsevier/Morgan Kaufmann, 2006. |
|
s.n.2283266 |
| Garcia Molina, H., Ullman, J.D., Widom,J. Database System
Implementation. Prentice Hall, 2000
|
| s.n.2210470
|
|
|
Project in Operating Systems M |
פרוייקט במערכות הפעלה מ'
|
|
236366 |
| Textbooks |
ספרי
לימוד |
|
Bovet, D. P., Cesati, M. Understanding the Linux Kernel.
3rd ed. O'Reilly, 2005. |
|
s.n.2279420-3rd ed., 2005 |
|
s.n.2250199-2nd ed., 2003 |
|
Rubini, A. Corbet, J. Linux Device Drivers. 3rd ed., O'Reilly, 2005.
|
|
s.n.2281868-3rd ed., 2005 |
|
s.n.2238986 |
|
Beck, K. Extreme Programming Explained : Embrace Change. Pearson
Academic 2004. |
|
s.n.2263810-2004 |
|
s.n.2237578-2000 |
|
Fowler, M. [et al.]. Refactoring : Improving the Design
of Existing Code. Addison-Wesley, 1999. |
|
s.n.2254640 |
|
Sommerville,I. Software Engineering . 8th ed., Addison-Wesley, 2007. |
|
s.n.2279935-8th ed.,
2007 |
| s.n.2231196-6th ed.,2001
|
|
Stevens,W.R., Rago, S. A. Advanced Programming in the UNIX
Environment. 2nd ed., Addison-Wesley, 2008. |
|
s.n.2298258-2nd
ed.,2008 |
| s.n.2144070 |
|
Nichols, B., Buttlar, D., Farrell, J. P. Pthreads Programming.
O'Reilly,1996. |
|
s.n.2285692 |
|
Schmidt,
D.C., Huston, S.D. C++ Network Programming.Vol.1
Addison-Wesley,2002. |
|
s.n.2291997 |
|
Butenhof,
D.R. Programming with POSIX Threads. Addison-Wesley,1997. |
|
s.n.2251455 |
|
Lewis,B., Berg,D.J.
Threads Primer : A Guide to Multithreaded Programming. Prentice-Hall, 1996. |
| s.n.2174437
|
| Beveridge,J., Wiener,R.
Multithreading Applications in WIN32.
Addison-Wesley Developers Press, 1997.
|
| s.n.2184964
|
| Hart,J.M.
WIN32 System
Programming. Addison-Wesley
Developers Press, 1997.
|
| s.n.2182616
|
| Davis,R.
Windows NT Network Programming.
Addison-Wesley, 1994.
|
| s.n.2161947
|
| Petersen,R. Linux:
the Complete Reference. 3rd
ed. Osborne/McGraw-Hill,
1999.
|
| s.n.2208963
|
| Welsh,M., Dalheimer,M.K., Kaufman,L.
Running Linux. 3rd ed.
O`Reilly, 1999.
|
| s.n.2208964
|
|
|
Formal Specifications For Complex Systems |
מפרטים פורמליים למערכות מורכבות |
|
236368 |
| |
|
|
Spivey, J. M. The Z Notation : a Reference Manual. 2nd
ed. Prentice-Hall, 1992. |
|
s.n.2158492 |
|
Spivey, J. M. Understanding Z : a Specification Language and its
Formal Semantics. Cambridge University Press, 1988. |
|
s.n.2070678 |
|
|
Concurrent and Distributed Programming |
תכנות מקבילי ומבוזר |
|
236370 |
| Textbooks |
ספרי
לימוד |
|
Grama,A. ... [et al.]
Introduction to Parallel Computing. 2nd ed.,
Addison-Wesley,2003 |
|
s.n.2253819 |
|
Tanenbaum,A.S, Steen, M. van Distributed Systems: Principles and
Paradigms.2nd ed., Prentice-Hall,2006.
|
|
s.n.2290407-2nd ed.,2006 |
| s.n.2241176
-2002 |
|
Tanenbaum,A.S. Distributed Operating
Systems. Prentice Hall, 1995. |
|
s.n.2164044 |
|
Herlihy, M., Shavit, N. The Art of
Multiprocessor Programming. Elsevier/Morgan Kaufmann, 2008. |
|
s.n.2297021 |
|
Bisseling, R.H. Parallel Scientific Computation : Structural Approach
Using BSP and MPI. Oxford University Press, 2004. |
|
s.n.2267291 |
|
Lea,D. Concurrent Programming in Java.
Addison-Wesley, 2000. |
|
s.n.2213002-2nd ed.,2000 |
|
s.n.2178083- 1996 |
|
|
Image Synthesis |
סינתזה
של תמונות
|
|
236373 |
| Textbooks |
ספרי
לימוד |
|
Glassner,A.S. Principles of Digital Image Synthesis. 2 vols.
Morgan Kaufmann, 1995. |
|
s.n.2151407 |
|
Watt,A., Watt.M. Advanced Animation and Rendering Techniques :
Theory and Practice. ACM Press, 1992. |
|
s.n.2141145 |
|
Jensen, H. W. Realistic Image Synthesis Using Photon Mapping. A
K Peters,2001. |
|
s.n.2302727 |
|
Glassner,A.s.,ed. An Introduction to Ray Tracing. Academic Press,
1989. |
|
s.n.2086466 |
|
Wolberg,G. Digital Image Warping. IEEE Comp. Soc. Press, 1990. |
|
s.n.2115011 |
|
Sillion,F.X., Puech,C. Radiosity and Global Illumination. Morgan
Kaufmann, 1994. |
|
s.n.2151408 |
|
Cohen,M.F., Wallace,J.R. Radiosity and Realistic Image Synthesis.
Academic Press Professional, 1993. |
|
s.n.2144325 |
|
Foley,J.D.,et al. Computer
Graphics: Principles and Practices. 2nd ed in C. Addison-Wesley, 1996.
|
| s.n.2186305-2nd ed. in C, 1996
|
| s.n.2092107-2nded.,1990
|
|
|
Further Reading |
ספרי עזר |
|
Shirley, P., Morley, R. K. Realistic Ray Tracing. AK Peters,2003. |
|
s.n.2274063 |
|
Dutre, P., Bekaert, P., Bala, K. Advanced Global Illumination. AK
Peters,2003. |
|
s.n.2274064
|
|
Pharr, M., Humphreys, G. Physically Based Rendering :from Theory to
Implementation. Elsevier/Morgan Kaufmann,2004. |
|
s.n.2274061 |
|
|
Communication
Complexity |
קריפטוגרפיה וסיבוכיות |
|
236518 |
| Textbooks |
ספרי לימוד |
|
Kushilevitz, E., Nisan, N.
Communication Complexity, Cambridge University Press, 1997 |
|
s.n.2180429 |
|
|
Coding for Storage Systems |
קידוד
במערכות איחסון מידע |
|
236520 |
| Textbooks |
ספרי
לימוד |
|
Lind,D.A., Marcus,B. An Introduction to Symbolic
Dynamics and Coding. Cambridge
University Press, 1995. |
|
s.n.2164441 |
|
Marcus, B.H., Roth, R.M., Siegel,
P.H., Constrained Systems and Coding for Recording Channels. Technion,
Technical Report CS0929 Technion-I.I.T., Dept. of Computer
Science,1998 |
|
s.n.2287704 |
|
Pless,
V. S., Huffman, W. C. (editors) Handbook of Coding Theory, pp.1635-1764.
Elsevier, 1998. |
|
s.n.2196369 |
|
Schouhamer Immink, K. A. Codes for Mass Data Storage Systems. 2nd ed.,
Shannon Foundation,2004. |
|
s.n.2278533-2nd ed., 2004 |
|
s.n.2217858-1st ed., 1999 |
|
Schouhamer Immink,K.A. Coding Techniques for Digital
Recorders. Prentice Hall, 1991. |
|
s.n.2108244 |
|
Pohlmann,K.C. The Compact Disc Handbook. 2nd
ed. A-R Editions, Inc., 1992. |
|
s.n.2146582 |
|
|
Algorithms in Computational Biology |
אלגוריתמים
בביולוגיה
חישובית
|
|
236522 |
| Main Textbook |
ספר לימוד מרכזי |
| Durbin, R. [ et
al] Biological Sequence Analysis: Probabilistic Models of Proteins
and Nucleic Acids. Cambridge University Press, 1998.
|
| s.n.2223751
|
|
|
Reference books |
ספרי עזר |
|
Polanski,A., Kimmel M.
Bioinformatics. Springer,2007. |
|
s.n.2294189 |
| Setubal, J.,
Meidanis, J. Introduction to Computational Molecular Biology. PWS,
1997.
|
| s.n.2217297
|
|
Waterman, M. S. Introduction to computational biology :maps,
sequences, and genomes. Chapman & Hall,1995. |
|
s.n.2166282 |
|
Gusfield,D. Algorithms on Strings, Trees and Sequences. Cambridge
University Press, 1997. |
|
s.n.2189208 |
|
Nussbaum, R. L. McInnes, R.R., Willard, H.F.
Thompson&Thompson Genetics in Medicine. 6th ed. Saunders,
2001. |
|
s.n.2204393-6th ed., 2001 |
|
s.n.2110327-5th ed., 1991 |
|
Griffiths, A.J.F. et al An
Introduction to Genetic Analysis. 8th ed., W.H. Freeman, 2005. |
|
s.n.2263243-8th ed., 2005 |
|
s.n.2210857-7th ed., 2000 |
|
s.n.2178145-6th ed., 1996 |
|
s.n.2150761-5th ed., 1993 |
|
Semple, C., Steel, M.,
Phylogenetics. Oxford University Press, 2003. |
|
s.n.2250260 |
|
|
Advanced Topics in Computer Science 1 |
נושאים מתקדמים במדעי המחשב
1 |
|
236601 |
| Textbooks |
ספרי לימוד |
|
Nocedal, J., Wright, S.
J. Numerical Optimization. 2nd ed., Springer, 2006. |
|
s.n.2286937-2nd., 2006
|
|
s.n.2207612-1st ed., 1999 |
|
Boyd, S. P., Vandenberghe,
L. Convex Optimization.
Cambridge University Press,2004. |
|
s.n.2262155 |
|
Online access |
|
Bertsekas, D. P.Nonlinear
Programming. 2nd ed.,Athena
Scientific, 1999. |
|
s.n.2211541
|
|
|
Advanced Topics in Computer Science 7 |
נושאים
מתקדמים במדעי המחשב 7 |
|
236607 |
| Textbooks |
ספרי
לימוד |
|
Moller, A., Schwartzbach, M. I.
An Introduction to XML and Web Technologies. Addison-Wesley,2006. |
|
s.n.2284436 |
|
|
Reference Books |
ספרי עזר |
|
Eckel, B.,
Thinking in Java, Prentice-Hall, 4th ed., 2006. |
|
s.n.2280290-4th ed., 2006 |
|
s.n.2251540-3rd ed., 2003
Online version |
| s.n.2224469-2nd ed., 2000
|
|
Hall, M., Brown, L. Core Servlets
and JavaServer Pages :Core Technologies. 2nd ed., 2vols.
Prentice Hall PTR : Sun Microsystems Press,2004 -. |
|
s.n.2290352-2nd ed., 2004- |
|
s.n.2250071-1st ed,2000 |
|
Souders, S. High Performance Web Sites. O'Reilly, 2007. |
|
s.n.2292276 |
|
Jackson, J. C. Web Technologies :a Computer Science Perspective.
Pearson/Prentice Hall,2007. |
|
s.n.2280132 |
|
Antoniou, G., Van Harmelen, F. A Semantic Web Primer. MIT Press,2004. |
|
s.n.2271433 |
|
Yeager, N. J.,
McGrath, R.E. Web Server
Technology :the Advanced Guide for World Wide Web Information
Providers. Morgan
Kaufmann,1996. |
|
s.n.2290380 |
|
Davies J., Studer R., Warren P. Semantic Web Technologies :Trends and
Research in Ontology-based Systems. Wiley,2006. |
|
s.n.2290379 |
|
|
Advanced Topics in Algorithms L |
נושאים
מתקדמים באלגוריתמים
ה' |
|
236620 |
| Textbooks |
ספרי
לימוד |
|
Nisan N., [et al.].
editors. Algorithmic Game Theory.
Cambridge University Press,2007. |
|
s.n.2291306 |
|
Osborne, M. J., Rubinstein, A. A Course in Game Theory. MIT Press,
1994. |
|
s.n.2154756
|
|
|
Advanced Topics in Formal Verification Methods L |
נושאים מתקדמים
בשיטות אימות פורמליות ה |
|
236624 |
| Textbooks |
ספרי
לימוד |
|
Bradley, A. R.,
Manna, Z. The Calculus of
Computation :Decision Procedures with Applications to Verification.
Springer,2007. |
|
s.n.2291628 |
|
Online version available on campus |
|
|
Parallel Algorithms for Fixed Connection |
אלגוריתמים
מקבילים
לרשתות
קבועות קשר
|
|
236699 |
| Textbooks |
ספרי
לימוד |
| Leighton, F.T. Introduction to Parallel Algorithms and
Architectures: Arrays,Trees, Hipercubes. Kaufmann, 1992.
|
| s.n.2112934
|
|
|
Software Design |
תיכון
תוכנה
|
|
236700 |
| Textbooks |
ספרי
לימוד |
| Gamma,E. et al. Design Patterns:Elements of ReusableObject
Oriented Software. Addison-Wesley, 1995.
|
| s.n.2163845
|
|
Fowler, M. [et al.]. Refactoring
: Improving the Design of Existing Code. Addison-Wesley, 1999. |
|
s.n.2254640
|
|
Beck, K. Extreme Programming
Explained : Embrace Change. 2nd ed., Pearson Academic
2004. |
|
s.n.2263810 |
|
Beck, K. Implementation
Patterns. Addison-Wesley, 2008. |
|
s.n.2309334 |
|
Beck, K. Test-Driven Development
:by example. Addison-Wesley, 2003. |
|
s.n.2309332 |
|
|
Object Oriented Programming |
תכנות
מונחה עצמים
|
|
236703 |
| Textbooks |
ספרי
לימוד |
| Stroustrup,B. The
C++ Programming Language. 3rd ed.
Addison-Wesley, 1997.
|
| s.n.2183451-3rd ed.,1997
|
|
Stroustrup,B. The C++ Programming Language. 3rd ed., special
edition. Addison-Wesley, 2003. |
|
s.n.2256535 |
|
Stroustrup,B. The C++ Programming Language. 3rd ed., special
edition. Addison-Wesley, 2000. |
| s.n.2264758 |
|
Eckel, B.,
Thinking in Java, Prentice-Hall, 4th ed., 2006. |
|
s.n.2280290-4th ed., 2006 |
|
s.n.2251540-3rd ed., 2003
|
|
Online version |
| s.n.2224469-2nd ed., 2000
|
|
Korienek, G., Wrensch,T.,
Dechow D. Squeak: a Quick Trip to ObjectLand.Addison-Wesley,2002. |
|
s.n.2302845
|
| Budd,T.
An Introduction to Object-Oriented Programming. 3rd ed. Addison-Wesley, 2002.
|
|
s.n.2247983-3rd ed., 2002 |
| s.n.2191445-2nd ed.,1997
|
|
|
Geometric Modeling |
מודלים
גאומטריים
במערכות תיב"מ
|
|
236716 |
| Textbooks |
ספרי
לימוד |
| Cohen,E., Riesenfeld, R.,
Elber,G. Geometric Modeling with Splines. AK Peters, 2001.
|
| s.n.2236370
|
|
Farin,G.E. Curves and Surfaces
for CAGD : a Practical Guide. 5th ed. Morgan Kaufmann, 2002. |
|
s.n.2260963-5th ed., 2002 |
| s.n.2184961-4th ed.,1997
|
| s.n.2135551-3rd ed.,1993
|
| s.n.2095881-2nd ed.,1990
|
|
Bartels, R. H., Beatty, J. C., Barsky, B. A. An introduction to
Splines for Use in Computer Graphics and Geometric Modeling. Kaufmann,
1987. |
|
s.n.2058935 |
| Hoschek,J., Lasser,D.
Fundamentals of Computer Aided Geometric Design. A.K.Peters,
1993.
|
| s.n.2141148
|
| Carmo, M.P., do.
Differential Geometry of Curves and Surfaces. Prentice-Hall, 1976.
|
| s.n.44213
|
|
|
Project in Intelligent Systems |
פרויקט במערכות נבונות |
|
236754 |
| Textbooks |
ספרי
לימוד |
|
Kimmel, R. Numerical Geometry of
Images : Theory, Algorithms, and Applications. Springer,2004 |
|
s.n.2255511 |
|
Bronstein,
A.,
Bronstein,
M., Kimmel, R. Numerical Geometry of Non-rigid Shapes. Springer,2008. |
|
s.n.2300308 |
|
Online version full text, available on campus |
|
Cao, F.,[ et al.] A
Theory of Shape Identification.
Springer, 2008. |
|
s.n.2300310
|
|
|
Introduction to Machine Learning |
מבוא
למערכות לומדות
|
|
236756 |
| Textbooks |
ספרי לימוד |
|
Mitchell,T. Machine Learning. WCB McGraw Hill, 1997. |
|
s.n.2186354 |
|
Alpaydin,E. Introduction to Machine Learning. 2nd ed., MIT Press,
2010. |
|
Online version full text available on campus |
|
s.n.2271002 - 2004 |
|
Duda, R.O., Hart, P.E.,
Stork, D.G. Pattern Classification, 2nd ed., Wiley
Interscience, 2001 |
|
s.n.2217905 2nd ed., 2001
|
|
|
Multigrid Methods |
שיטות
רב-סריג |
|
236790 |
| Textbooks |
ספרי
לימוד |
|
Briggs, W. L., Henson, V.E., McCormick, S.F. A Multigrid
Tutorial. 2nd ed. SIAM, 2000. |
|
s.n.2232286-2nd ed., 2000 |
|
Trottenberg, U., Oosterlee, C.W., Schuller, A. Multigrid
. Academic Press, 2001. |
|
s.n.2224690 |
|
|
Seminar in Algorithms |
סמינר באלגוריתמים |
|
236813 |
| Textbooks |
ספרי
לימוד |
|
|
|
Introduction to Robotics |
מבוא לרובוטיקה
|
|
236927 |
| Textbooks |
ספרי
לימוד |
|
Craig,J.J. Introduction to
Robotics: Mechanics and Control. 3rd ed. Pearson Education, 2005.
|
|
s.n.2210991-3rd ed., 2005 |
|
s.n.2091042-2nd ed.,1989 |
|
s.n.2005990- 1986 |
|
Choset,H. [et al.] Principles of Robot Motion :Theory, Algorithms, and
Implementation. MIT Press,2005. |
|
s.n.2271004 |
|
Thrun, S., Burgard, W.,
Fox, D. Probabilistic Robotics. Cambridge, Mass. :MIT Press, 2005 |
|
s.n.2281962 |
|
Dudek, G., Jenkin, M.
Computational Principles of Mobile Robotics. Cambridge University
Press, 2000. |
|
s.n.2212763 |
|
Latombe,J.R. Robot Motion
Planning. Kluwer, 1991. |
|
s.n.2109421 |
|
Wolovich, W. A. Robotics : Basic Analysis and Design. Holt, Rinehart
and Winston,1987. |
|
s.n.2041724 |
|
|
Seminar in Neural Networks |
סמינר ברשתות עצביות |
|
236951 |
| Textbooks |
ספרי
לימוד |
|
Vapnik, V.
The Nature of Statistical
Learning Theory. 2nd ed. Springer, 2000. |
|
s.n.2241560 |
|
Scholkopf, B., Smola, A. J.
Learning with Kernels : Support Vector Machines, Regularization,
Optimization, and beyond. MIT Press, 2002. |
|
s.n.2242197 |
|
Cristianini, N., Shawe-Taylor, J.
An Introduction to Support Vector Machine and other Kernel based
Learning Methods. Cambridge University Press, 2000. |
|
s.n.2210838 |
|