SECTIA INFORMATICA. BIBLIOGRAFIE : Limbaje formale si tehnici de compilare

Transcription

1 SECTIA INFORMATICA ANUL 3 Semestrul 1 BIBLIOGRAFIE : Probabilitati si statistica 1 IV/B-56 L519.2/B-56 BLAGA, PETRU: Calculul probabilităţilor. Culegere de probleme. Cluj-Napoca: Universitatea "Babeş- an IV/B-56-1 L519.2/B C /C D-91a 519/D-91 " Bolyai" Cluj-Napoca, BLAGA, PETRU - RĂDULESCU, MARCEL: Calculul probabilităţilor. Cluj-Napoca: Universitatea "Babeş- Cluj-Napoca, CIUCU, G. - CRAIU, V. - SĂCUIU, I.: Probleme de teoria probabilităţilor. Bucureşti: Editura Tehnică, DUMITRESCU, M. - FLOREA, D.- TUDOR, C.: Probleme de teoria probabilitătilor şi statistică matematică. Buc. Editura Tehnică, FELLER, W.: An introduction to probability theory and its appl., Vol.I-II. New York: John Wiley, an F G GNEDENKO, B.V.: The theory of probability. Moscow: Mir Publishers, an I /I-75 IOSIFESCU, M. - MIHOC, GH. - THEODORESCU, R.: Teoria probabilităţilor şi statistică matematică. Bucuresti: Editura Tehnică, LISEI, HANNELORE: Probability theory. Cluj-Napoca: Casa Cărţii de Ştiinţă, MIHOC, ION: Calculul probabilităţilor şi statistică matematică. P. I-II: scluj-napoca: Universitatea "Babeş L519.2/M-71 Bolyai" Cluj-Napoca, si5261 SHIRYAEV, A.N.: Probability. New York: Springer (2nd ed.), an 1996 BIBLIOGRAFIE : Limbaje formale si tehnici de compilare 1 A-29k-3 A.V. AHO, D.J. ULLMAN - Principles of computer design, Addison-Wesley, an 1977

2 A.V. AHO, D.J. ULLMAN - The theory of parsing, translation and compiling, Prentice-Hall, Engl. Cliffs., 2 A-29k N.J., 1972, nu este D. GRIES - Compiler construction for digital computers,, John Wiley, New York, nu este SIPSER, M., Introduction to the theory of computation, PWS Pulb. Co., G. MOLDOVAN, V. CIOBAN, M. LUPEA - Limbaje formale si automate. Culegere de probleme, Univ. Babes-Bolyai, Cluj-Napoca, 1996.,l CSÖRNYEI ZOLTÁN, Bevezetés a fordítóprogramok elméletébe, I, II., ELTE, Budapest, 1996 an L.D. SERBANATI - Limbaje de programare si compilatoare, Ed. Academiei RSR, nu este CSÖRNYEI ZOLTÁN, Fordítási algoritmusok, Erdélyi Tankönyvtanács, Kolozsvár, DEMETROVICS JÁNOS-DENEV, J.-PAVLOV, R., A számítástudomány matematikai alapjai, Nemzeti an 1994 Tankönyvkiadó, Budapest, BIBLIOGRAFIE :Programare Web 1 LEGAL BCU Anghel T. Dezvoltarea aplicatiilor web folosind XHTML, PHP si MySQL. Ed. Polisom, Iasi, nu este Boian F.M. Programare distribuita in Internet; metode si aplicatii. Ed. Albastra, Microinformatica, Cluj, 2005 Boian F.M. Boian R.F. Tehnologii fundamentale Java pentru aplicatii Web. Ed. Albastra, Microinformatica, 3 nu este Cluj, nu este Buraga S. Tehnologii web. Ed. Matrix Rom, Bucuresti, Buraga S. Proiectarea siturilor web. Ed. Polirom, Iasi, 2002 Castro E. HTML for the World Wide Web with XHTML and CSS., 5'th ed. Ed. Visual QuickStart Guide, 6 nu este nu este Hall M. Brown L. Core web programming. Sec. Ed. Prentice Hall, Negrino T. Smith D. JavaScript for the World Wide Web. Ed. Visual QuickStart Guide, 200 Ed.Corint, Bucuresti, Varlan C. Macromedia FLASH; concepte, exemple, studii de caz. Ed Polirom, Iasi, 2004 adresa * * *

3 Discipline oferite pentru cursurile optionale 2 si 3 Pachetul cu discipline in l. romana : BIBLIOGRAFIE : Sisteme distribuite 1 nu este COULOURIS G., DOLLIMORE J., KINDBERG T., : "Distributed Systems. Concepts and design.", Pearson Education Limited, 2001 F.PAUNESCU, F., D.P. GOLESTEANU: "Sisteme cu prelucrare distribuita si aplicatiile lor.", Ed. Tehnica, Bucuresti, X/M-87-1 MOLDOVAN GR.: "Bazele informaticii II.", Univ."Babes-Bolyai",Cluj-Napoca, revista MOLDOVAN GR., ILIE RAP: "Files d'attente dans des systemes distribuees des services.", Studia univ. "Babes-Bolyai", Math., vol.37, f.3,1992 BIBLIOGRAFIE : Programare distribuita - platforme JAVA ATHANASIU I., Limbajul Java, Editura Computer Libris Agora, Cluj, 1998 BOIAN F.M., FERDEAN C. M., BOIAN R.F. DRAGOS R.C. Programare concurenta pe platforme Unix, /P-94 Windows, Editura Albastra - grupul Microinformatica, Cluj, /B-65 BOIAN F.M., Programare distribuita in Internet; metode si aplicatii, Editura Albastra, Cluj, nu este DARWIN I. Java CookBook, O' Reilly, nu este GEARY D.M. Advanced Java Server Pages, O'Reilly, nu este HUNTER J. Java Servlet Programming O'Reilly, 1998 KURNIAWAN B. Java for the Web with Servlet, JSP, and EJB: A Developer's Guide to J2EE Solutions. 7 nu este Wrox press, nu este NEWARD T. Server Based Java Programming, O'Reilly, adresa ***

4 10 adresa *** BIBLIOGRAFIE : Programare Windows PETZOLD C., Programming Windows '95, Microsoft Press, 1998 Ed. Teora ORDEAN M., Programarea aplicatiilor C sub Windows, Editura Microinformatica, nu este TOTH V., Visual C++ Unleashed, Sams Publishing, nu este GREGORY K., Special Edition Using Visual C++ 6, Pearson, nu este KING A., Inside Windows 95, Microsoft Press, nu este CALVERT C., Teach Yourself Windows Programming in 21 Days, SAMS Publishing, nu este HOULETTE F. et al, Insider's Guide to Windows 95 Programming, Que Corporation, adresa * * *, Documentatii ale sistemelor Microsoft Windows 9x/NT/2000/XP 9 adresa * * *, Documentatii ale produselor Microsoft Visual C++, Borland Delphi 10 adresa * * *, Documentatii ale produselor: gcc, mingw, cygwin BIBLIOGRAFIE : Grafica pe calculator BACIU, R., VOLOVICI, D., Sisteme de prelucrare grafica. Editura Albastra, C-13j-2 BALTAC, V., colectiv, Calculatoarele electronice, grafica interactiva si prelucrarea imaginilor. Editura Tehnica, Bucuresti, DOGARU, D., Metode noi in proiectare. Elemente de grafica 3D. Ed. St.si Enciclopedica, Bucuresti, D FOLEY, J.D., VAN DAM, A., Fundamentals of Interactive Computer Graphics. Addison-Wesley Publishing Comp., PAVLIDIS, T., Algorithms for Graphics and Image Processing. Springer-Verlag, PETCU, D., CUCU, L., Principii ale graficii pe calculator. Editura Excelsior, Timisoara VLADA, M., NISTOR, I., POSEA, A., CONSTANTINESCU, C., Grafica pe calculator in limbajele Pascal

5 si C. Implementare si aplicatii. Vol. I, II. Editura tehnica, Bucuresti, nu este WOLFRAM, S., Mathematica - A System for Doing Mathematics by Computer. Addison-Wesley Publ.Comp., nu este Programarea in DirectX si Open GL - documentatii. BIBLIOGRAFIE : Demonstrare automata si sisteme de rescriere 1 nu este M. BEN-ARI : Mathematical logic for CS, Ed. Springer, nu este M. CLARKE : Logic for CS, ed. Addison Wesley, M. FITTING : First-order logic and Automated Theorems Proving, Ed.Springer Verlag, curs on line L. PAULSON : Logic and Proof, U. Cambridge, 2000, curs on-line. 5 nu este M. RUSINOWITCH : Demonstration Automatique, Ed.Interedition, nu este J. M. SCHUMANN :Automated Theorem Proving,in Software Engineering, Ed. Springer, D. TATAR : Bazele matematice ale calculatoarelor, Reprografia Universitatii "Babes-Bolyai",ed. 1993, ed L004/T L681.3/T /T-26 D. TATAR : Inteligenta artificiala: demonstrare automata de teoreme si NLP, Ed. Albastra, Microinformatica, nu este * * *.Turbo Prolog, vol.1 si 2,Borland, nu este L. WOS: Automated Reasoning, Prentice Hall, BIBLIOGRAFIE : Instrumente CASE 1 nu este 2 nu este J. 3 nu este JACK GREENFIELD - KEITH SHORT - STEVE COOK - STUART KENT: Software Factories: Assembling ISBN: Applications with Patterns, Models, Frameworks, and Tools: Wiley; 1st edition ( 2004) GROSE: Eclipse Modeling Framework: Addison-Wesley Professional; 1st edition ( 2003), TERRY QUATRANI:Visual Modeling with Rational Rose 2000 and UML 2nd Edition: Addison- Wesley

6 Pub Co 1999; ISBN: nu este COLIN ATKINSON: Component-Based Product Line Engineering with UML: Addison-Wesley 2001; 5 nu este DAN CHIOREAN - MARIA BORTES - DYAN CORUTIU - RADU SPARLEANU: UML/OCL Tools- 6 revista adresa Objectives, Requirements, State of the art-the OCLE Experience: Proceedings of the 11'th Nordic Workshop on Programming and Software Development Tools and Techniques NWPER' pag Workshop on Programming and Software Development Tools and Techniques NWPER' pag Turku, Finland, August 17-20, 2004 [ DAN CHIOREAN: Instrumente CASE pentru analiza si proiectare orientata-obiect: PC-REPORT 46, iulie pag , pag DAN CHIOREAN: Tehnologia Programarii Orientate-Obiect - Teza de doctorat: Universitatea "Babes- Bolyai" 1999 PERDITA STEVENS: Advanced Tools for UML: now and in the future - UML 2000 Tutorial: [ [ PERDITA STEVENS: A revolution in UML tool use? Tool adaptation, extension and integration using XMI - UML 2001 Tutorial: [ 9 adresa - UML 2001 Tutorial: [ 10 adresa "Choosing a UML Modeling Tool", [ BIBLIOGRAFIE : Analiza limbajului natural 1 nu este J.ALLEN : "Natural language understanding", Benjamin/Cummings Publ., 2nd ed., nu este B.CARPENTER: "The logic of typed feature structures", Cambridge University Press, nu este B.CARPENTER: "ALE:The attribute logic engine.user's guide". Carnegie Mellon University, nu este D.JURAFSKY, J.MARTIN: "Speech and language processing", Prentice Hall, nu este C.MANNING, H.SCHUTZE: "Foundation of statistical natural language processing", MIT, nu este G.MORILL:"Type LogicalGrammar.Categorial Logic of Signs", Kluwer Academic Publishers, 1994.

7 S.J.RUSSELL, P.NORVIG: "Artificial intelligence.a modern approach", Prentice-Hall International, an 2000, l. magh /T-26 D.TATAR: "Inteligenta artificiala: demonstrare automata de teoreme, prelucrarea limbajului natural", Editura Albastra, Microinformatica, D.TATAR: "Inteligenta artificiala. Aplicatii in prelucrarea limbajului natural", Ed. Albastra, Microinformatica, /T nu este E. CHARNIAK: "Statistical language learning", MIT Press, 1996 BIBLIOGRAFIE :Calcul evolutiv DUMITRESCU,D.,B Lazzerini,Evolutionary Computation, CRC Press, New York, Boca Raton, 2000 DUMITRESCU,D.,B Lazzerini,Fuzzy Sets and treir Application in Training and Clustering, CRC Press, 2 nu este New York, Boca Raton, /D-91-1 DUMITRESCU, D.,Principiile Inteligentei artificiale, Editura Albastra, Cluj,2000. an DUMITRESCU, D.,Principiile teoriei clasificarii, Editura Academiei, Bucuresti,2000. an 1999 DUMITRESCU, D.,Algoritmi genetici si strategii evolutive. Aplicatii in Inteligenta Artificiala, Editura Albastra, /D-91-1 Cluj, L681.3/D-91-1 DUMITRESCU, D., Inteligenta artificiala, Univ. "Babes-Bolyai", nu este GOLDBERG, D. E., Genetic Algorithm. Addison-Wesley, Reading, nu este MICHALEWICZ, Z., Genetic Algorithms + Data Structures = Evolution Programs, Springer, Berlin, 1992 Generarea automata a programelor din algoritmi (fara bibliografie) Pachetul cu discipline in l. maghiara : BIBLIOGRAFIE : Capitole speciale de combinatorica

8 /K-23 KÃSA ZOLTÃN: Combinatorica cu aplicatii, Ed. Presa Universitara Clujeana, T-72si M-493 si 519/T-72 I. TOMESCU: Introducere in combinatorica, Ed. Tehnica, an l. m /C-71 CORMEN-LEISERSON-RIVEST: Algoritmusok, MÅ szaki KÃ nyvkiadã³, Budapest, I an l. r. II kiadã s 1999, III. kiadã s (IN ROMANA:. Cormen-Leiserson-Rivest: Introducere in algoritmi, Ed 6339 l. m. Libris Computer Agora, 2000.IN ENGLEZA: Cormen, T.H., Leiserson, C.E., Rivest, R.R., Stein, C.: 6774 l. m. Introduction to Algorithms, Mit Press-McGraw Hill, Second edition) an 2004(kotet 1+2) LOVASZ LASZLO: Kombinatorikai problemak es feladatok, Typotex Kiado, Budapest, R. L. GRAHAM-D. E. KNUTH-O. PATASHNIK: Konkret matematika, Muszaki Kiado, Budapest, nu este LOTHAIRE, M.: Algebraic combinatorics on words, Cambridge University Press, nu este WILF, H, S.: Geratingfunctionology, Academsi Press, Boston, BIBLIOGRAFIE : Date semitructurate 1 nu este S. ABITEBOUL, R. HULL, V. VIANU: Foundations of Databases, Addison-Wesley Publishing Company, nu este S. ABITEBOUL, P. BUNEMAN, D. SUCIU: Data on the Web, Morgan Kaufmann, San Fracisco, nu este E. BERTINO, L. MARTINO: Object-Oriented Database Systems, Concept and Arhitectures, Addison- Wesley, nu este D. N. CHORAFAS, H. STEINMANN: Object-Oriented Databases, PTR Prentice-Hall, nu este C. J. DATE: Baze de date, Editia a opta, Editura Plus, nu este C. FUNG, K. KARLAPALEM, Q. LI: Complex Object Retrieval via Structural Join Index Hierarchy

9 Mechanisms: Evaluation and Selection Approaches", Proceedings of the Ninth International Conference on Information Knowledge Management CIKM R. RAMAKRISHNAN: Database Management Systems, WCB McGraw-Hill, Boston, an nu este M. STONEBRAKER: Object-Relational DBMSs, Morgan Kaufmann Publishers, San Fransisco, nu este J. D. ULLMAN, J. WIDOM: A First Course in Database Systems, Prentice Hall Upper Saddle River, New Jersey, BIBLIOGRAFIE : Analiza si complexitatea algoritmilor CORMEN, T. - LEISERSON, CH. - RIVEST, R. - STEIN, C. : Uj algoritmusok, Scolar Kiadó, Budapest, /C-71 CORMEN, T. - LEISERSON, CH. - RIVEST, R. : Introducere in algoritmi, Editura Computer Libris Agora, Cluj-Napoca, nu este BRASSARD, G. - BRATLEY, P. : Algorithmics: Theory and Practice, Prentice Hall, nu este BRASSARD, G. - BRATLEY, P. : Fundamentals of Algorithmics, Prentice Hall, nu este HOROWITZ, E. - SAHNI, S. : Fundamentals of Computer Algorithms, Computer Science Press, nu este HOROWITZ, E. - SAHNI, S. - RAJASEKARAN, S. : Computer Algorithms, Computer Science Press, KNUTH, D. : Arta programäƒrii calculatoarelor, vol. III, Sortare ÅŸi Căutare, Editura Teora, Bucuresti, RONYAI, L. - IVANYOS, G. - SZABO, R. : Algoritmusok, Typotex, Budapest, STORER, J.A. : An Introduction to Data Structures and Algorithms, Birkhauser Springer 2002

10 WIRTH, N. : Algorithms + Data Structures = Programs, Prentice Hall, Retele neuronale si aplicatii (fara bibliografie) Geometrie fractala (fara bibliografie) BIBLIOGRAFIE : Criptografie A. SALOMAO : Criptografie cu chei publice, Ed. Militara, Bucuresti /C-71 T. CORMEN, C. LEISERSON, R. RIVEST: Introducere in algoritmi. Computer Press Agora, Cluj Napoca N. KOBLITZ : A Course in Number Theory and Cryptography, Springer-Verlag, Berlin nu este R.LIDL, G. PILZ : Applied Abstract Algebra, Springer-Verlag, Berlin V.V. PATRICIU: Criptografie si securitatea retelelor de calculatoare. Ed. Tehnica, Bucuresti nu este W. STALLINGS: Cryptography and Network Security, second ed., Prentice-Hall, 1999 Pachetul cu discipline in l. engleza : BIBLIOGRAFIE : Programare Windows PETZOLD C., Programming Windows '95, Microsoft Press, 1998 Ed. Teora ORDEAN M., Programarea aplicatiilor C sub Windows, Editura Microinformatica, nu este TOTH V., Visual C++ Unleashed, Sams Publishing, nu este GREGORY K., Special Edition Using Visual C++ 6, Pearson, nu este KING A., Inside Windows 95, Microsoft Press, nu este CALVERT C., Teach Yourself Windows Programming in 21 Days, SAMS Publishing, nu este HOULETTE F. et al, Insider's Guide to Windows 95 Programming, Que Corporation, adresa * * *, Documentatii ale sistemelor Microsoft Windows 9x/NT/2000/XP 9 adresa * * *, Documentatii ale produselor Microsoft Visual C++, Borland Delphi 10 adresa * * *, Documentatii ale produselor: gcc, mingw, cygwin

11 BIBLIOGRAFIE : Metode de dezvoltare a programelor paralele si4970 L681.3/C-42-1 CHIOREAN, IOANA: Calcul Paralel - Fundamente, Ed. Microinformatica, an 1993 si nu este FOSTER, IAN: Designing and Building Parallel Programs, Addison-Wesley LOYENS, L.D.: A Design Method for Parallel Programs, PhD. Thesis, University of Eindhoven, revista MISRA, J.: PowerList: A structure for parallel recursion. ACM Transactions on Programming Languages and Systems, 16(6): , November NICULESCU, V.: Modele de elaborare a algoritmilor paraleli, PhD. Thesis, Univ. Babes-Bolyai, nu este PETCU, D.: Procesare paralela, Editura Eubeea, 2001, Colectia Informatica, Timisoara, 414 p. 7 nu este SKILLICORN, D.: Foundations of Parallel Programming, Cambridge International Series on Parallel Computations, SKILLICORN,D.B. - TALIA, D.: Models and Languages for Parallel Computation. ACM Computer Surveys, 8 revista 30(2) pg , June adresa The Message Passing Interface (MPI) standard, [ adresa The Java Tutorial. [ BIBLIOGRAFIE :Baze de date distribuite 1 nu este S. Abiteboul, R. Hull, V. Vianu: Foundations of Databases, Addison-Wesley Publishing Company, D-20-b Date, C.J., An Introduction to Database Systems, Addison-Wesley Publishing Company, an nu este Helman. P., The Science of Database Management, IRWIN, Ullman, J.D., Principles of Database and Knowledge-base Systems, Computer Science Press, vol.i, 1988, vol.ii, nu este Ozsu, H.T., Valduriez,P., Principles of Distributed Database Systems, Prentice Hall, 1991.

12 R. Ramakrishnan: Database Management Systems, WCB McGraw-Hill, Boston, BIBLIOGRAFIE :Data mining 1 nu este David Hand, Heikki Mannila, Padhraic Smyth, Principles of Data Mining, MIT Press nu este 3 nu este Olivia Parr Rud, Data Mining Cookbook. Modeling Data for Marketing, Risk, and Customer Relationship Management, John Wiley & Sons Humphries Hawkins Dy, Data Warehousing Architecture and Implementation, Prentice Hall PTR nu este Tom Soukup and Ian Davidson, Visual Data Mining: Techniques and Tools for Data Visualization and 5 nu este Logici pentru inteligenta artificiala (fara bibliografie) Mining, Wiley & Sons Kimball, R. and M. Ross, The Data Warehouse Tool Kit, Second Edition. New York: John Wiley & Sons 2002.