Dahlquist,G.L., Bjorck,A.   Numerical Methods.  Prentice-Hall, 1974.

     s.n.1448

Kincaid,D., Cheney,W.   Numerical Analysis. 3^rd ed.,  Brooks/Cole, 2002.

     s.n.2257104-3^rded., 2002

     s.n.2176557-2^nd ed., 1996

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. 2^nd ed., McGraw-Hill Kogakusha, 1978.

     s.n.214545-2^nd ed., 1978

Suli, E., Mayers, D. F. An Introduction to Numerical Analysis. Cambridge University Press, 2003.

     s.n.2265264

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

     s.n.2053482

Kelley,Al., Pohl,I.   A Book on C: Programming in C. 4^th ed. Addison-Wesley, 1998.

     s.n.2190380 – 4^th ed., 1998

     s.n.2161673 – 3^rd ed., 1995

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

     s.n.2211150

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

     s.n.18193-2^nd 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). 2^nd ed.  Prentice-Hall, 1979.

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

Bovet, D. P., Cesati, M. Understanding the Linux Kernel. 3rd ed. O’Reilly, 2005.

     s.n.2250199-2nd ed., 2003  

Silberschatz,A.,  Galvin,P.B., Gagne, G.  Operating System Concepts 7^th ed. Wiley, 2005

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

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

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

     s.n.2148315-4^th 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

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

     s.n.2053482

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

     s.n.2211150

Reek,K.  Pointers on C.  Addison-Wesley, 1998.

     s.n.2210466

Barclay,K.A.   ANSI C: Problem Solving and Programming. 2^nd ed. Prentice-Hall, 1990.

     s.n.2142393

Robbins, A. Unix in a Nutshell : a  A Desktop Quick Reference, Covers GNU/Linux, Mac OS X, and Solaris. 4^th ed. O'Reilly, 2006.

     s.n.2275835-4th ed., 2006

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

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

     s.n.2133283

Stroustrup,B.   The C++ Programming Language. 3^rd ed. Addison-Wesley, 1997.

     s.n.2183451

Stroustrup,B.   The C++ Programming Language. 3^rd 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-2^nd ed.,1998

     s.n.2140882-          1992

Meyers, S. More Effective C++ :35 New Ways to Improve your Programs and Designs. Addison-Wesley,1996.

Solter, N., Kleper S. Professional C++. Wiley,2005.

     s.n.2295781   

Eckel, B. Thinking in C++. 2 vols. Prentice Hall, 2000-2004.

Henricson,M., Nyquist,E.  Industrial Strength C++.  Prentice Hall, 1997.

     s.n.2211151

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

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

     s.n.2190705-1995.

Ammann, P., Offutt, J. Introduction to Software Testing. Cambridge University Press,2008.

Eliens,A.  Principles of Object-Oriented Software Development.  Addison-Wesley,2000.

     s.n.2233064-2^nd ed.,2000.

Sommerville,I.  Software Engineering . 8^th ed., Addison-Wesley, 2007.

     s.n.2279935-8^th ed., 2007

     s.n.2231196-6^th ed., 2001

Rumbaugh,J. et al.   Object-Oriented Modeling and Design.  Prentice Hall-Int., 1991.

     s.n.2128426

Jacobson,I.,et al.   Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press, 1992.

     s.n.2137064

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

     s.n.2274192 

גינזבורג, א.  מתמטיקה דיסקרטית. האוניברסיטה הפתוחה, 1992.  קומבינטוריקה ח' 4

לניאל, נ., פרנס, מ. מתמטיקה בדידה. 2001

גירון, ש. מתמטיקה בדידה .מהד. ב.  אקדמיה. 2000

     s.n.1929- 2nd ed., 1978

מערכות ספרתיות   תל-אביב : האוניברסיטה הפתוחה, 1988

     s.n.2045004

     s.n.2099273-1990     

קורמן, ת.ה., מבוא לאלגוריתמים, כרך א,33 האוניברסיטה הפתוחה, 1998

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

Dasgupta, S., Papadimitriou C., Vazirani,U. Algorithms. McGraw-Hill Higher Education,2008.

     s.n.2290397

קורמן,ת.ה.  מבוא לאלגוריתמים. האוניברסיטה הפתוחה,1998.

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

Hennessy,J.L Patterson,D.A.   Computer Architecture: A Quantitative Approach. 4th ed., Morgan-Kaufmann, 2007.

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

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

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

     s.n.205767-1972

     s.n.213992-1964,1966

Moschovakis, Y. N. Notes on Set Theory. Springer, 1994.

Vaught, R.L. Set Theory: an Introduction. 2^nd ed. Birkhauser, 1995

     s.n.2170094-2^nd ed., 1995

Halmos, P.R. Naïve Set Theory. Springer, 1974.

     s.n.2032604-1974 (reprint)

Bovet, D. P., Cesati, M. Understanding the Linux Kernel. 3rd ed. O'Reilly, 2005.

Rubini, A. Corbet, J. Linux Device Drivers. 3rd ed., O'Reilly, 2005.

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

Beck, K. Extreme Programming Explained : Embrace Change. Pearson Academic 2004.

     s.n.2263810-2004

     s.n.2237578-2000  

Fowler, M. [et al.]. Refactoring : Improving the Design of Existing  Code. Addison-Wesley, 1999.

     s.n.2254640

Nichols, B., Buttlar, D., Farrell, J. P. Pthreads Programming. O'Reilly,1996.

     s.n.2285692

Schmidt, D.C., Huston, S.D. C++ Network Programming.Vol.1 Addison-Wesley,2002.

     s.n.2291997

Butenhof, D.R. Programming with POSIX Threads. Addison-Wesley,1997.

     s.n.2251455

Lewis,B., Berg,D.J.   Threads Primer : A Guide to Multithreaded Programming. Prentice-Hall, 1996.

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. 2^nd ed. Addison-Wesley, 1990.

Mitchell, J. C. Concepts in Programming Languages. Cambridge University Press, 2003.

     s.n.2248102

     s.n.2169805

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

     s.n.2267671-6th ed., 2005

     s.n.2263142-6th ed., 2005

Fowler,M. UML Distilled : a Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 2004 

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

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.3^rd ed., :IEEE Computer Society Press,2005.

     s.n.2295783

     s.n.2280290-4th ed., 2006

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

Gray,J., Reuter,A.   Transaction Processing: Concepts and Techniques.  Morgan Kaufman, 1993.     

     s.n.2135361

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

     s.n.2210470

Manning, C.D., Schutze, H. Foundations of Statistical Natural Language Processing, MIT Press, 1999

Allen, J., Natural Language Understanding, 2nd ed., Benjamin/Cummings, 1995

     s.n.2152874 – 2nd ed., 1995  

     s.n.2057035 – 1st ed., 1987

Jurafsky, D. Speech and Language Processing. Prentice-Hall, 2000.

     s.n.2232890

Radford, A. Minimalist Syntax :Exploring the Structure of English. Cambridge University Press,2004.

     s.n.2281029

אורנן, עזי המשפט הפשוט. אקדמון, תשל"ט 1979

     s.n.2226701

אורנן, עזי המילה האחרונה :מנגנון התצורה של המילה העברית. תשס"ג 2003

     s.n.2252021

Cormen,T.H. [et al.]   Introduction to Algorithms. 2nd ed.  MIT Press, 2001.

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

s.n.2099273-1990

Tarjan,R.E.   Data Structures and Network Algorithms.  SIAM, 1983.  

s.n.224973

Mehlhorn,K.   Data Structures and Algorithms 1: Sorting and Searching.  Springer, 1984.   

s.n.72786

Aho,A.H., Hopcroft,J.E., Ullman,J.D.   The Design and Analysis of Computer Algorithms.  Addison-Wesley, 1974.

s.n.1372    

Motwani,R., Raghavan,P.   Randomized Algorithms.  Cambridge Univ. Press, 1995

s.n.2167396

Mulmuley,K.   Computational Geometry: An Introduction Through Randomized Algorithms.  Prentice-Hall, 1994.

s.n.2145620

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

    s.n.2263612

Keller, H., Jacobitz, J. ABAP objects - the official reference : a comprehensive guide to all ABAP language elements. SAP Press, 2002.

    s.n.2263774

Keller, H., Kruger, S. ABAP Objects : Introduction to Programming SAP Applications. Addison-Wesley, 2002.

     s.n.2263614

SAP Authorization System: Design and Implementation of Authorization concepts for SAP R/3 and SAP enterprise portals. Sap Press, 2003.

     s.n.2263615

McDonald, K. ... [et al.]. Mastering the SAP Business Information Warehouse. John Wiley & Sons, 2002. John Wiley & Sons, 2002.

     s.n.2263610

Egger, N. SAP BW Professional. SAP Press, 2004.

     s.n.2268247

Will, L. SAP R/3 System Administration : the Official SAP Guide. Sybex, 1999.

     s.n.2268238

System Administration Made Easy Guidebook. Johnson Printing Service, 2002.

     s.n.2268240

R/3 Authorization Made Easy 4.6A/B . Johnson Printing Service, 2000.

     s.n.2268248

Hurst, Q., Nowak, D. Configuring SAP R/3 FI/CO /. SYBEX ; New York : Wiley,2000.

     s.n.2271593

Williams, G. C. Implementing SAP R/3 Sales and Distribution. McGraw-Hill,2000.

     s.n.2233081

Egger, N., Fiechter, J.-M. R., Rohlf, J. SAP BW Data Modeling: SAP Press, 2005.

     s.n.2282941

  Egger, N. [et al.]  SAP BW Reporting and Analysis. SAP Press,2006.

     s.n.2282940

Isaacson,E., Keller,H.B.   Analysis of Numerical Methods.  Wiley, 1966.

Libkin, L. Elements of Finite Model Theory. Springer, 2004.

     s.n.2263593

Ebbinghaus,H.-D., Flum, J. Finite Model Theory. 2nd ed., Springer, 1999.

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

     s.n.2175383-1995

Immerman, N. Descriptive Complexity. Springer, 1999.    

     s.n.2216045

Gradel E. ... [et al.]. Finite Model Theory and its Applications. Springer, 2007.

     s.n.2289405

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

    s.n.2151305

Mattheij, R. M. M., Rienstra, S. W., Thije Boonkkamp, J. H. M. ten Partial Differential Equations :Modeling, Analysis, Computation. Society for Industrial and Applied Mathematics,2005.

     s.n.2291984 

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

Stevens,W.R.   TCP/IP Illustrated. Vol. 1: The Protocols.  Addison-Wesley, 1994.

     s.n.2151702

Huitema,C.   Routing in the Internet.  2nd ed.,  Prentice-Hall, 2000.

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

Keshav,S.   Engineering Approach to Computer Networking.  Addison-Wesley, 1997.

Comer,D.E.   Internetworking with TCP/IP, 5th ed. , Prentice-Hall, 2006.

     s.n.2214967 – 4th ed.,2000

Kurose, J.F., Ross,K.W. Computer Networking : a Top-down Approach. 4th ed., Addison-Wesley, 2008.

     s.n.2291736 - 4th ed., 2008

     s.n.2247234  - 2nd ed., 2003

Peterson, L.L., Davie, B.S. Computer Networks : a Systems Approach. 3nd ed. Morgan Kaufmann, 2003.

     s.n.2252913 - 3rd ed., 2003.

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

גולדריך, ע. מבוא לתורת החשוביות. מהד' ג[חיפה] :הטכניון-מכון טכנולוגי לישראל, הפקולטה למדעי המחשב,1992.

     s.n.2234105

     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.2270984-2nd ed., 2006

     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

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

     s.n.2214487-2000

Hopcroft,J.E., Ullman, J.D. .  Introduction to Automata Theory, Languages and Computation. Addison-Wesley,1979.

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

     s.n.2293305 -2nd ed., 2007

Ullman,J.D.,  Widom, J.   A First Course in Database Systems. 3^rd  ed., Pearson/Prentice Hall, 2008.

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

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

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

Walmsley, P. Definitive XQuery. Prentice-Hall PTR,2005.

     s.n.2271608

Melton, J., Buxton, S. XQuery, XPath, and SQL/XML in Context /. Elsevier/Morgan Kaufmann, 2006.

     s.n.2283266

Bovet, D. P., Cesati, M. Understanding the Linux Kernel. 3rd ed. O'Reilly, 2005.

Rubini, A. Corbet, J. Linux Device Drivers. 3rd ed., O'Reilly, 2005.

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

Beck, K. Extreme Programming Explained : Embrace Change. Pearson Academic 2004.

     s.n.2263810-2004

     s.n.2237578-2000  

Fowler, M. [et al.]. Refactoring : Improving the Design of Existing  Code. Addison-Wesley, 1999.

     s.n.2254640

Nichols, B., Buttlar, D., Farrell, J. P. Pthreads Programming. O'Reilly,1996.

     s.n.2285692

Schmidt, D.C., Huston, S.D. C++ Network Programming.Vol.1 Addison-Wesley,2002.

     s.n.2291997

Butenhof, D.R. Programming with POSIX Threads. Addison-Wesley,1997.

     s.n.2251455

Lewis,B., Berg,D.J.   Threads Primer : A Guide to Multithreaded Programming. Prentice-Hall, 1996.

Spivey, J. M. The Z Notation : a Reference Manual. 2nd ed. Prentice-Hall, 1992.

     s.n.2158492

     s.n.2070678

Grama,A. ... [et al.] Introduction to Parallel Computing. 2^nd 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

Tanenbaum,A.S.   Distributed Operating Systems.  Prentice Hall, 1995.

Herlihy, M., Shavit, N. The Art of multiprocessor Programming. Elsevier/Morgan Kaufmann, 2008.

     s.n.2297021

Bisseling, R.H. Parallel Scientific Computation : Structural Approach Using  BSP and MPI.  Oxford University Press, 2004.

     s.n.2267291

Lea,D.  Concurrent Programming in Java. Addison-Wesley, 2000.

Jensen, F.V. Bayesian Networks and Decision graphs.2nd ed., Springer,2007.

     s.n.2287628-2nd ed., 2007

     s.n.2242930-2001

Jensen, F. V. An Introduction to Bayesian Networks. Springer,1996.

     s.n.2186964

Pearl, J. Causality :Models, Reasoning, and Inference. Cambridge University Press,2000.

     s.n.2214477

Neapolitan, R. E. Probabilistic Reasoning in Expert systems :Theory and Algorithms. Wiley-Interscience,1990.

     s.n.2120523

Neapolitan, R. E. Learning Bayesian Networks. Pearson/Prentice Hall,2004.

     s.n.2275168

Glassner,A.S.   Principles of Digital Image Synthesis.  2 vols.  Morgan Kaufmann, 1995.

     s.n.2151407

Watt,A., Watt.M.   Advanced Animation and Rendering Techniques : Theory and Practice.  ACM Press, 1992.

     s.n.2141145

Glassner,A.s.,ed.  An Introduction to Ray Tracing. Academic Press, 1989.

     s.n.2086466

Wolberg,G.   Digital Image Warping.  IEEE Comp. Soc. Press, 1990.

     s.n.2115011

Sillion,F.X., Puech,C.   Radiosity and Global Illumination.  Morgan Kaufmann, 1994.

     s.n.2151408

Cohen,M.F., Wallace,J.R.   Radiosity and Realistic Image Synthesis.  Academic Press Professional, 1993.

     s.n.2144325

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

Shirley, P., Morley, R. K. Realistic Ray Tracing. AK Peters,2003.

     s.n.2274063

Dutre, P., Bekaert, P., Bala, K. Advanced Global Illumination. AK Peters,2003.

     s.n.2274064    

Pharr, M., Humphreys, G. Physically Based Rendering :from Theory to Implementation. Elsevier/Morgan Kaufmann,2004.

     s.n.2274061

Lind,D.A., Marcus,B.   An Introduction to Symbolic Dynamics and Coding.  Cambridge University Press, 1995.

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

Pohlmann,K.C.   The Compact Disc Handbook. 2nd ed.  A-R Editions, Inc., 1992.

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.

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

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

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

Felsenstein, J. Inferring Phylogenies. Sinauer Associates, 2004.

Polanski,A., Kimmel M. Bioinformatics. Springer,2007.

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

     s.n.2250260   

Wile,B., Goss,J.C., Roesner, W. Comprehensive Functional Verification: The Complete Industry Cycle. Elsevier/Morgan Kaufmann,2005.

     s.n.2278538

Bergeron, J. Writing Testbenches : Functional Verification of HDL Models. 2nd ed., Kluwer Academic Publishers, 2003.

     s.n.2263687

Eisner, C., Fisman, D. A Practical Introduction to PSL. Springer,2006.

    s.n.2284653

Bening, L., Foster, H. Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog. 2nd ed., Kluwer Academic Publishers, 2001.

     s.n.2263689

Palnitkar, S. Design Verification with e. Prentice Hall PTR, 2003.

     s.n.2263690

Piziali, A. Functional verification coverage measurement and analysis. Kluwer Academic Publishers,2004.

     s.n.2278542

Perry, D. L. VHDL : Programming by Example. 4th ed. McGraw-Hill, 2002.

     s.n.2258282

Perry, D. L.. VHDL. 3rd ed., McGraw-Hill, 1998.

     s.n.2197572

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

Katz J., Lindell Y. Introduction to Modern Cryptography. Chapman & Hall/CRC, 2008.

     s.n.2295970

Gruska, J. Quantum Computing. McGraw-Hill, 1999.

Nielsen,M.H., Chuang,I.L. Quantum Computation and Quantum Information. Cambridge Universuty Press, 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

Peres, A. Quantum Theory:Concepts and Methods. Kluwer, 1993

     s.n.2145016

Sergienko, A. V. Quantum Communications and Cryptography. Taylor & Francis,2006.

     Online version full text available on campus

Booch, G. Object-Oriented Analysis and Design with Applications. 2nd ed.,Benjamin/Cummings, 1994.

      s.n.2153623   

Larman, C. Applying UML and Patterns : an Introduction to Object-Oriented Analysis and Design and Iterative Development. 3rd ed. Prentice-Hall, PTR,2005.

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

Larman, C. Applying UML and Patterns: an Introduction to Object –Oriented Analysis and Design and the Unified Process.2nd ed. Prentice-Hall, PTR,2002.

     s.n.2247747-2nd ed., 2002

     s.n.2196778-1998

Douglass, B. P. Doing Hard Time : Developing Real-time Systems with UML, Objects, Frameworks, and Patterns. Addison-Wesley, 1999.

     s.n.2211697

Douglass, B. P. Real time UML : Advances in the UML for Real-time Systems. 3rd ed., Addison-Wesley, 2004. 

     s.n.2265819

Douglass, B. P., Real-Time Design Patterns : Robust Scalable Architecture for Real-time Systems. Addison-Wesley, 2003.

     s.n.2265905

Stroustrup,B.   The C++ Programming Language. 3rd ed., special edition. Addison-Wesley, 2003.

     s.n.2256535

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

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

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

     s.n.2255511

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

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

     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

Lynch, N.A. Distributed Algorithms. Morgan Kaufmann, 1996.

     s.n.2196465

Mitchell,T.   Machine Learning. WCB McGraw Hill, 1997.

Alpaydin,E. Introduction to Machine Learning. MIT Press, 2004.

Duda, R.O., Hart, P.E., Stork, D.G. Pattern Classification, 2^nd ed., Wiley – Interscience, 2001

     s.n.2217905 – 2^nd ed., ‏2001  

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

Elad M. Lectures Notes on Image Processing, Technion, 1999 (available on the course webpage).

Bruckstein, A. M. Lecture Notes on Image Processing. Technion-I.I.T., Dept. of Computer Science, 1990.

     s.n.2234108

Rosenfeld, A., Kak, A.C. Digital Picture Processing. 2nd ed., Academic Press, 1982

Jain,A.K.   Fundamentals of Digital Image Processing.  Prentice-Hall, 1989.

Gonzalez,R.C., Woods, R.E. Digital Image Processing.  Addison-Wesley, 1987.

Gonzalez,R.C., Woods,R.E. Digital Image Processing. Addison-Wesley, 2002.

Pratt, W.K., Digital Image Processing : PIKS Inside.  3rd  ed., Wiley – Interscience, 2001.

     s.n.2237917-3rd ed., 2001    

     s.n.2109675-2nd ed., 1991

Sonka, M., Hlavac, V., Boyle, R. Image Processing, Analysis and Machine Vision, 3rd ed., Thomson,2008.

     s.n.2144810    

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

     s.n.2232928-5th ed., 2002

     s.n.2195306-4th ed., 1997

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

     s.n.2192680

     s.n.2243186

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

     s.n.44213

Rosenfeld, A., Kak, A.C. Digital Picture Processing. 2nd ed., Academic Press, 1982

Horn, B.K.P. Robot Vision. MIT Press. McGraw Hill, 1986

Spivak, M.  A Comprehensive Introduction to Differential Geometry. Vol. 2, 2nd ed., Publish or Perish, 1979.

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

     s.n.2021460 – 1970

Struik, D. J. Lectures on Classical Differential Geometry.2nd ed., Addison-Wesley,1961

     s.n.2079869 – 2nd ed., 1961

     s.n.2083372 – 1950

Sonka, M., Hlavac, V., Boyle, R. Image Processing, Analysis and Machine Vision, 3rd ed., Thomson,2008.

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

Cristianini, N., Shawe-Taylor, J. An Introduction to Support –Vector Machine and other Kernel –based Learning Methods. Cambridge University Press, 2000.

     s.n.2210838

Bishop, C. M. Pattern Recognition and Machine Learning. Springer,2006.

     s.n.2282368

Ullman, S. High-level Vision: Object Recognition and Visual Cognition. MIT Press,1996

     s.n.2170783

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

     s.n.2245282

Russell,S.J., Norvig, P.   Artificial Intelligence: A Modern Approach.2nd ed. Prentice-Hall, 2002.

     s.n.2218400- 2nd ed., 2002.

Hartley, R. Zisserman, A. Multiple View Geometry in Computer Vision. 2nd ed. Cambridge University Press,2003.

     s.n.2261857-2nd ed., 2003

     s.n.2217710-2000.

Mundy, J.L., Zisserman,S.[editors] Geometric Invariance in Computer Vision. MIT Press,1992.

     s.n.2136094

Scholkopf, B., Smola, A. J. Learning with Kernels : Support Vector Machines, Regularization, Optimization, and beyond. MIT Press, 2002.

     s.n.2242197