Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Информационные технологии
        Вопросы о библиотеке scientific-library.net (elib.garnet.ru)
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Информационные технологии" «

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 ]
Модераторы: paradise, KMA
  

Baracus


Удален

193.232.127.42:80
193.232.127.42:3128
81.91.33.162:80
81.91.33.162:3128
Лови.
З.Ы. Только скажи, каким именно адресом пользовался и что качал, если нетрудно

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 10 марта 2004 20:42 | IP
papa alex


Удален


"Временно открыл доступ для всех."
Очень благородно!

Вопрос к хозяину. А что должно означать это мрачное предложение:
"Fatal error: Maximum execution time of 60 seconds exceeded in d:\apache\htdocs\lib\matphys.php on line 282"?

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 11 марта 2004 20:31 | IP
pkfrance


Удален

papa alex
Skoree vsego so skriptom problema - on za minutu ne vydal nichego na stdout, i webserveru nadoelo zhdat'.

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 11 марта 2004 21:33 | IP
andreiiv


Удален


Цитата: Baracus написал 10 марта 2004 20:42
193.232.127.42:80
193.232.127.42:3128
81.91.33.162:80
81.91.33.162:3128
Лови.
З.Ы. Только скажи, каким именно адресом пользовался и что качал, если нетрудно



Благодарствую. Оба сервера работаут через порт 3128, однако не могу закачать больше одного пакета (8 Кб). Да и сепеш опять накрылся. Спасибо, до следующего раза.

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 11 марта 2004 23:34 | IP
cepesh


Удален

Господа, могу обрадовать вас.
Неограниченный доступ теперь для всех.
внешняя ссылка удалена

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 15 марта 2004 17:49 | IP
Guest



Новичок

Пытаюсь c гарнета утянуть Математика/Теоричисел/ Эдвардс,_Последня_теорема_Ферма,1980.pdf

и ничего не выходит. Даже когда обычным ftp захожу то по ls оно его показывает, а get не проходит -- говорить нет такого файла. Наверное это из-за буквы "я" в названии. Подскажите, пожалуйста, как ему эту букву вписать?

Всего сообщений: Нет | Присоединился: Never | Отправлено: 8 апр. 2004 21:14 | IP
Guest



Новичок

Сайт потрясающий, но подскажите, как с него скачать хоть что-нибудь (конкретно - Лява)?

Всего сообщений: Нет | Присоединился: Never | Отправлено: 10 апр. 2004 23:54 | IP
Guest



Новичок

А где сайт?

Всего сообщений: Нет | Присоединился: Never | Отправлено: 18 апр. 2004 15:54 | IP
cepesh


Удален

внешняя ссылка удалена

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 18 апр. 2004 20:37 | IP
Guest



Новичок

Привет Братва ! нужна помощь в нахождении следующих книг ..... если можете как-то помочь - пишите на super606_13@yahoo.com. Спасибо !

Numerical Analysis:

Ralston,A., Rabinowitz, P. A First Course in Numerical Analysis, 2nd ed., McGraw-Hill Kogakusha, 1978
Dahlquist,G.L., Bjorck,A.   Numerical Methods.  Prentice-Hall, 1974
Kincaid,D., Cheney,W.   Numerical Analysis. 3rd ed.,  Brooks/Cole, 2002

Lambert,J.D.   Computational Methods in Ordinary Differential Equations.  Wiley, 1973.
Isaacson,E., Keller,H.B.   Analysis of Numerical Methods.  Wiley, 1966.
Stoer, J., Bulirsch, R. Introduction to Numerical Analysis. 3rd ed. Springer, 2002.


Computer Organization and Programming

MacEwen,G.H.   Introduction to Computer Systems Using the PDP-11 and PASCAL. McGraw-Hill, 1980.
Eckhouse,R.H.Jr., Morris,L.R.   Minicomputer Systems: Organization, Programming, and Applications (PDP-11). 2nd ed.  Prentice-Hall, 1979
Gill,A.   Machine and Assembly Language Programming of the PDP-11. 2nd ed. Prentice-Hall, 1983.

-------------------------------------------------------------------------------------------------------

Operating Systems

Bovet, D. P., Cesati, M. Understanding the Linux Kernel. 2nd ed. O'Reilly, 2003.
Silberschatz,A.,  Galvin,P.B., Gagne, G.  Operating Systems Concepts 6th ed. Wiley, 2003

-------------------------------------------------------------------------------------------------------

Introduction to Systems Programming

Summit,S.  C Programming FAQs.  Addison-Wesley, 1996
Barclay,K.A.   ANSI C: Problem Solving and Programming. 2nd ed. Prentice-Hall, 1990.
Robbins, A. Unix in a nutshell : a desktop quick  reference for system V release 4 and Solaris 7.  3rd ed.O'Reilly, 1999
Gilly,D.   Unix in a Nutshell. O'Reilly. 1992.
Lippman,S.B., Lajoie,J.   C++ Primer.  3rd ed.  Addison-Wesley, 1998.
Meyers,S.  Effective C++. 2nd ed.  Addison-Wesley, 1998
Henricson,M., Nyquist,E.  Industrial Strength C++.  Prentice Hall, 1997.
Cline,M.P., Lomow,G.A.   C++ FAQs. 2nd ed.   Addison-Wesley, 1999.
Kruse,R.L., Ruba,A.J.  Data Structures and Program Design in C++.  Prentice Hall, 1998.
Eliens,A.  Principles of Object-Oriented Software Development.  Addison-Wesley,2000.
Drake,C.   Object-Oriented Programming with C++ and Smalltalk.  Prentice Hall, 1998.
Rumbaugh,J. et al.   Object-Oriented Modeling and Design.  Prentice Hall-Int., 1991.
Jacobson,I.,et al.   Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press, 1992.

-------------------------------------------------------------------------------------------------------

Combinatorics for Computer Science

Liu,C.L.   Introduction to Combinatorial Mathematics.  McGraw-Hill, 1968.
Even,S.   Algorithmic Combinatorics. Macmillan, 1973.
Even,S.   Graph Algorithms.  Computer Science Press, 1979.

-------------------------------------------------------------------------------------------------------

Digital Systems

Kohavi,Z.   Switching and Finite Automata Theory.  2nd ed.  McGraw-Hill, 1978.
Ward,S.A., Halstead,R.H.,Jr.   Computation Sturctures.  MIT Press, 1990.

-------------------------------------------------------------------------------------------------------

Data Structures 1

Cormen,T.H. [et al.]  Introduction to Algorithms. 2nd ed.  MIT Press, 2001.
Lewis,H.R., Denenberg,L.    Data Structures and their Algorithms.  Harper Collins, 1991.
Gusfield,D.  Algorithms on Strings, Trees and Sequences. Cambridge University Press, 1997.
Aho,A.V., Hopcroft,J.E., Ullman,J.D.   Data Structures and Algorithms.  Addison-Wesley, 1983.
Horowitz,E., Sahni,S.   Fundamentals of Data Structures in Pascal. 4rd ed.  Computer Science Press, 1994.

-------------------------------------------------------------------------------------------------------

Algorithms 1

Even,S.   Graph Algorithms.  Computer Science Press, 1979.
Cormen,T.H. [et al.]   Introduction to Algorithms. 2nd ed.  MIT Press, 2001.

-------------------------------------------------------------------------------------------------------

Logic Design

Ward,S.A., Halstead,R.H.,Jr.   Computation Structures. MIT Press, 1990.
Hennessy,J.L., Patterson,D.A.   Computer Organization and Design:The Hardware/ Software Interface. 2nd ed.  Morgan Kaufmann, 1998.

-------------------------------------------------------------------------------------------------------

Digital Computers Structure (MAMAS)

Hennessy,J.L Patterson,D.A.   Computer Architecture: A Quantitative Approach. 3rd ed., Morgan-Kaufmann, 2003.
Hennessy,J.L., Patterson,D.A.   Computer Organization and Design:The Hardware/ Software Interface. 2nd ed.  Morgan Kaufmann, 1998.
Anderson,D., Shanley,T.   Pentium Processor System Architecture. 2nd ed.  Addison-Wesley, 1995.

-------------------------------------------------------------------------------------------------------

Logic and Set Theory

Ebbinghaus, H.-D., Flum, J., Thomas, W.  Mathematical Logic. 2nd ed. Springer, 1994.
Adamowicz, Z., Zbierski, P. Logic of Mathematics: a Modern Course of Classical Logic. Wiley-Interscience, 1997.
Enderton,H.B.  A Mathematical Introduction to Logic.  Academic Press, 1972.
Mendelson, E. Introduction to Mathematical Logic.4th ed. Chapman & Hall ,1997.
Moschovakis, Y. N. Notes on Set Theory. Springer, 1994.
Shoenfield, J.R. Mathematical Logic. Addison-Wesley, 1967.
Vaught, R.L. Set Theory: an Introduction. 2nd ed. Birkhauser, 1995
Halmos, P.R. Naive Set Theory. Springer, 1974.
Hughes, G.E., Creswell, M.J. A Companion to Modal Logic. Methuen, 1984.

-------------------------------------------------------------------------------------------------------

Mathemarical Methods for Computer Applications

Strang, G. Introduction to Linear Algebra. 2nd ed.,Wellesley-Cambridge Press,  1998.
Foley,J.D.,et al.   Computer Graphics: Principles and Practices. 2nd ed in C.  Addison-Wesley, 1996.
Strang, G. Introduction to Applied Mathematics. Wellesley-Cambridge Press, 1986.
Boyce, W., DiPrima, R. C., Elementary Differential Equations and Boundary Value Problems. 7th ed., Wiley, 2001.
Spiegel, M. Schaum's Outline of Theory and Problems of Fourier analysis : with Applications to Boundary Value Problems. McGraw-Hill, 1974.
Lindenbaum, Michael - &#1506;&#1497;&#1489;&#1493;&#1491; &#1488;&#1493;&#1514;&#1493;&#1514; &#1493;&#1514;&#1502;&#1493;&#1504;&#1493;&#1514;

-------------------------------------------------------------------------------------------------------

Project in Operating Systems H

Bovet, D. P., Cesati, M. Understanding the Linux Kernel. 2nd ed. O'Reilly, 2003.
Rubini, A. Corbet, J. Linux Device Drivers. O'Reilly, 2001.
Beck, K. Extreme Programming Explained : Embrace Change. Addison-Wesley, 2000.
Fowler, M. [et al.]. Refactoring : Improving the Design of Existing  Code. Addison-Wesley, 1999.
Sommerville,I.  Software Engineering .6th ed. Addison-Wesley, 2001.
Stevens,W.R.   Advanced Programming in the UNIX Environment.  Addison-Wesley, 1992.
Lewis,B., Berg,D.J.   Threads Primer : A Guide to Multithreaded Programming. Prentice-Hall, 1996.
Beveridge,J., Wiener,R.    Multithreading Applications in WIN32.  Addison-Wesley Developers Press, 1997.
Hart,J.M.   WIN32  System Programming.  Addison-Wesley Developers Press, 1997.
Davis,R.   Windows NT Network Programming.  Addison-Wesley, 1994.
Petersen,R.   Linux: the Complete Reference.  3rd ed.  Osborne/McGraw-Hill, 1999.
Welsh,M., Dalheimer,M.K., Kaufman,L.   Running Linux. 3rd ed.   O`Reilly, 1999.

-------------------------------------------------------------------------------------------------------

Programming Languages

Watt,D.A.   Programming Language Concepts and Paradigms. Prentice-Hall, 1990.  
Paulson,L.C.   ML for the Working Programmer. 2nd ed.  Cambridge University Press, 1996.  
Clocksin, W. F., Mellish, C. S., Programming in Prolog. 5th ed. Springer, 2003.
Bratko,I.   PROLOG Programming for Artificial Intelligence. 2nd ed. Addison-Wesley, 1990.
Mitchell, J. C. Concepts in Programming Languages. Cambridge University Press, 2003.
Finkel,R.A. Advanced Programming Language Design. Addison-Wesley, 1996.  
Welsh, J., Elder, J. Introduction to PASCAL. 3rd ed. Prentice-Hall, 1988.

-------------------------------------------------------------------------------------------------------

Introduction to Software Engineering

Schach,S.R.   Classical and Object-Oriented Software Engineering . 5th ed./McGraw-Hill,2002.
Pressman,R.S.   Software Engineering : A Practitioner`s Approach. 5th ed.  McGraw-Hill,2001.  
Eriksson,H.-E., Penker,M.   UML Toolkit.  Wiley, 1998.  
Fowler,M. UML Distilled : a Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 2004  
Eckel, B., Thinking in Java, Prentice-Hall, 3rd ed., 2003

-------------------------------------------------------------------------------------------------------

File Systems

Salzberg,B.   File Structures and Analytic Approach.  Prentice-Hall, 1988.  
Ullman,J.D.   Principles of Database and Knowledge-Base Systems. Vol.1.  Computer Science Press, 1988.  
Gray,J., Reuter,A.   Transaction Processing: Concepts and Techniques.  Morgan Kaufman, 1993.  
Garcia - Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice-Hall, 2000 .

-------------------------------------------------------------------------------------------------------

Intro. to Natural Language Processing

Allen, J., Natural Language Understanding, 2nd ed., Benjamin/Cummings, 1995
Manning, C.D., Foundations of Statistical Natural Language Processing, MIT Press, 1999
Jurafsky, D. Speech and Language Processing. Prentice-Hall, 2000.
Radford, A. Transformational Grammar : a First Course. Cambridge University Press, 1988.
Haegeman, L. Introduction to Government and Binding Theory. 2nd ed., Blackwell, 1994.
Sells, P. Lectures on Contemporary Syntactic Theories : an Introduction to Government-binding Theory, Generalized Phrase Structure Grammar, and Lexical-functional Grammar. CSLI, 1985
Shieber, S. M. An Introduction to Unification-based Approaches to Grammar. CSLI, 1986.

-------------------------------------------------------------------------------------------------------

Complexity Theory

Garey,M.R., Johnson,D.S.   Computers and Intractability : A Guide to the Theory of NP-Completeness.  Freeman, 1979.
Papadimitrou,C.H.   Computational Complexity.  Addison-Wesley, 1994.
Hopcroft, J.E,Motwani,R.  Introduction to Automata Theory, Languages .and Computation. 2nd ed. Addison Wesley, &#8207;2001.
Sipser, M., Introduction to the Theory of Computation. PWS, 1997
Ausiello, G. et al. Complexity and Approximation: Combinatorial Optimization Problems and their Approximabilty Properties. Springer, 1999

-------------------------------------------------------------------------------------------------------

Data Processing Laboratory

Silverston, L. The Data Model Resource book. 2 vols. Wiley, 2001.  
Kimball, R. The Data Warehouse Toolkit: Practical Techniques for Building Dimensional Data Warehouses. Wiley, 1996.  
Corey, M. &#133; [ et al.] SQL Server 7: Data Warehousing. Osborne/McGraw-Hill, 1999.  
Jacobson, I. [et al.] Object-Oriented Software Engineering : a Use Case Driven Approach. ACM Press, 1992.
Booch, G., Rumbaugh, J., Jacobson, I. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
Jacobson, I., Booch, G., Rumbaugh, J. The Unified Software Development Process. Addison-Wesley, 1999.

-------------------------------------------------------------------------------------------------------

Signal and Image Processing by Computer

Gonzalez,R.C., Woods, R.E. Digital Image Processing.  Addison-Wesley, 1987.  
Gonzalez,R.C., Woods,R.E. Digital Image Processing. Addison-Wesley, 2002.  
Kwakernaak,H., Sivan,R.  Modern Signal and Systems.  Prentice Hall-Int., 1991.  
Levine,M.D.   Vision in Man and Machine.  McGraw-Hill, 1985.    
Jain,A.K.   Fundamentals of Digital Image Processing.  Prentice-Hall, 1989.  

-------------------------------------------------------------------------------------------------------

Introduction to Computer Networks

Halsall,F.  Data Communications, Computer Networks and Open Systems. 4th.ed. Addisson Wesley, 1996.  
Tanenbaum,A.S.   Computer Networks. 4th ed. Prentice Hall-Int., 2002.  
Bertsekas,D.P., Gallager,R.   Data Networks. 2nd ed.  Prentice Hall-Int., 1992.  

-------------------------------------------------------------------------------------------------------

Num. Solution of Part. Diff. Equations

Iserles, A. A First Course in the Numerical Analysis of Differential Equations. Cambridge University Press, 1996.
Smith, G.D. Numerical Solution of Partial Differential Equations: Finite Difference Methods. Clarendon Press, 1985.
Mitchell, A.R. The Finite Difference Method in Partial Differential Equations. Wiley, 1980.
Morton, K.W., Mayers, D.F., Numerical Solution of Partial Differential Equations: an Introduction. Cambridge University Press,   1994.
Moin, P. Fundamentals of Engineering Numerical Analysis. Cambridge University Press, 2001

-------------------------------------------------------------------------------------------------------

Computer Communications Project

Comer,D.E.   Internetworking with TCP/IP, 4th ed. , Prentice-Hall, 2000.  
Stevens,W.R.   TCP/IP Illustrated. Vol. 1: The Protocols. Addison-Wesley, 1994.  
Tanenbaum,A.S.   Computer Networks. 4th ed. Prentice Hall-Int., 2002.  

-------------------------------------------------------------------------------------------------------

Internet Networking

Stevens,W.R.   TCP/IP Illustrated. Vol. 1: The Protocols.  Addison-Wesley, 1994.
Huitema,C.   Routing in the Internet.  2nd ed.,  Prentice-Hall, 2000.
Keshav,S.   Engineering Approach to Computer Networking.  Addison-Wesley, 1997.
Comer,D.E.   Internetworking with TCP/IP, 4th ed. , Prentice-Hall, 2000.
Kurose, J.F., Ross,K.W. Computer Networking : a Top-down Approach Featuring the Internet. 2nd ed. Addison-Wesley, 2003.
Kaufman,C., Perlman,R., Speciner,M.   Network Security : Private Communication in a Public Word. 2nd ed. Prentice Hall PRT,2002.
Peterson, L.L., Davie, B.S. Computer Networks : a Systems Approach. 3nd ed. Morgan Kaufmann, 2003.

-------------------------------------------------------------------------------------------------------

Theory of Computation

Lewis,H.R., Papadimitriou,C.H.   Elements of the Theory of Computation.  Prentice-Hall, 1981.  
Hopcroft, J.E,Motwani,R.  Introduction to Automata Theory, Languages .and Computation. 2nd ed. Addison  Wesley, &#8207;2001.  
Papadimitriou, C.H., Computational Complexity, Addison-Wesley, 1994  
Garey, M.R., Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman, 1979  
Sipser, M., Introduction to the Theory of Computation. PWS, 1997  

-------------------------------------------------------------------------------------------------------

Computer Security

Kaufman,C., Perlman,R., Speciner,M.   Network Security : Private Communication in a Public Word. 2nd ed. Prentice Hall PRT,2002.  
Stallings,W.  Cryptography and Network Security : Principles and Practice. 3rd ed. Prentice Hall, 2003.
Stallings, W. Network and Internetwork Security : Principles and Practice. Prentice-Hall, 1995.
Chapman,D.B., Zwicky E.D.   Building Internet Firewalls. 2nd ed. O`Reilly, 2000.  
Cheswick, W. R. Firewalls and Internet Security: Repelling the  Wily Hacker. Addison-Wesley, 1994.  
Doraswamy, N., Harkins, D. IPSec : the New Security Standard for the Internet, Intranets, and Virtual Private  Networks. 2nd ed., Prentice Hall PTR, 2003.

-------------------------------------------------------------------------------------------------------

Advanced Topics in Distributed Systems

Tanenbaum,A.S, Steen, M. van Distributed Systems: Principles and Paradigms. Prentice-Hall, 2002.
Attiya, H., Welch, J. Distributed Computing. McGraw-Hill, 1998  
Birman, K.P. Building Secure and Reliable Network Applications. Manning, 1996.  
Mullender, S. editor. Distributed Systems, Addison-Wesley, 1995.  
Brose, G.,Vogel A.,Duddy, K.  Java Programming with Corba. Wiley, 2000  

Tanenbaum, A.S., Distributed Operating Systems. Prentice-Hall, 1995  
Birman,K.P., Mattern,F., Schiper,A.,eds. Theory and Practice in Distributed Systems. Lecture Notes in Computer Science ,938. Springer, 1995.  
Birman,K.P.,van Renesse,R.,eds. Reliable Distributed Computing with ISIS Toolkit. IEEE Computer Society Press, 1994  
Bernstein, P.A., Hadzilakos, V., Goodman, N., Concurrency Control and Recovery in Databases Systems. Addison-Wesley, 1987  
Stevens,W.R.   TCP/IP Illustrated. Vol. 1,2. Addison-Wesley, 1994.  
Stevens, W.R. Unix Network Programming. 2nd ed. Prentice-Hall, 1998  
Orfali, R., Harkey, D., Edwards, J. The Essential Distributed Objects Survival Guide. Wiley, 1996.  
Orfali, R., Harkey, D., Edwards, J. The Essential Client/Server Survival Guide. Wiley, 1999  
Slama, D. Garbis, J., Russel, P. Enterprise CORBA . Prentice-Hall, 1999.  
Orfali, R., Harkey, D. Client/Server Programming with Java and Corba. Wiley,1998.  
Henning, M., Vinoski, S. Advanced CORBA Programming with C++. Addison-Wesley, 1999.  
Baker, S. CORBA Distributed Objects: Using Orbix. Addison-Wesley,1997.  

-------------------------------------------------------------------------------------------------------

Automata and Formal Languages

Hopcroft, J.E,Motwani,R.  Introduction to Automata Theory, Languages .and Computation. 2nd ed. Addison  Wesley

-------------------------------------------------------------------------------------------------------

VLSI Circuit Design

Weste,N.H.E., Eshraghian,K.   Principles of CMOS VLSI Design. : A Systems Perspective. 2nd ed.  Addison-Wesley,   1993.  

-------------------------------------------------------------------------------------------------------

Theory of Compilation

Aho,A.V., Sethi,R., Ullman,J.D.   Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.  
Wilhelm,R., Maurer,D.   Compiler Design. Addison-Wesley,1995.  

-------------------------------------------------------------------------------------------------------

Database Management Systems

Silberschatz,A., Korth,H.F., Sudarshan,S.    Database System Concepts. 4th ed.McGraw-Hill, 2002.  
Garcia-Molina, H., Ullman, J. D., Widom, J. Database System :The Complete Book.Prentice-Hall, 2001
Ullman,J.D.   Principles of Database and Knowledge-Base Systems. 2 vols.  Computer  Science Press, 1988.  
Mannila,H., Raiha,K.-J.   The Design of Relational Databases.  Addison-Wesley, 1992.  
Abiteboul,S., Hull,R., Vianu,V.   Foundations of Databases.  Addison-Wesley, 1995.  
Ullman,J.D.,  Widom, J.   A First Course in Database Systems. 2nd ed.,  Prentice Hall, 2002.  
Abiteboul,S., Buneman, D., Siciu, D., Data on the Web: from Relations to Semistructed Data and XML . Morgan Kaufman, 2000  
Skonnard, A. Gudgin, M. Essential XML Quick Reference : a Programmer's  Reference to XML, XPath, XSLT, XML Schema, SOAP, and more.Addison-Wesley, 2002.
Garcia Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice &#150; Hall, 2000  
Ramakrishnan, R., Gehrke, J. Database Management Systems. 3rd ed., McGraw-Hill, 2003.  

-------------------------------------------------------------------------------------------------------

Formal Specifications For Complex Systems

Spivey, J. M. The Z Notation : a Reference Manual. 2nd ed. Prentice-Hall, 1992.
Spivey, J. M.  Understanding Z : a Specification Language and  its Formal  Semantics. Cambridge University Press, 1988.

-------------------------------------------------------------------------------------------------------

Concurrent and Distributed Programming

Tanenbaum,A.S, Steen, M. van. Distributed Systems: Principles and Paradigms. Prentice-Hall, 2002.
Tanenbaum,A.S.   Distributed Operating Systems.  Prentice Hall, 1995.
Lea,D.  Concurrent Programming in Java. Addison-Wesley, 2000.

-------------------------------------------------------------------------------------------------------

Introduction to Artificial Intelligence

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

Pearl,J.   Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley, 1984.  
Steele,G.   Common LISP: the Language. 2nd ed.  Digital Press, 1990.  
Genesereth,M.R. Nilsson,N.J.   Logical Foundations of Artificial Intelligence.  Kaufmann, 1988.  
Graham,P.  ANSI Common LISP.  Prentice-Hall, 1996.  
CD &#150; ROM, Allegro &#150; Cl (LISP)  

-------------------------------------------------------------------------------------------------------

Cryptography and Complexity

Goldreich, O. Foundations of Cryptography : Basic Tools. Cambridge University Press, 2001.
Stinson,D.   Cryptography: Theory and Practice. Chapman & Hall, CRC Press, 2002.
Delfs, H., Knebl, H. Introduction to Cryptography : Principles and Applications. Springer, 2002.

-------------------------------------------------------------------------------------------------------

Database Management Sys. Implementations

Garcia-Molina, H., Ullman, J. D., Widom, J. Database System :The Complete Book. Prentice-Hall, 2001.
Garcia &#150; Molina, H., Ullman, J.D., Widom,J. Database System Implementation. Prentice &#150; Hall, 2000  
Bernstein, P.A., Hadzilakos, V., Goodman, N., Concurrency Control and Recovery in Databases Systems. Addison-Wesley, 1987.
Bernstein, P., Newcomer, E. Principles of Transaction Processing. Morgan Kaufmann, 1997.
Gray,J., Reuter,A.   Transaction Processing: Concepts and Techniques.  Morgan Kaufman, 1993.
Kumar, V., Hsu, M. (editors) Recovery Mechanisms in Database Systems. Prentice-Hall PTR, 1998.      
Ozsu, M. T., Valduriez, P. Principles of Distributed Database Systems. Prentice-Hall, 1999.
Chamberlin, D. A Complete Guide to DB2 Universal Database. Morgan Kaufman, 1998.
Papadimitriou, C.H.  The Theory of Database Concurrency Control. Computer Science Press, 1986.

Oracle Literature  

Oracle7 Server Application Developer's Guide. Oracle Corp., 1992
Oracle7 Server Concepts Manual. Oracle Corp., 1992
Oracle7 Server SQL Language Reference Manual. Oracle Corp., 1992
Pl\Sql User's Guide and Reference. Oracle Corp., 1992
Programmer's Guide to the Oracle Precompilers. Oracle Corp., 1992
Proc Supplement to the Oracle Precompilers Guide. Oracle, 1992
Sqlplus User's Guide and Reference. Version 3.1. Oracle Corp., 1992
Oracle7 Server SQL Language Quick Reference. Oracle Corp., 1992      

-------------------------------------------------------------------------------------------------------

Coding for Storage Systems

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, 1998. Also, in Pless, V. S., Huffman, W. C. (editors) Handbook of Coding Theory, pp.1635-1764. Elsevier, 1998.
Schouhamer Immink,K.A.   Coding Techniques for Digital Recorders.  Prentice Hall, 1991.
Schouhamer Immink,K.A. Codes for Mass Data StorageSystems. Shannon Foundation, 1999.
Pohlmann,K.C.   The Compact Disc Handbook. 2nd ed.  A-R Editions, Inc., 1992.
Pless, V. S., Huffman, W. C. (editors) Handbook of Coding Theory. Elsevier, 1998.

-------------------------------------------------------------------------------------------------------

Algorithms in Computational Biology

Durbin, R. [ et al] Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge University Press, 1998.  

Reference books

Setubal, J., Meidanis, J. Introduction to Computational Molecular Biology. PWS, 1997.  
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. 7th ed., W.H. Freeman, 2000.
Semple, C., Steel, M., Phylogenetics. Oxford University Press, 2003.
Jensen, F.V. An Introduction to Bayesian Networks. Springer, 1996.

-------------------------------------------------------------------------------------------------------

Advanced Topics in Computer Science

Muchnick,S.S. Advanced Compiler Design Implementation . Morgan Kaufmann, 1997.
Briggs, W. L., Henson, V.E., McCormick, S.F. A Multigrid Tutorial. 2nd ed. SIAM, 2000.
Trottenberg, U., Oosterlee, C.W., Schuller, A. Multigrid . Academic Press, 2001.  
Osborne, M. J., Rubinstein, A. A Course in Game Theory. MIT Press, 1994.
Griffiths, A. J. F. [ et. al.] An Introduction to Genetic Analysis. 7th ed. W.H. Freeman, 2000.
Terwilliger, J. D. Ott, J. Handbook of Human Genetic Linkage. Johns Hopkins University Press, 1994.    
Lange, K. Mathematical and Statistical  Methods for Genetic Analysis. Springer, 2002.
Durbin, R. [ et al] Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge University Press, 1998.
Leighton, F.T. Introduction to Parallel Algorithms and Architectures: Arrays,Trees, Hipercubes. Kaufmann, 1992.

-------------------------------------------------------------------------------------------------------

Object Oriented Programming

Stroustrup,B.   The C++ Programming Language. 3rd ed.  Addison-Wesley, 1997.  
Budd,T.   A Little Smalltalk.  Addison-Wesley, 1987.  
Budd,T.   An Introduction to Object-Oriented Programming. 3rd ed.  Addison-Wesley, 2002.  

-------------------------------------------------------------------------------------------------------

Computational Geometry

de Berg, Mct al. Computational Geometry , 2nd ed., Springer, 2000  
O Rourke, J. Computational Geometry in C., 2nd ed., Cambridge University Press, 1998  

-------------------------------------------------------------------------------------------------------

Seminar in Algorithms

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



Seminar in Bioinformatics

Pevzner, P. Computational Molecular Biology : an  Algorithmic Approach. MIT Press, 2000


Seminar in Quantum Information Processing

Gruska, J. Quantum Computing. McGraw-Hill, 1999.
Nielsen,M.H., Chuang,I.L. Quantum Computation and Quantum Information. Cambridge Universuty Press, 2000.
Peres, A. Quantum Theory:Concepts and Methods. Kluwer, 1995
Peres, A. Quantum Theory:Concepts and Methods. Kluwer, 1993



Seminar in Neural Networks

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

-------------------------------------------------------------------------------------------------------

Computer Vision

Rosenfeld, A., Kak, A.C. Digital Picture Processing. 2nd ed., Academic Press, 1982
Horn, B.K.P. Robot Vision. MIT Press. McGraw Hill, 1986

Reference Books

Duda, R.O., Hart, P.E., Stork, D.G. Pattern Classification, 2nd ed., Wiley &#150; Interscience, 2001
Ballard, D., Brown, C.M. Computer Vision. Prentice &#150; Hall, 1982
Pavlidis, T. Algorithms fot Graphics and Image Processing, 1982
Pavlidis, T. Structural Pattern Recognition. Springer, 1977
Haralick, R.M., Shapiro, L.G. Computer and Robot Vision, Addison &#150; Wesley, 1992
Levine, M.D., Vision in Man and Machine, McGraw &#150; Hill, 1985
Nevatia, R. Machine Perception. Prentice &#150; Hall, 1982
Sugihara, K. Machine Interpretaion of Line Drawings. MIT Press, 1986
Wilson, R., Spann, M. Image Segmentation and Uncertainty, Wiley, 1988
Marr, D. Vision, W.H. Freeman, 1982
Serra, J. Image Analysis and Mathematical Morphology. Academic Press, 1984
Brady, M. et al, editors. Computer Vision, North &#150; Holland, 1981
Davies,E.R. Machine Vision: Theory, Algorithms and Practicalities, Academic Press, 1997
Nalwa, V.S. A Guided Tour of Computer Vision, Addison &#150; Wesley, 1993
Sonka, M., Hlavac, V., Boyle, R. Image Processing, Analysis and Machine Vision, 2nd ed., PWS, 1999

-------------------------------------------------------------------------------------------------------

Visual Recognition

Duda, R.O., Hart, P.E., Stork, D.G. Pattern Classification, 2nd ed., Wiley &#150; Interscience, 2001
Cristianini, N., Shawe-Taylor, J. An Introduction to Support &#150;Vector Machine and other Kernel &#150;based Learning Methods. Cambridge University Press, 2000.
Ullman, S. High-level Vision: Object Recognition and Visual Cognition. MIT Press,1996
Forsyth, D.A., Ponce, J. Computer Vision : a Modern Approach. Prentice-Hall, 2003.
Mundy, J.L., Zisserman,S.[editors] Geometric Invariance in Computer Vision. MIT Press,1992.

-------------------------------------------------------------------------------------------------------

Всего сообщений: Нет | Присоединился: Never | Отправлено: 22 апр. 2004 11:44 | IP

Эта тема закрыта, новые ответы не принимаются

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 ]

Форум работает на скрипте © Ikonboard.com