List of Textbooks and Reference books (2015)

Spring  semester 2015

 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

Olver, P.J., Shakiban, C. Applied Linear Algebra. Prentice-Hall, 2006.

     s.n.2270388

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

ספרי לימוד

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

Kernighan,B.W., Ritchie,D.M.   The C Programming Language. 2nd ed. Prentice-Hall, 1988.

     s.n.2053482

Summit S.  C Programming FAQs.   Addison-Wesley,1996.

     s.n.2211150

 Introduction to Computer - C

מבוא למחשב - שפת סי

                                     234112

Textbooks

ספרי לימוד

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

Kernighan,B.W., Ritchie,D.M.   The C Programming Language. 2nd ed. Prentice-Hall, 1988.
     s.n.2053482

Summit S.  C Programming FAQs.   Addison-Wesley,1996.

     s.n.2211150

 Introduction to Computer Science M

מבוא למדעי המחשב מ'

                                     234114

Textbooks

ספרי לימוד

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

Kernighan,B.W., Ritchie,D.M.   The C Programming Language. 2nd ed. Prentice-Hall, 1988.
     s.n.2053482

Summit S.  C Programming FAQs.   Addison-Wesley,1996.

     s.n.2211150

 Introduction to Computer Science H

מבוא למדעי המחשב ח'

                                     234117

Textbooks

ספרי לימוד

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

Kernighan,B.W., Ritchie,D.M.   The C Programming Language. 2nd ed. Prentice-Hall, 1988.
     s.n.2053482

Summit S.  C Programming FAQs.   Addison-Wesley,1996.

     s.n.2211150

 Computer Organization and Programming

ארגון ותכנות המחשב

                                     234118

Textbooks

ספרי לימוד

Gill,A.   Machine and Assembly Language Programming of the PDP-11. 2nd ed.  Prentice-Hall, 1983.

     s.n.18193-2nd ed.,1983

MacEwen,G.H.   Introduction to Computer Systems Using the PDP-11 and PASCAL.McGraw-Hill, 1980.

     s.n.53279

Eckhouse,R.H.Jr., Morris,L.R.   Minicomputer Systems: Organization, Programming, and Applications (PDP-11). 2nd ed.  Prentice-Hall, 1979.

     s.n.1968-2nd ed.,1979

 Introduction to Systems Programming

מבוא לתכנות מערכות  

                                     234122

Textbooks

ספרי לימוד

Kernighan,B.W., Ritchie,D.   The C Programming Language. 2nd ed. Prentice-Hall, 1988.

     s.n.2053482

Summit S.  C Programming FAQs.   Addison-Wesley,1996.

     s.n.2211150

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 for the Technion community

     s.n.2210781-3rd ed., 1999

Gilly,D.   Unix in a Nutshell. O�Reilly. 1992.

     s.n.2133283

Stroustrup,B.   The C++ Programming Language. 4th ed. Addison-Wesley, 2013.

     s.n.2346837-4th ed., 2013

     s.n.2183451-3rd ed., 1997

     s.n.2256535-3rd special ed.,2003

     s.n.2264758-3rd special ed.,2000

Lippman,S.B., Lajoie,J. Moo, B. E.   C++ Primer. 5th ed.  Addison-Wesley,2013.

     s.n.2347351-5th ed., 2013

     s.n.2267264-4th ed., 2005

     s.n.2196517-3rd ed., 1998

Cline,M.P., Lomow,G.A.   C++ FAQs. 2nd ed.   Addison-Wesley, 1999.

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

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

McConnell, S. Code Complete. 2nd ed.   Microsoft Press,2004.

     s.n.2291703    

 Operating System

מערכות הפעלה

                                     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 9th  ed. Wiley, 2014.

     s.n.2333448-9th ed., 2014

     s.n.2298039-8th ed., 2008

     s.n.2268680-7th ed., 2005

     s.n.2247572-6th ed., 2003

     s.n.2179932-5th ed.,1998

Tanenbaum, A. S. Operating Systems :Design and Implementation. 3rd ed.Upper Pearson Prentice Hall, 2006.

     s.n.2279705

Levin, J. Mac OS X and iOS Internals :to the Apple's Core. Wrox, 2012.

     s.n.2333453

Russinovich, M. E., Solomon, D.A., Ionescu, A. Windows Internals . Part 1,2 .6th ed Microsoft Press, 2012.

     s.n.2333450

Solter,N., Jelinek,G., Miner,D. OpenSolaris Bible. Wiley, 2009.

     s.n.2333451

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 for the Technion community

     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. 2nd ed., Cambridge University Press, 2012.
     s.n.2330349
     s.n.1971-1st edition, 1979
Liu,C.L.   Introduction to Combinatorial Mathematics.  McGraw-Hill, 1968.
     s.n.1945  

Bruckstein, A. M. Lecture Notes for Discrete Mathematics. Technion-I.I.T., Dept. of Computer Science, 1991.

     s.n.2242155

גינזבורג, א.  מתמטיקה דיסקרטית. האוניברסיטה הפתוחה, 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 for the Technion community 
     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 for the Technion community  
     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 for the Technion community 

     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. 2nd ed., Cambridge University Press, 2012.

     s.n.2330349
     s.n.1971- 1st edition, 1979

קורמן,ת.ה.  מבוא לאלגוריתמים. האוניברסיטה הפתוחה,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 for the Technion community

     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. 5th ed., Morgan-Kaufmann, 2012.

     s.n.2331165-5th ed., 2012

     s.n.2285679-4th ed., 2007

     Online version  full text available for the Technion community  
     s.n.2243749-3rd ed., 2003  

     s.n.2169821-2nd ed., 1996

Shen, J. P., Lipasti, M.H. Modern Processor Design :Fundamentals of Superscalar Processors. McGraw-Hill Higher Education, 2005.

     s.n.2333437

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 for the Technion community
     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 for the Technion community 

     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

 Data Processing Laboratory

פרויקט בעיבוד נתונים מ'

                                     234301

Textbooks

ספרי לימוד

Kimball, R., Ross, M. The Data Warehouse Toolkit : the Complete Guide to Dimensional Modeling. 2nd ed., Wiley, 2002.
     s.n.2263612

Online version  full text, available on campus

Crockford, D. JavaScript :the Good Parts. O'Reilly,2008 

     s.n.2319233

Kiessling, M. The Node Beginner. lulu.com,2012..

     s.n.2499727   

Burnham, T. Async JavaScript :Build More Responsive Apps with Less Code. Pragmatic Express,2012.

     s.n.2499728   

 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

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 for the Technion community   

 File Systems

מערכות קבצים

                                     234322

Main Textbooks

ספרי לימוד

Garcia - Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice-Hall, 2000 .  
     s.n.2210470
Supplementary textbooks

ספרי עזר

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 for the Technion community

Vitter, J.S. Algorithms and Data Structures for External Memory. Foundations and trends in theoretical computer science, v. 2, no. 4. Now Publishers, 2008.

     s.n.2368336

Knuth, D. E. The Art of Computer Programming. Vol.3. Sorting and Searching. Vol. 3 published as 2nd ed. Addison-Wesley,1997-.

     s.n.2179696-3rd ed.,1997

     s.n.1983-2nd ed.,1973

Ramakrishnan, R., Gehrke, J. Database Management Systems. 3rd ed., McGraw-Hill, 2003.
     s.n.2245098-3rd ed., 2003
     s.n.2231150-2nd ed., 2000
Salzberg,B.   File Structures and Analytic Approach.  Prentice-Hall, 1988.
     s.n.2058159   
 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

 Software Engineering Methods

שיטות בהנדסת תוכנה

                                     236321

Textbooks

ספרי לימוד

Schach,S.R. Classical and Object-Oriented Software Engineering . 8th ed./McGraw-Hill,2011.

     s.n.2332883-8th ed., 2011

     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

 Introduction to Optimization

מבוא לאופטימיזציה

                                     236330

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

Bertsekas, D. P.Nonlinear Programming. 2nd ed.,Athena Scientific, 1999.

s.n.2211541

 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.2367725-5th ed., Pearson,2014
     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. 3rd ed., Cengage Learning,2013.

     s.n.2529474-3rd ed., 2013

     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    

 Introduction to Human-Computer Interaction

מבוא לממשקי אדם-מחשב

                                     236348

Textbooks

ספרי לימוד

Shneiderman, B., Plaisant, C. Designing the User Interface :Strategies for Effective Human-computer Interaction. 5th ed., Addison-Wesley, 2010.

     s.n.2315682

Johnson, J. Designing with the Mind in Mind :Simple Guide to Understanding User Interface Design Rules.2nd ed. Morgan Kaufmann Publishers, 2014.

     s.n.2354245-2nd.ed.,2014

     s.n.2353080-2010

 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

ספרי לימוד

 זקס,ש., פרנסיז,ז.   אוטומטים ושפות פורמליות, הוצאת האוניברסיטה הפתוחה 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!
 Algorithms 2

אלגוריתמים 2

                                     236359

Textbooks

ספרי לימוד

Cormen,T.H. [et al.]  Introduction to Algorithms. 3rd ed.  MIT Press, 2009.
     s.n.2309426- 3rd ed., 2009
     s.n.2317769 full text available for the Technion community
     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  full text available for the Technion community  
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  full text available for the Technion community

Garcia � Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice � Hall, 2000

     s.n.2210470

 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

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 for the Technion community    

Reference books

ספרי עזר

Polanski,A., Kimmel M. Bioinformatics. Springer,2007.
     s.n.2294189
Setubal, J., Meidanis, J. Introduction to Computational Molecular Biology. PWS, 1997.
     s.n.2217297

Waterman, M. S. Introduction to computational biology :maps, sequences, and genomes. Chapman & Hall,1995.

     s.n.2166282

Gusfield,D.  Algorithms on Strings, Trees and Sequences. Cambridge University Press, 1997.

     s.n.2189208

Nussbaum, R. L. McInnes, R.R., Willard, H.F. Thompson&Thompson Genetics  in Medicine. 6th ed. Saunders, 2001.

     s.n.2204393-6th ed., 2001
     s.n.2110327-5th ed., 1991

Griffiths, A.J.F. et al An Introduction to Genetic Analysis. 8th ed., W.H. Freeman, 2005.

     s.n.2263243-8th ed., 2005

     s.n.2210857-7th ed., 2000
     s.n.2178145-6th ed., 1996
     s.n.2150761-5th ed., 1993

Semple, C., Steel, M., Phylogenetics. Oxford University Press, 2003.

     s.n.2250260   

 Advanced Topics in Computer Science 2

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

                                     236602

Textbooks

ספרי לימוד

Du, Dingzhu, Hwang, F.K. Pooling Designs and Nonadaptive Group Testing :Important Tools for DNA Sequencing. World Scientific,2006.
     s.n.2323517
     Online version  full text available for the Technion community
Du, Dingzhu, Hwang, F.K Combinatorial Group Testing and its Applications. 2nd ed.:World Scientific,2000.
     s.n.2296344
     Online version full text available for the Technion community
     Online version full text available for the Technion community

Cicalese, F. Fault-tolerant Search Algorithms :Reliable Computation with Unreliable Information  Springer,2013.

     s.n.2499230

Aigner, M.Combinatorial Search  Teubner,  1988

     s.n.2084809

 Advanced Topics in Computer Science 3

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

                                   236603

Textbooks

ספרי לימוד

Easley,D., Kleinberg,J. Networks, Crowds, and Markets :Reasoning about a Highly Connected World. Cambridge , 2010.

     s.n.2316463

 Advanced Topics in Computer Science 4

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

                                     236604

Textbooks

ספרי לימוד

Ungarish, M.  An introduction to Gravity Currents and Intrusions. CRC Press, 2009.

     s.n.2306850

     Online version   full text available for the Technion community

Handbook of Environmental Fluid Dynamics. Vol.1 CRC Press, 2013.

     s.n.2346560

 Advanced Topics in Computer Science 5

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

                                     236605

Textbooks

ספרי לימוד

Greco, S., Molinaro,C., Spezzano,F. Incomplete Data and Data Dependencies in Relational Databases. Morgan & Claypool,2012.

     s.n.2499729

Sicui,D. ... [et al.]. Probabilistic Databases. Morgan & Claypool Publishers, 2011.

     s.n.2499756

Aggarwal, C.(editor)  Managing and Mining Uncertain Data. Springer,  2009
s.n.2499765

Abiteboul,S., Hull,R., Vianu,V.   Foundations of Databases.  Addison-Wesley, 1995.

     s.n.2158912
 Advanced Topics in Information Security L

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

                                     236652

Textbooks

ספרי לימוד

Drake, J. J. ... [et al.]. Android Hacker's Handbook. Wiley, 2014.

     s.n.2514060

Elenkov, N. Android Security Internals :an In-depth Guide to Android's Security Architecture.

     s.n.2514059
Kerrisk, M. The Linux Programming Interface :a Linux and UNIX System Programming Handbook. No Starch Press, 2010.
     s.n.2524637

     Online version   full text available for the Technion community      

 Advanced Topics in Information Security

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

                                     236653

Textbooks

ספרי לימוד

Eilam, E. Reversing :Secrets of Reverse Engineering . Wiley, 2005.

     s.n.2347285

Szor, P. The Art of Computer Virus Research and Defense. Addison-Wesley, 2005.

     s.n.2280910

Anley,C. � [et al] The Shellcoder's Handbook :Discovering and Exploiting Security Holes. Wiley, 2007.

     s.n.2352685

Hoglund, G., Butler, J. Rootkits :Subverting the Windows Kernel. Addison-Wesley, 2006.

     s.n.2347287

Russinovich, M. E., Solomon, D.A., Ionescu, A. Windows Internals . Part 1,2 .6th ed.  Microsoft Press, 2012.

     s.n.2333450

Sikorski, M., Honig, A. Practical Malware Analysis :the Hands-on Guide to Dissecting Malicious Software. No Starch Press, 2012.

     s.n.2329701

Eagle, C.  The IDA Pro Book :the Unofficial Guide to the World's Most Popular Disassembler.  No Starch Press, 2011.

     s.n.2327409

 Secure Quality Programs

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

                                     236698

Textbooks

ספרי לימוד

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

     s.n.2254052

 גלין, ד. הבטחת איכות תכנה. 1995
     s.n.2169724
 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            

Evans, E. Domain-Driven Design :Tackling Complexity in the Heart of Software. Addison-Wesley,2003.

     s.n.2327067

Fowler, M., Parsons, R. Domain-specific Languages. Addison-Wesley, 2011.

     s.n.2327068

Freeman, S., Pryce, N. Growing Object-oriented Software, Guided by Tests. Addison Wesley, 2010.

     s.n.2327069

Bloch, J. Effective Java.2nd ed.Upper Saddle River, N.J. :Addison-Wesley, 2008.

     s.n.2297055

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. 4th  ed. Addison-Wesley, 2013.

     s.n.2346837-4th ed.,2013

     s.n.2183451-3rd ed., 1997

     s.n.2256535-3rd special ed.,2003

     s.n.2264758-3rd special ed.,2000

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 for the Technion community  

Liberty, J., Xie, D. Programming C# 3.0. O'Reilly, 2008.

     s.n.2298051

Alexandrescu, A. The D Programming Language Addison-Wesley, 2010.

     s.n.2347290

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

 Select. Topics in Automat. Theorem Proving

נושאים בהוכחה אוטומטית של משפטים     

                                     236714

Textbooks

ספרי לימוד

Harrison J., Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009

     s.n.2351799

Robinson, J. Voronkov, A.(editors). Automatic Theorem Proving.Qualitative Reasoning. 2 vols. MIT Press, 2001.
     s.n.2264008

Chou, S.-C. Mechanical Geometry Theorem Proving. Reidel,1988

     s.n.2249966

Wu, W-T. Mechanical Theorem Proving in Geometries : Basic Principles. Springer, 1994

     s.n.2164137

Caviness, B. F., Johnson, J. R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, 1998.

     s.n.2223745

 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  full text available for the Technion community
     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  full text available for the Technion community

     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  full text available for the Technion community  
Lynch, N.A. Distributed Algorithms. Morgan Kaufmann, 1996.
     s.n.2196465

Attiya, H., Faith,E. Impossibility Results for Distributed Computing. Morgan & Claypool Publishers, 2014.

     s.n.2367576

 Algorithms for Dynamic Memory Management

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

                                     236780

Textbooks

ספרי לימוד

Jones, R., Hosking, A.,  Moss, E. The  Garbage Collection Handbook :the Art of Automatic Memory Management. CRC Press, 2012.
     s.n.2325031
 Seminar in Computer Science 2

סמינר במדעי המחשב 2

                                     236802

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 for the Technion community 

     s.n.2232918-2nd ed., 2001.    

Lau, Lap Chi, Ravi, R.,Singh, M. Iterative methods in combinatorial optimization. Cambridge University Press,2011

     s.n.2322443

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

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

 Theory Research Seminar

סמינריון מחקר בתאוריה

                                     238900

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

Cover, T. M., Thomas, J. A. Elements of Information Theory. 2nd edition, Wiley,2006.

     s.n.2287372

     Online version  full text available for the Technion community
 Logic and Combinatorics Research Seminar

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

                                    238901

Textbooks

ספרי לימוד

Ebbinghaus, H.-D., Flum, J., Thomas, W.  Mathematical Logic. 2nd ed. Springer, 1994.

     s.n.2163769
Spencer, J. H., The Strange Logic of Random Graphs. Springer,2001.
     s.n.2235453 
Grohe, M., Makowsky J., editors.AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics. American Mathematical Society,2011.
     s.n.2328726

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  

Grohe, M., Makowsky J., editors.AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics. American Mathematical Society,2011.

     s.n.2328726

Lovasz, L. Large networks and graph limits. American Mathematical Society, 2012

     s.n.2334398