List of Textbooks and Reference books (2011_12)

Winter  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

     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. 3rd ed., Addison-Wesley, 2010.

     s.n.2323484-3rd ed., 2010

     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

 Introduction to Computing with MATLAB

מבוא למחשב בשפת מטלאב

                                     234127

Textbooks

ספרי לימוד

Hanselman, D., Littlefield, B. Mastering MATLAB 7. Pearson/Prentice Hall,2005

     s.n.2274192 

 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

תכן לוגי

                                     234362

Main Textbooks

ספרי לימוד

..ליטמן ,ע.תכן לוגי.תוכן הרצאות

     Online version. Available on the course website.
Supplementary 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     

 Logic Design

תכן לוגי

                                     234262

Textbooks

ספרי עזר

Supplementary 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       
 Software Project Management

ניהול פרוייקטי תוכנה  

                                     234270

Textbooks

ספרי לימוד

רוזנברג, אבי. מדריך גוף הידע בניהול פרויקטים. מהד' ד :דיונון,2010

     s.n.2314797

A Guide to the Project management body of knowledge (PMBOK guide) 4th  ed.,  Project Management Institute,2008.

     s.n.2315054

Schwalbe,K. Managing Information Technology Projects . Rev. 6th  ed. Course Technology, 2011.

     s.n.2323472   

ISO/IEC/IEEE 16326:2009 Systems and software engineering -- Life cycle processes -- Project management.2009

     Online version    Available on campus  for  the Technion community

     s.n.2314795 

 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

Main Textbooks

ספרי לימוד

Garcia - Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice-Hall, 2000 .  
     s.n.2210470
Salzberg,B.   File Structures and Analytic Approach.  Prentice-Hall, 1988.
     s.n.2058159   
Supplementary textbooks

ספרי עזר

Ramakrishnan, R., Gehrke, J. Database Management Systems. 3rd ed., McGraw-Hill, 2003.
     s.n.2245098-3rd ed., 2003
     s.n.2231150-2nd ed., 2000
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
 Computer Graphics

גרפיקה ממוחשבת

                                     234325

Textbooks

ספרי לימוד

 

Hearn, D., Baker, M.P. Computer Graphics with OpenGL. 3rd ed.,Prentice-Hall, 2004.

     s.n.2253852-3rd ed., 2004

     s.n.2176244-2nd ed., C version,1997

Foley,J.D.,et al.   Computer Graphics: Principles and Practices. 2nd ed in C.  Addison-Wesley, 1996.

     s.n.2186305-2nd ed. in C, 1996

     s.n.2092107-2nded.,1990

Angel,E., Shreiner,D. Interactive Computer Graphics : a Top-down Approach with Shader-based OpenGL. 6th ed., Addison-Wesley, 2012.

     s.n.2323042

Shreiner,D. ... [et al.] OpenGL programming guide :the official guide to learning OpenGL, versions 3.0 and 3.1. 7th ed., Addison-Wesley,2010.

     s.n.2309946 – 7th ed., 2010   

     s.n.2290599 – 6th ed., 2008

     s.n.2286991 - 5th ed., 2006

     s.n.2253855 – 4th ed., 2004

Rost, R. J.  ; with contributions by Kessenich ,J.... [et al.]. OpenGL Shading Language. 3rd ed. Addison-Wesley, 2009.

     s.n.2315638 – 3rd ed., 2009

     s.n.2285724 – 2nd ed., 2006

Wright, R.S., Lipchak, B. OpenGL SuperBible. 4th ed., Addison-Wesley, 2007.

     s.n.2304256 – 4th ed., 2007

     s.n.2271607 – 3rd ed., 2005

     Online version 3rd ed. full text, available on campus

     s.n.2231098-2nd ed., 2000

Prosise, J. Programming Windows with MFC. 2nd ed., Microsoft Press,1999.

     s.n.2206225

 Formal Language Theory

תורת השפות הפורמליות

                                     236310

Textbooks

ספרי לימוד

Aho,A.V., Ullman,J.D.   The Theory of Parsing, Translation, and Compiling. Vol. I:Parsing.  Prentice-Hall, 1972.

     s.n.7151

Hopcroft, J.E., Ullman,J.D. Formal Languages and their Relation to Automata.Addison-Wesley, 1969.

     s.n.1959

Harrison,M.A.   Introduction to Formal Language Theory. Addison-Wesley, 1978.

     s.n.208574   

 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. 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
 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
 Introduction to Software Verification

מבוא לאימות תוכנה

                                     236342

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
Francez, N.   Program Verification.  Addison-Wesley, 1992.
     s.n.2128158

 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

 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
 Advanced Topics in Distributed Systems

 מערכות מבוזרות  

                                     236351

General Books on Distributed Systems

 

Textbooks

ספרי לימוד

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

Birman, K. Reliable Distributed Systems : Technologies, Web Services, and Applications. Springer,2005.

     s.n.2271648

  Mullender, S. editor. Distributed Systems, Addison-Wesley, 1995.
     s.n.2192488
Reference books

ספרי עזר

Tanenbaum, A.S., Distributed Operating Systems. Prentice-Hall, 1995
      s.n.2164044
  Birman, K.P. Building Secure and Reliable Network Applications. Manning, 1996.
     s.n.2196466
  Birman,K.P., Mattern,F., Schiper,A.,eds. Theory and Practice in Distributed Systems. Lecture Notes in Computer Science ,938. Springer, 1995.
     s.n.2165927

Attiya, H., Welch, J. Distributed Computing : Fundamentals, Simulations and Advanced Topics. 2nd ed., Wiley-Interscience, 2004.

      Online version - full text, available on campus

      s.n.2262100- 2nd ed., 2004   

      s.n.2195374-1998

Raynal, M. Communication and Agreement Abstractions for Fault-tolerant [series: Synthesis Lectures on Distributed Computing Theory] Morgan & Claypool Publishers,2010.

     s.n.2315167

Lynch,N. ... [et al.]. Atomic Transactions. Morgan Kaufmann ,1994.

     s.n.2310090

.NET and WEB Services

 

Reference books

ספרי עזר

Richter, J. Applied Microsoft.NET Framework programming. Microsoft Press, 2002.
     s.n.2246749

Lowy, J. Programming WCF Services. 2nd ed,O'Reilly, 2009.

     s.n.2311363 - 2nd ed., 2009

     Online version full text available on campus

     s.n.2292271 - 2007   

Client/Server Programming

 

Reference books

ספרי עזר

Orfali, R., Harkey, D., Edwards, J. The Essential Client/Server Survival Guide. Wiley, 1999
     s.n.2212432

Orfali, R., Harkey, D., Edwards, J. The Essential Distributed Objects Survival Guide. Wiley,1996.

     s.n.2174035

 Automata and Formal Languages

אוטומטים ושפות פורמליות

                                     236353

Textbooks

ספרי לימוד

זקס,ש., פרנסיז,ז.   אוטומטים ושפות פורמליות, הוצאת האוניברסיטה הפתוחה, 2010

     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!

 Advanced Topics in Distributed Algorithms

נושאים מתקדמים באלגוריתמים מבוזרים

                                     236358

Textbooks

ספרי לימוד

Attiya, H., Welch, J. Distributed Computing : Fundamentals, Simulations and Advanced Topics. 2nd ed., Wiley-Interscience, 2004.
     s.n.2262100- 2nd ed., 2004  
     Online version  full text, available on campus
     s.n.2195374-1998
Lynch, N.A. Distributed Algorithms. Morgan Kaufmann, 1996.
     s.n.2196465

 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

 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
 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

ספרי עזר

Edelkamp, S., Schrodl, S. Heuristic Search :Theory and Applications. Elsevier/Morgan Kaufmann,2012.

     s.n.2323281

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
 Modern Cryptology

קריפטולוגיה מודרנית

                                 236506

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

Biham, E., Shamir, A. Differential Cryptanalysis of the Data Encryption Standard.Springer,1993.

     s.n.2154444

Simmons, G. J. (editor) Contemporary Cryptology :the Science of Information Integrity. IEEE Press,1992.

     s.n.2127485

Merkle, R.C. Secrecy, Authentication, and Public Key Systems. UMI Research Press,1982.

     s.n.218216  

 Digital Sequences in Coding and Communication

סדרות ספרתיות בתקשורת ומערכות מחשב                    

                                    236514

Textbooks

ספרי לימוד

Golomb, S.W. Shift Register Sequences. Rev.ed. Aegean Park Press, 1982.

     s.n.2004300-rev.ed.1982         

     s.n.2029367-1967

 Approximation Algorithms

אלגוריתמי קירוב

                                     236521

Textbooks

ספרי לימוד

Vazirani, V.V. Approximation Algorithms. Springer, 2001.
      s.n.2220133

Williamson, D. P., Shmoys, D. The design of Approximation Algorithms. Cambridge University Press, 2011.

     s.n.2322283

Hochbaum,D.S.,ed.   Approximation Algorithms for NP-Hard Problems.  PWS Publ.Co., 1997
     s.n.2173785
Reference Books

ספרי עזר

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

Bollobas, B. Modern Graph Theory. Springer, 1998

     s.n.2197568

Diestel, R. Graph Theory. 4th 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

Grotschel,M., Lovasz, L., Schrijver, A. Geometric Algorithms and Combinatorial Optimization. 2nd ed., Springer,1993

     s.n.2143646

Papadimitriou, C.H., Computational Complexity, Addison-Wesley, 1994

     s.n.2151305

Schrijver, A. Theory of Linear and integer Programming. Wiley-Interscience, 1986.

     s.n.2017833

Sipser, M., Introduction to the Theory of Computation. 2nd ed., Thomson/Course Technology,2006.

     s.n.2270984-2nd ed., 2006

     s.n.2189950-1997

 Introduction to Bioinformatics

מבוא לביואינפורמטיקה

                                    236523

Textbooks

ספרי לימוד

Gibas, C., Jambeck, P. Developing Bioinformatics Computer Skills. O'Reilly, 2001.

     s.n.2234257

Lesk, A. M. Introduction to Bioinformatics. 3rd ed., Oxford University Press, 2008.

     s.n.2309043-3rd ed., 2008.

     s.n.2283348-2nd ed., 2005.

     s.n.2246689

Mount, D.W. Bioinformatics: Sequence and Genome Analysis. 2nd ed.,Cold Spring Harbor Laboratory Press, 2004.

     s.n.2260945-2nd ed., 2004.

     s.n.2235788-2001.

 Advanced Topics in Computer Science 1

נושאים מתקדמים במדעי המחשב 1

                                     236601

Textbooks

ספרי לימוד

Williamson, D. P., Shmoys, D. The design of Approximation Algorithms. Cambridge University Press, 2011.

     s.n.2322283

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

     s.n.2220133

 Advanced Topics in Computer Science 2

נושאים מתקדמים במדעי המחשב 2

                                     236602

Textbooks

ספרי לימוד

Jain, R.The Art of Computer Systems Performance Analysis :Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley,1991.

     s.n.2116003

 Advanced Topics in Computer Science 3

נושאים מתקדמים במדעי המחשב 3

                                     236603

Textbooks

ספרי לימוד

Elad, M. Sparse and Redundant Representations :from Theory to Applications in Signal and Image Processing. Springer,2010.

     s.n.2317591

 Advanced Topics in Computer Science 5

נושאים מתקדמים במדעי המחשב 5

                                     236605

Textbooks

ספרי לימוד

Babai, L., Frankl, P. Linear Algebra Methods in Combinatorics with Applications to Geometry and Computer Science. Version 2 Dept. of Computer Science, University of Chicago,1992.
     s.n.2169970   
Jukna, S. Extremal Combinatorics : with Applications in Computer Science. Springer,2001
     s.n.2235653
 Advanced Topics in Computer Science 7

נושאים מתקדמים במדעי המחשב 7

                                     236607

Textbooks

ספרי לימוד

Nielson, F., Nielson H.R., Hankin,C. Principles of Program Analysis. Corrected 2nd printing Springer,2005.

     s.n.2232359

 Advanced Topics in Algorithms L+T

נושאים מתקדמים באלגוריתמים ה'

                                    236621

Textbooks

ספרי לימוד

Chakrabarti, S. Mining the Web :Discovering Knowledge from Hypertext Data. Morgan Kaufmann, 2003

     s.n.2248575

Witten, I. H., Moffat,A., Bell, T.C. Managing Gigabytes :Compressing and Indexing Documents and Images. Morgan Kaufmann, 1999.

     s.n.2211536

Anderson, C. The Long Tail :why the Future of Business is Selling less of more. Hyperion, 2008.

     s.n.2298410

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     

Baeza-Yates, R., Ribeiro-Neto, B. Modern Information retrieval. 2nd ed., Addison Wesley,2011.

     s.n.2323066 -2nd ed., 2011

     s.n.2204141-1st ed., 1999

McCandless M., Hatcher E.,  Gospodnetic O. Lucene in Action. 2nd ed. Manning,2010.

     s.n.2315017

 Secure Quality Programs

הבטחת  איכות תוכנה

                                     236698

Textbooks

ספרי לימוד

Galin, D. Software Quality Assurance. Pearson, 2003.

     s.n.2254052

 גלין, ד. הבטחת איכות תכנה. 1995
     s.n.2169724

 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

 Computational Geometry

גאומטריה חישובית

                                     236719

Textbooks

ספרי לימוד

Berg, Mark de [et al.] Computational geometry :Algorithms and Applications, 3rd ed., Springer, 2008

     s.n.2294413-3rd rd., 2008

     s.n.2219840-2nd ed., 2000
     s.n.2182330-             1997     
O’Rourke, J. Computational Geometry in C., 2nd ed., Cambridge University Press, 1998
     s.n.2204942-2nd ed., 1998
     s.n.2159069-             1993
 Computational Learning Theory

למידה חישובית

                                     236760

Textbooks

ספרי לימוד

Kearn,M.J., Vazirani,U.V.   An Introduction to Computational Learning Theory.  MIT Press, 1994.
     s.n.2158241
Anthony,M., Biggs,N.   Computational Learning Theory : An Introduction. Cambridge Univ. Press, 1992.
     s.n.2124557
Anthony,M., Bartlett,P.L.   Neural Network Learning: Theoretical Foundations.  Cambridge Univ. Press, 1999.
    s.n.2204799
 Algorithms for Dynamic Memory Management

אלגוריתמים לניהול זיכרון דינמי

                                     236780

Textbooks

ספרי לימוד

Jones, R., Lins, R. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, 1996.

     s.n.2182984 

Jones, R., Hosking, A.,  Moss, E. The  Garbage Collection Handbook :the Art of Automatic Memory Management. CRC Press, 2012.

     s.n.2325031    

 Multigrid Methods

 שיטות רב-סריג

                                     236790

Textbooks

ספרי לימוד

Briggs, W. L., Henson, V.E., McCormick, S.F. A Multigrid Tutorial. 2nd ed. SIAM, 2000.

     s.n.2232286-2nd ed., 2000 

Trottenberg, U., Oosterlee, C.W., Schuller, A. Multigrid . Academic Press, 2001.  

     s.n.2224690

     Online version  full text, available on campus    

 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
 Seminar in Computational Linguistics

סמינר בבלשנות חישוביות

                                     236817

Textbooks

ספרי לימוד

Nirenburg, S.,Somers, H.Wilks, Y.  (editors) Readings in machine translation. MIT Press,2003.

     s.n.2265857

 Seminar in Bioinformatics

סמינר בביואינפורמטיקה

                                     236818

Textbooks

ספרי לימוד

Alon, U. An Introduction to Systems Biology :Design Principles of Biological Circuits. Chapman & Hall/CRC,2007.

     s.n.2280777  

Palsson, B. Systems Biology :Properties of Reconstructed Networks. Cambridge University Press,2006.

     s.n.2279350     

Wilkinson, D. J. Stochastic Modelling for Systems Biology. Chapman & Hall/CRC,2006.

     s.n.2288893   

 Numerical Geometry of Images

גאומטריה נומרית של תמונות

                                     236861

Textbooks

ספרי לימוד

Kimmel, R. Numerical Geometry of Images : Theory, Algorithms, and Applications. Springer, 2004.

    s.n.2255511

Bronstein, A., Bronstein, M., Kimmel, R. Numerical  Geometry  of Non-rigid Shapes. Springer,2008.
     s.n.2300308
     Online version  full text, available on campus

Aubert, G., Kornprobst, P., Mathematical Problems in Image Processing. Springer, 2002.

     s.n.2242079

     Online version  2nd ed.,  full text, available on campus  

Haar Romeny, B.M. Geometry-driven Diffusion in Computer Vision. Kluwer, 1994.

    s.n.2164941

Weickert, J. Anisotropic Diffusion in Image Processing. Teubner, 1998.

    s.n.2192680

Sapiro,G. Geometric Partial Differential Equations and Image Analysis.Cambridge University Press,2001.

     s.n.2229173

Klette,R., Schluns, K., Koschan, A. Computer Vision : Three-dimensional Data from Images. Springer, 1998.

     s.n.2198226

Sethian, J.A. Level Set Methods and Fast Matching Methods. Cambridge University Press, 2nd ed., 1999.

     s.n.2202065-2nd ed., 1999

     s.n.2172661-1996

Carmo, M.P., do. Differential Geometry of Curves and Surfaces. Prentice-Hall, 1976.

    s.n.44213

Botsch, M. ... [et al.]. Polygon Mesh Processing. A K Peters, 2010.

     s.n.2318868

Borg, I., Groenen, P. Modern Multidimensional Scaling :Theory and Application. 2nd ed., Springer,2005.

     s.n.2280757

Cox, T. F., Cox, M.A. A. Multidimensional  scaling. Chapman & Hall/CRC,2001

     s.n.2255513

Van Brunt, B.  The calculus of variations.  Springer, 2004.

     s.n.2307377

     Online version  full text, available on campus

Gelfand I.M., Fomin, S.V. Calculus of Variations. Dover, 2000. Originally published: Englewood Cliffs, N.J. : Prentice-Hall, 1963.

     s.n.2241780

Gelfand I.M., Fomin, S.V. Calculus of Variations. Englewood Cliffs, N.J., 1963.

     s.n.209247

Forray, M. J. Variational Calculus in Science and Engineering. McGraw-Hill, 1968.

     s.n.209231

Dacorogna, B. Introduction to the Calculus of Variations. Imperial College Press, 2009.

     s.n.2302734

     Online version  full text, available on campus

פרבר, מ. מבוא לגיאומטריה דיפרנציאלית. אוניברסיטת תל-אביב, הפקולטה למדעים מדויקים על שם ריימונד ובברלי סאקלר,1999.

     s.n.2202723

Kreyszig, E. Introduction to Differential Geometry and Riemannian Geometry. University of Toronto Press, 1968.

     s.n.213199

Kreyszig, E  Differential Geometry. Dover, 1991.

     s.n.2232022

Burago, D., Burago, Y., Ivanov, S. A Course in Metric Geometry. American Mathematical Society, 2001.

     s.n.2234158

Morton, K.W., Mayers, D.F., Numerical Solution of Partial Differential Equations: an Introduction. 2nd ed. Cambridge University Press,2005.

     s.n.2279714-2nd ed., 2005

     s.n.2158191-1994

Horn, B., Brooks, M.J.(editors) Shape from Shading. MIT Press,1989.

     s.n.2072968

Osher, S., Paragios, N.(editors) Geometric Level Set Methods in Imaging, Vision, and Graphics. Springer, 2003.

     s.n.2252693

     Online version  full text, available on campus     

 Computer Vision

 ראיה ממוחשבת

                                  236873

Textbooks

ספרי לימוד

Forsyth, D.A., Ponce, J. Computer Vision : a Modern Approach. Prentice-Hall, 2003.

     s.n.2245282

Szeliski, R. Computer vision :algorithms and applications .Springer,2011.

     s.n.2318589

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

 Introduction to Robotics

מבוא לרובוטיקה  

                                     236927

Textbooks

ספרי לימוד

Craig,J.J.   Introduction to Robotics: Mechanics and Control. 3rd ed. Pearson Education, 2005. 

     s.n.2210991-3rd ed., 2005

     s.n.2091042-2nd ed.,1989

     s.n.2005990- 1986

Erleben,K. ... [et al] Physics-based Animation. Charles River Media,2005.

     s.n.2279371

Choset,H. [et al.] Principles of Robot Motion :Theory, Algorithms, and Implementation. MIT Press,2005.

     s.n.2271004

     Online version  available on campus

Thrun, S., Burgard, W., Fox, D. Probabilistic Robotics. Cambridge, Mass. :MIT Press, 2005

     s.n.2281962

Dudek, G., Jenkin, M. Computational Principles of Mobile Robotics. Cambridge University Press, 2000.

     s.n.2212763

Latombe,J.R.   Robot Motion Planning.  Kluwer, 1991.
     s.n.2109421

Wolovich, W. A. Robotics : Basic Analysis and Design. Holt, Rinehart and Winston,1987.

     s.n.2041724  

 Neural Networks

1 רשתות עצביות

                                     236941

Textbooks

ספרי לימוד

Hassoun,M.H.   Fundamentals of Artificial Neural Networks.  MIT Press, 1995.
     s.n.2160625

Haykin, S. Neural Networks and Learning Machines.  3rd ed., Pearson, 2009.

     s.n.2300419

Haykin,S.   Neural Networks : A Comprehensive Foundation.  2nd  ed.  Prentice Hall, 1999.
     s.n.2199280-2nd ed.,1999
     s.n.2149980-            1994
Scholkopf, B., Smola, A. J. Learning with Kernels : Support Vector Machines, Regularization, Optimization, and beyond. MIT Press, 2002.
     s.n.2242197
Bishop,C.M.  Neural Networks for Pattern Recognition.  Clarendon Press, 1995.
     s.n.2161458

Ivancevic, V.G. Natural Biodynamics. World Scientific, 2005.

     s.n.2281897    

 Introduction to Quantum Information Processing

מבוא לעיבוד אינפורמציה קוואנטית

                                     236990

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, 10th Anniversary edition, 2010.

     s.n.2321579- 10th Anniversary edition,2010
     s.n.2226797- 2000

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

 Logic and Combinatorics Research Seminar

  סמינריון מחקר בלוגיקה וקומבינטוריקה

                                238901

Textbooks

ספרי לימוד

Aigner, M. A Course in Enumeration .Springer,2007.

     s.n.2311778

Bollobas, B. Modern Graph Theory. Springer, 1998

     s.n.2197568

Diestel, R. Graph Theory. 4th 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