|
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 |
|
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 |
|
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 |
|
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.
O’Reilly. 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 |
|
|
Operating Systems |
מערכות הפעלה |
|
234123 |
| 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 |
|
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. , Jha, N.K. Switching and Finite Automata Theory. 3rd
ed,Cambridge University Press, 2010. |
|
s.n.2308649-3rd ed., 2010 |
|
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. 3rd ed. MIT Press, 2009.
|
|
s.n.2309426- 3rd ed., 2009 |
|
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. 3rd ed. MIT Press, 2009.
|
|
s.n.2309426- 3rd ed., 2009 |
|
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..5th
ed ., CRC Press, 2010. |
|
s.n.2308777-5th ed., 2010 |
| 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. Naïve Set Theory. Springer, 1974.
|
|
s.n.2032604-1974 (reprint)
|
|
s.n.49152-1960 |
|
|
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 |
| Finkel,R.A. Advanced Programming Language Design. Addison-Wesley,
1996.
|
| s.n.2231531
|
|
|
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 |
|
Jurafsky, D. Speech and Language Processing.
2nd ed.,
Pearson Prentice-Hall, 2009. |
|
s.n.2302488-2nd., ed., 2009 |
|
s.n.2232890-1st ed., 2000 |
|
Allen, J., Natural Language
Understanding, 2nd ed., Benjamin/Cummings, 1995 |
|
s.n.2152874 – 2nd ed., 1995 |
|
s.n.2057035 – 1st ed., 1987 |
|
|
Logic for Computer Science 2 |
לוגיקה למדעי המחשב 2
|
|
236304 |
| Textbooks |
ספרי
לימוד |
|
Hughes,
G.E., Creswell, M.J. A Companion to Modal Logic. Methuen, 1984. |
|
s.n.2037953 |
|
Hrbacek,
K., Jech, T. Introduction to Set Theory. 2nd ed. Marcel
Dekker, 1984. |
|
s.n.78295 |
|
Online version available on campus |
|
Mendelson,
E. Introduction to Mathematical Logic.5th ed CRC Press, 2010. |
|
s.n.2308777-5th ed., 2010 |
|
s.n.2186712-4th ed., 1997 |
|
s.n.2044228-3rd ed., 1987 |
|
s.n.213991-2nd ed., 1979 |
|
s.n.213992-1964,1966 |
|
|
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 |
|
|
Software Engineering Methods |
שיטות
בהנדסת
תוכנה
|
|
236321 |
| 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
|
|
|
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 |
|
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 |
|
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 |
|
Peterson, L.L., Davie, B.S.
Computer Networks : a Systems Approach. 3rd 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 |
ספרי
לימוד |
|
Sipser, M., Introduction to the Theory of Computation. 2nd ed.,
Thomson/Course Technology,2006. |
|
s.n.2270984-2nd ed., 2006 |
|
s.n.2189950-1997
|
|
גולדריך, ע. מבוא לתורת החשוביות.
מהד' ג[חיפה] :הטכניון-מכון טכנולוגי לישראל, הפקולטה למדעי
המחשב,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
|
|
|
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 |
| 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 |
|
Anderson, R. Security
Engineering :a Guide to Building Dependable Distributed Systems.2nd
ed., Wiley, 2008. |
|
s.n.2300315 |
|
|
Automata and Formal Languages |
אוטומטים
ושפות
פורמליות
|
|
236353 |
| Textbooks |
ספרי
לימוד |
|
זקס,ש.,
פרנסיז,ז.
אוטומטים
ושפות
פורמליות,
הוצאת
האוניברסיטה
הפתוחה, 2000 |
|
free access - electronic resource |
|
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! |
|
|
Algorithms 2 |
אלגוריתמים
2 |
|
236359 |
| Textbooks |
ספרי
לימוד |
|
Cormen,T.H. [et al.] Introduction to Algorithms. 3rd ed.
MIT Press, 2009.
|
|
s.n.2309426- 3rd ed., 2009 |
|
Online version full text, available on campus |
| 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 |
|
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
|
|
|
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 |
|
|
Managing Data on the World-wide Web |
ניהול מידע ברשת האינטרנט |
|
236369 |
| 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. 2nd ed., MIT Press,2008. |
|
s.n.2318872- 2nd ed., 2008 |
|
Online version available on campus |
|
s.n.2271433- 2004 |
|
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 |
|
Online version available on campus
|
|
|
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
|
|
Online version full text, available on campus
|
|
|
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 |
|
|
Project in Bioinformatics |
פרוייקט ביויאנפורמטיקה |
|
236524 |
| Textbooks |
ספרי
לימוד |
|
Terwilliger, J. D. Ott, J. Handbook of Human Genetic Linkage. Johns
Hopkins University Press, 1994. |
|
s.n.2170247 |
|
Ott, J. Analysis of Human Genetic Linkage. 3rd ed., Johns Hopkins
University Press, 1999. |
|
s.n.2259734-3rd ed., 1999 |
|
s.n.2156193-rev. ed., 1991 |
|
|
Advanced Topics in Computer Science 2 |
נושאים
מתקדמים במדעי המחשב
2 |
|
236602 |
| Textbooks |
ספרי
לימוד |
|
Ungarish, M. An
introduction to Gravity Currents and Intrusions. CRC Press, 2009. |
|
s.n.2306850 |
|
|
Advanced Topics in Computer Science 3 |
נושאים מתקדמים במדעי המחשב
3 |
|
236603 |
| Textbooks |
ספרי לימוד |
|
|
|
Advanced Topics in Computer Science 6 |
נושאים מתקדמים במדעי המחשב
6 |
|
236606 |
| Textbooks |
ספרי לימוד |
|
Etzion O., Niblett P. Event
Processing in Action. Manning, 2011. |
|
s.n.2315808 |
|
|
Advanced Topics in Cryptology |
נושאים
מתקדמים
בקריפטולוגיה |
|
236613 |
| Textbooks |
ספרי
לימוד |
|
Stinson,D. Cryptography:
Theory and Practice. 3rd ed., Chapman & Hall, CRC Press, 2006. |
|
s.n.2274619-3rd ed.,2006. |
|
s.n.2242371-2nd ed.-2002. |
|
s.n.2166971-1995 |
|
Menezes,A.J., Oorschot, van
P.C., Vanstone,S.A. Handbook of Applied Cryptography. CRC Press,
1997. |
|
s.n.2185618 |
|
|
Advanced Topics in Formal Verification Methods |
נושאים מתקדמים
בשיטות אימות |
|
236625 |
| Textbooks |
ספרי לימוד |
|
Nielson, F., Nielson H.R.,
Hankin,C. Principles of Program Analysis.
Corrected 2nd printing
Springer,2005. |
|
s.n.2232359
|
|
|
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
|
|
Nagel,C. ... [et al.].
Professional C# 2008 /[Series: Wrox professional guides]
Wiley Pub.,2008. |
|
s.n.2308628 |
|
Liberty, J.,
Xie, D. Programming C# 3.0.
O'Reilly, 2008. |
|
s.n.2298051 |
|
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 |
|
Online version available on campus |
| 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
|
|
|
Seminar in Computer Science 1 |
סמינר במדעי המחשב
1 |
|
236801 |
| Textbooks |
ספרי
לימוד |
|
Kearn,M.J.,
Vazirani,U.V. An Introduction to Computational Learning Theory.
MIT Press, 1994. |
|
s.n.2158241 |
|
|
Seminar in Algorithms |
סמינר באלגוריתמים |
|
236813 |
| Textbooks |
ספרי
לימוד |
|
|
|
Digital
Image Processing |
עיבוד תמונות דיגיטלי |
|
236860 |
| Textbooks |
ספרי
לימוד |
|
Elad M. Lecture Notes on Image
Processing, Technion, 1999 (available on the course webpage). |
|
Online version |
|
Jain,
A.K. Fundamentals of Digital Image Processing, Prentice – Hall, 1989 |
|
s.n.2065704 |
|
Pratt, W.K., Digital Image
Processing : PIKS Inside. 4th ed., Wiley, 2007. |
|
s.n.2285943-4th ed.,2007 |
|
Online version available on campus |
|
s.n.2237917-3rd ed., 2001 |
|
Online version available on campus |
|
Rosenfeld, A., Kak, A.C. Digital
Picture Processing. 2nd ed., Academic Press, 1982 |
|
s.n.211293 |
|
Gonzalez,R.C., Woods,R.E. Digital
Image Processing,
3rd ed. Prentice-Hall,May
2007. |
|
s.n.2279936-3rd ed., 2007 |
|
s.n.2238212-2nd ed., 2002 |
|
Sonka, M., Hlavac, V., Boyle, R.
Image Processing, Analysis and Machine Vision, 3rd ed.,
Thomson,2008. |
|
s.n.2294057- 3rd ed., 2008 |
|
s.n.2219555 – 2nd ed., 1999 |
|
Tekalp, A. M. Digital Video
Processing. Prentice-Hall, 1995. |
|
s.n.2162797 |
|
Jahne, B. Digital Image
Processing. 6th rev. and extended ed. Springer,2005. |
|
s.n.2270810-6th ed., 2005 |
|
Online version available on campus |
|
s.n.2232928-5th ed., 2002 |
|
s.n.2195306-4th ed., 1997 |
|
Weickert, J. Anisotropic Diffusion
in Image Processing. Teubner, 1998. |
|
s.n.2192680 |
|
Natterer, F. The Mathematics of
Computerized Tomography. Society for Industrial and Applied
Mathematics, 2001. |
|
s.n.2243186 |
|
|
Computer Vision |
ראיה
ממוחשבת |
|
236873 |
| Textbooks |
ספרי
לימוד |
|
Forsyth, D.A., Ponce, J. Computer Vision : a Modern Approach.
Prentice-Hall, 2003. |
|
s.n.2245282 |
|
Hartley,R., Zisserman,A. Multiple View Geometry in Computer Vision.
2nd ed., Cambridge University Press,2003. |
|
s.n.2261857-2nd ed., 2003 |
|
Online version available on campus |
|
s.n.2217710 – 2000 |
|
|
Reference Books |
ספרי עזר |
|
Horn, B.K.P. Robot Vision. MIT Press. McGraw Hill, 1986 |
|
s.n.2024283 |
|
Duda, R.O., Hart, P.E., Stork, D.G. Pattern Classification, 2nd
ed., Wiley – Interscience, 2001 |
|
s.n.2217905 – 2nd ed., 2001 |
|
Ballard, D., Brown, C.M. Computer
Vision. Prentice – Hall, 1982 |
|
s.n.213034 |
|
Haralick, R.M., Shapiro, L.G.
Computer and Robot Vision, Addison – Wesley, 1992 |
|
s.n.2124647 |
|
|
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 |
|