|
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 |
|
Online
version full text available on campus |
|
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 |
|
Love, R. Linux Kernel
Development. 2nd ed., Novell Press,2005. |
|
s.n.2293560-2nd ed.,2005 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
s.n.2232918-2nd
ed., 2001.
|
| s.n.2099273-1990
|
| Kleinberg, J., Tardos, E. Algorithm Design.
Pearson/Addison-Wesley,2006.
|
|
s.n.2271029 |
|
קלינברג, ג'., טארדוש, א. פיתוח אלגוריתמים. האוניברסיטה
הפתוחה,תשע"א 2010. |
|
s.n.2317333 |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
Online version full text, available on campus |
|
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 |
|
|
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
|
|
|
Signal and Image Processing by Computer |
עיבוד
תמונות
ואותות
במחשב |
|
236327 |
| Textbooks |
ספרי
לימוד |
|
לינדנבאום,
מיכאל.
עיבוד
תמונות
ואותות, 1996
|
|
s.n.2237203
|
|
|
Reference Books |
ספרי עזר |
|
Bruckstein, A. M. Lecture
notes on image processing. Technion-I.I.T., Dept. of Computer
Science, 1990. |
|
s.n.2234108 |
|
Kwakernaak,H., Sivan,R. Modern
Signal and Systems. Prentice
Hall-Int., 1991.
|
|
s.n.2095632
|
|
Jain,A.K. Fundamentals
of Digital Image Processing. Prentice-Hall,
1989.
|
|
s.n.2065704
|
|
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 |
|
s.n.2128329-1992 |
|
Levine,M.D. Vision in
Man and Machine. McGraw-Hill, 1985. |
|
s.n.2005119 |
|
|
Digital Geometry Processing |
עיבוד ספרתי של גאומטריה |
|
236329 |
|
Textbooks |
ספרי
לימוד |
|
Botsch, M. ... [et al.].
Polygon Mesh Processing. A K Peters, 2010. |
|
s.n.2318868 |
|
|
Introduction to Computer Networks |
מבוא
לרשתות
מחשבים
|
|
236334 |
|
Textbooks |
ספרי
לימוד |
|
Tanenbaum,A.S. Wetherall,
D.J. Computer Networks.5th ed. Pearson,2011. |
|
s.n.2319029-5th
ed., 2011 |
| 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. Wetherall,
D.J. Computer Networks.5th ed. Pearson,2011. |
|
s.n.2319029-5th
ed., 2011 |
| s.n.2245104-4th ed., 2002 |
| s.n.2171537-3rd ed.,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 |
|
Arora, S., Barak,B. Computational Complexity :a Modern Approach.
Cambridge University Press,2009. |
|
s.n.2307309 |
|
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
|
|
|
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 |
|
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 |
|
Grune ,
D.... [et al.].
Modern Compiler Design.
Wiley,2000. |
|
s.n.2283290 |
|
Online version available on campus |
|
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
|
|
Levene, M.A., Loizou,
G. Guided Tour of Relational Databases and beyond.
Springer, 1999 |
|
s.n.2223226 |
|
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 |
|
Online version available on campus |
|
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 |
|
|
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- |
|
Online
version 2nd.ed., vol.2, available on campus |
|
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
|
|
|
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 |
|
Online version available on campus |
|
Bisseling, R.H. Parallel Scientific Computation : Structural Approach
Using BSP and MPI. Oxford University Press, 2004. |
|
s.n.2267291 |
|
Online version available on campus |
|
Lea,D. Concurrent Programming in Java. 2nd ed.,
Addison-Wesley, 2000. |
|
s.n.2213002 |
|
|
Probabilistic Methods and Algorithms |
שיטות
הסתברותיות
ואלגוריתמים
|
|
236374 |
| Textbooks |
ספרי
לימוד |
|
Alon, N.,
Spencer, J.H. The Probabilistic Method. 3rd ed.,Wiley-Interscience,
2008. |
|
s.n.2299780-3rd
ed., 2008 |
|
s.n.2224397-2nd ed., 2000
|
|
s.n.2121527- 1992
|
|
Mitzenmacher, M., Upfal, E. Probability and Computing :Randomized
Algorithms and Probabilistic Analysis. Cambridge University
Press,2005. |
|
s.n.2271644 |
|
Motwani, R., Raghavan, P. Randomized Algorithms.
Cambridge University Press, 1995.
|
|
s.n.2167396
|
|
Lovász,L. Random Walks on Graphs: a Survey. Combinatorics, Paul Erdös
is Eighty (Volume 2), Keszthely (Hungary) (1993) pp. 1-46. |
|
s.n.2145696
Online version |
|
|
Introduction to Artificial Intelligence |
מבוא
לבינה
מלאכותית |
|
236501 |
| Main Textbook |
ספרי
לימוד |
|
Russell,S.J., Norvig, P. Artificial Intelligence: A Modern
Approach. 3rd ed. Prentice-Hall, 2010. |
|
s.n.2308926- 3rd ed., 2010 |
|
s.n.2218400- 2nd ed., 2002 |
|
s.n.2164023-1995 |
|
|
Reference Books |
ספרי עזר |
|
Pearl,J. Heuristics:
Intelligent Search Strategies for Computer Problem Solving.
Addison-Wesley, 1984.
|
|
s.n.2001887
|
|
Genesereth,M.R. Nilsson,N.J.
Logical Foundations of Artificial Intelligence.
Kaufmann, 1988.
|
|
s.n.2035197
|
|
|
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
|
|
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 |
ספרי
לימוד |
|
Palsson, B.
Systems Biology :Properties of Reconstructed Networks.
Cambridge University Press,2006. |
|
s.n.2279350 |
|
|
Advanced Topics in Computer Science 1 |
נושאים מתקדמים במדעי המחשב
1 |
|
236601 |
|
Textbooks |
ספרי לימוד |
|
Ungarish, M. An
introduction to Gravity Currents and Intrusions. CRC Press, 2009. |
|
s.n.2279350 |
|
|
Advanced Topics in Computer Science 3 |
נושאים מתקדמים במדעי המחשב
3 |
|
236603 |
|
Textbooks |
ספרי לימוד |
|
Biggs, N. Algebraic Graph
Theory. 2nd ed., Cambridge University Press,1993. |
|
s.n.2154490 – 2nd ed., 1993 |
|
s.n.60085 - 1974 |
|
Dong, F.M., Koh K.M.,
TeoK.L. Chromatic
Polynomials and Chromaticity of Graphs. World Scientific,2005. |
|
s.n.2274605 |
|
Godsil, C. D., Royle, G.
Algebraic Graph Theory . Springer,2001. |
|
s.n.2234145 |
|
Welsh, D. J. A.Complexity :
Knots, Colourings and Counting. Cambridge University Press,1993. |
|
s.n.2144903 |
|
Bollobas, B. Modern Graph
Theory. Springer, 1998 |
|
s.n.2197568 |
|
Diestel, R. Graph Theory.
4th ed.,
ed., Springer, 2010 |
|
s.n.2319722 - 4th ed., 2010 |
|
s.n.2290106 - 3rd ed., 2006 |
|
s.n.2220120 - 2nd ed., 2000 |
|
s.n.2185629 - 1997 |
|
Cvetkovic, D., Rowlinson,
P., Simic, S. An Introduction to the Theory of Graph Spectr.
Cambridge University Press,
2010. |
|
s.n.2310412 |
|
|
Advanced Topics in Computer Science
4 |
נושאים מתקדמים במדעי המחשב
4 |
|
236604 |
|
Textbooks |
ספרי לימוד |
|
Stichtenoth, H.
Algebraic function fields and codes.2nd ed.,
Springer,2000. |
|
s.n.2311078- 2nd ed., 2000 |
|
s.n.2144032- 1993 |
|
|
Advanced Topics in Computer Science 10 |
נושאים מתקדמים במדעי המחשב
10 |
|
236610 |
| 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
|
|
|
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 |
|
Online version full text, available on campus |
|
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
|
|
|
Distributed Algorithms B |
אלגוריתמים מבוזרים ב |
|
236755 |
| 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 available on campus |
|
s.n.2195374-1998 |
|
Taubenfeld, G. Synchronization algorithms and concurrent programming.
Addison-Wesley,2006. |
|
s.n.2282821 |
|
Herlihy, M., Shavit, N. The Art of
Multiprocessor Programming. Elsevier/Morgan Kaufmann, 2008. |
|
s.n.2297021 |
|
Online version available on campus |
|
Lynch, N.A. Distributed Algorithms. Morgan Kaufmann, 1996. |
|
s.n.2196465 |
|
|
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 Computer Science 2 |
סמינר במדעי המחשב
2
|
|
236802 |
|
Textbooks |
ספרי
לימוד |
|
Herlihy, M., Shavit, N. The
Art of Multiprocessor Programming. Elsevier/Morgan Kaufmann, 2008. |
|
s.n.2297021 |
|
Online version available on campus |
|
|
Seminar in Computer Science 4 |
סמינר במדעי המחשב
4 |
|
236804 |
|
Textbooks |
ספרי
לימוד |
|
Nielson, F., Nielson H.R.,
Hankin,C. Principles of Program Analysis.
Corrected 2nd printing
Springer,2005. |
|
s.n.2232359 |
|
|
Seminar in Algorithms |
סמינר באלגוריתמים |
|
236813 |
| Textbooks |
ספרי
לימוד |
|
|
|
Seminar in
Quantum Information Processing |
סמינר בעיבוד
אינפורמציה קוואנטית |
|
236823 |
|
Textbooks |
ספרי
לימוד |
|
Gruska, J. Quantum Computing. McGraw-Hill, 1999. |
| s.n.2207031 |
|
Nielsen,M.H., Chuang,I.L. Quantum Computation and Quantum
Information. Cambridge
Universuty Press, 2000. |
| s.n.2321579- 10th
Anniversary edition,2010 |
|
s.n.2226797 |
|
Kitaev, A. Yu., Shen, A., Vyalyi, M. N. Classical and
Quantum Computation. American Mathematical Society, 2002. |
|
s.n.2243648 |
|
Peres, A. Quantum Theory:Concepts and Methods. Kluwer,
1995 |
| s.n.2174495 |
|
Online version full text available on campus |
|
Peres, A. Quantum Theory:Concepts and Methods. Kluwer,
1993 |
|
s.n.2145016 |
|
Sergienko, A. V. Quantum Communications and Cryptography. Taylor &
Francis,2006. |
|
s.n.2275005 |
|
Online version full text available on campus |
|
|
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 |
|
|
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 |
|
|
Discrete Algorithmic Geometry |
גאומטריה אלגוריתמית דיסקרטית |
|
238739 |
| Textbooks |
ספרי
לימוד |
|
Boissonnat, J.-D.,
Yvinec, M. Algorithmic Geometry. Cambridge University Press, 1998 |
|
s.n.2191887 |
|
Sharir,M., Agrawal,P.K.
Davenport-Schinzel Sequences and their
Geometric
Applications. Cambridge University Press,1995. |
|
s.n.2165783 |
|