|
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 |
ספרי
לימוד |
|
|
|
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 |
ספרי
לימוד |
|
|
|
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 |
|