List of Textbooks and Reference books (2010)

Spring semester

 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

ספרי לימוד

Manning, C. D., Prabhakar, R., Schutze, H. Introduction to Information Retrieval. Cambridge University Press, 2008.
     s.n.2298414
     Online version
     Online version available on campus  
 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

ספרי לימוד

Ausiello, G. et al. Complexity and Approximation: Combinatorial Optimization Problems and their Approximabilty Properties. Springer, 1999.
     s.n.2210633
Garey,M.R., Johnson,D.S.   Computers and Intractability : A Guide to the Theory of NP-Completeness.  Freeman, 1979.
      s.n.73033

Vazirani, V.V. Approximation Algorithms. Springer, 2001.

      s.n.2220133
 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