Aller à l'accueil
Aller au menu
Aller au contenu
Pied de page
Imprimer la page

Jubil - Portail documentaire de l'UPMC

Accueil>Recherche dans nos ressources - Recherche simple>Liste des résultats>Notice

Résultats de votre recherche 

Bibliographie pour les UE rattachées au Master Informatique (2006-2007)

Les titres suivants sont tirés des pages de présentation des cursus de Master Informatique.

Pour naviguer dans cette page de façon pratique, nous vous suggérons d’utiliser la fonction « Rechercher dans la page » de votre navigateur (raccourci clavier Ctrl+F).

UE: Algorithmique avancée

  • Cormen, Leiserson, Rivest, Stein. Introduction aux algorithmes. Seconde édition, Dunod, 2002

UE: Architecture des systèmes intégrés

  • David Patterson & John Hennessy Architecture des Ordinateurs : Une approche quantitative

UE: Architecture des réseaux

  • Computer Networking, 3nd edition, de James F. KUROSE et Keith W. ROSS (chez Longman Paul)

  • Computer Networks, 4th edition, de Andrew S. TANENBAUM (chez Prentice Hall)

  • Internetworking with TCP/IP, 4th edition, de Douglas COMER (chez Prentice Hall)

  • High Speed Networks and Internets, 2nd edition, de William STALLINGS (chez Prentice Hall)

UE: Bases de données et web

  • G. Gardarin : Bases de données- objet et relationnel, Eyrolles, 1999

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

  • R. Ramakrishnan : Database Management Systems, Mc-Graw Hill, 1997.

UE: Ingénierie du logiciel

  • Sommerville, I. Software Engineering, 6th ed. Reading Massachusetts: Addison-Wesley, 2001

  • Fowler,M., Scott, K. : UML, Campus Press, 2001

  • Brooks, F.P., Le Mythe du mois-homme, Essai sur le Génie Logiciel, International Thomson Publishing France, 1996

  • Larman, C.: UML et les Design Patterns, Campus Press, 2002

UE: Implantation de langages de programmation

  • Lisp in Small Pieces, Christian Queinnec, Cambridge University Press, 1996.

  • Modern Compiler implementation in Java. Andrew W. Appel, Cambridge University Press, 1997

UE: Architecture avancée des noyaux des systèmes d'exploitation

  • Unix Internals : The new fontiers U. Vahalia Prentice Hall

  • Le noyau linux D. P. Bovet, M. Casata, J. Cornavi Oreilly

  • Conception du système Unix M. J. Bach

  • Conception et implementation du système 4.4 BSB S. J. Leffler et al.

UE: C et interfaces de système d'exploitation portable (POSIX)

  • POSIX.4. Bill Gallmeister. O'Reilly, 1995.

  • Programmer avec les outils GNU. Mike Loukdikes, Andy Oram. O'Reilly, 1997.

  • Unix : Programmation et communication. Jean-Marie Rifflet, Jean-Baptiste Yunès. Dunod, 2003.

  • POSIX Programmer's Guide. Donal Lewine. O'Reilly, 1994.

UE: Architecture des clients internet

  • DNS & BIND Paul Albitz & Cricket Liu O'Rellly May 2006

  • Ajax Design Patterns Michael Mahemoff O'Reilly June 2006

  • The X-window System Scheifler & Gettys Digital Press 1997

  • Tous les RFC concernant les services WEB

UE: Algorithmique répartie

UE: Bases de données réparties

  • M.T.Öszu, P. Valduriez : Principles of Distributed Database Systems, 2nd edition, Prentice Hall, 1999.

  • R. Ramakrishnan: Database Management Systems, Mc-Graw Hill, 1997

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

UE: Internet de nouvelle génération

  • "Computer Networking a Top Down Approach Featuring the Internet" - third edition - Kurose , Ross

UE: Modélisation et évaluation des performances

  • BAYNAT B., Théorie des files d'attente, des chaînes de Markov aux réseaux à forme produit, Hermes science publications, Paris , 2000.

  • KLEINROCK L., Queueing Systems, Volume 1: Theory, John Wiley, New York, London, Sydney, Toronto, 1975.

  • ROSS S.M., Introduction to Probability Models, 5th edition, Academic Press, New York, 1993.

UE: Systèmes répartis et client/serveur

  • J.-M. Geib, C. Gransard, P. Merle. CORBA: des concepts à la pratique. 2ème édition. Dunod 1999.

  • R. Orfali, D. Harkey, J. Edwards. The Essential Client/Server Survival Guide. Wiley 1996.

  • B. Meyer. Object-Oriented Software Construction. Prentice Hall 1997.

  • A. Tanenbaum. Distributed Operating Systems. Prentice-Hall 1995.

  • MASTER 2

UE: Administration et architectures systèmes

  • UNIX System Administration Handbook Evi Nemeth, Garth Snyder, Scott Seebass, Trent R. Hein Prentice Hall PTR; 3rd edition (August 2001)

  • TCP/IP Network Administration (3rd Edition; O'Reilly Networking) Craig Hunt O'Reilly & Associates; 3rd edition (April 2002)

  • Unix Network Programming, Vol. 1: The Sockets Networking API W. Richard Stevens, Bill Fenner, Andrew M. Rudoff Addison-Wesley Pub Co; 3rd edition (October 22, 2003)

  • Unix administration : Systèmes et réseaux Jean-Michel Moreno Dunod - 01 informatique (15 mai 2003)

UE: Administration des bases de données réparties

  • D. Shasha, P. Bonnet. Database Tuning: Principles, Experiments and Troubleshooting Techniques. Morgan Kaufmann, 2003.

UE: Acoustique musicale

  • N.H. Fletcher, T.D. Rossing : The physics of musical instruments, Springer-Verlag, 1991.

  • A. Hirschberg, J. Kergomard, G. Weinreich Eds. : Mechanics of musical instruments,Springer-Verlag, 1995

  • M.F.E. Barron : Auditorium acoustics and architectural design, E&FN Spon, 1993

  • B.J.C. Moore : An introduction to the psychology of hearing, 5th Edition, Academic Press, 2003

UE: Algorithmique répartie avancée

  • Distributed Algorithms, Nancy Lynch, Morgan Kaufmann PUblishers, 1996

  • Introduction to Distributed Algorithms, Gerard Tel, Cambridge University Press, 2000

  • Couloris, G., Dollimore, J., Kindberg, T, Distributed Systems Concepts and Design (Third Edition). Addison-Wesley, 2001.

UE: Outils de bases de données pour l'intelligence artificielle

  • S. Abiteboul, P. Buneman, D. Suciu : Data on teh Web : From relations to Semi-structured Data and XML, Morgan Kaufmann, 1999.

  • A. Doucet, G. Jomier : Bases de données et internet : modèles, langages, système, Traité IC2, Hermès, 2001.

UE: Bases de données réparties avancées

  • S. Abiteboul, D. Suciu, P. Buneman, "Data on the Web : From Relations to Semistructured Data and XML", ed. Morgan Kaufmann

  • A.B. Chaudhri, A. Rashid, R. Zicari, "XML Data Management: Native XML and XML-Enabled Database Systems", ed. Addison-Wesley

  • A. Oram, "Peer-to-Peer : Harnessing the Power of Disruptive Technologies", ed. O'Reilly & Associates

UE: Conception d’applications réparties

  • "MDA en action", Eyrolles 2005, Xavier Blanc

UE: Applications de l'acoustique, du traitement du signal et de l'informatique à la création musicale contemporaine

  • Computer Music Journal notamment le vol. 26, 4: Langauage Inventors on the Future of Music Sofware.

  • Jot, J.-M., Larcher, V., Pernaux, J.M. (1999). "A comparative study of 3D audio encoding and rendering techniques". 16th AES Conference.

  • Truchet, C. Contraintes, recherche locale et composition assistée par ordinateur. IRCAM

UE: Fondement des systèmes embarqués temps-réel

  • I. Demeure and C. Bonnet. Introduction aux systèmes temps réel. Collection pédagogique de télécommunications, Hermès, Septembre 1999.

  • A. Burns and A. Wellings. Real-time Systems and Programming Languages. Addison Wesley, 1997.

  • B. O. Gallmeister. POSIX 4 : Programming for the Real World . O'Reilly and Associates, January 1995.

  • F. Cottet, J. Delacroix, C. Kaiser and Z. Mammeri. Scheduling in Real time Systems. Hermès, 2000.

UE: Langages synchrones

  • N. Halbwachs, Synchronous programming of reactive systems. Kluwer Academic Pub. 1993.

  • Stephen A. Edwards. Languages for Digital Embedded Systems. Kluwer. 2000.

  • Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The Synchronous Languages 12 Years Later. Proceedings of the IEEE 91(1):64-83, January 2003

UE: Middlewares orientés composants

  • Java Web Services. D. Chappell, T. Jewell. O'Reilly 2002.

  • Mastering Enterprise JavaBeans. E. Roman, S. Ambler, T. Jewell. 2nd edition. Wiley 2002.

UE: Multimédia et qualité de service

  • . Rosenberg, H. Schulzrinne. "Timer Reconsideration for Enhanced RTP Scalability". In Proc. Infocom. 1998.

  • J. Padhye, V. Firoiu, D. Towsley, J. Kurose. "Modeling TCP Throughput: A Simple Model and its Empirical Validation". In Proc. Sigcomm. 1998.

  • S. B. Moon, J. Kurose, D. Towsley. "Packet Audio Playout Delay Adjustment: Performance Bounds and Algorithms". Multimedia Systems, Volume 6, Issue 1. Janvier 1998.

  • W. Jiang, H. Schulzrinne. "Perceived Quality of Packet Audio under Bursty Losses". In Proc. IEEE Infocom, 2002.

UE: Musique et science au XXème siècle

  • Chadabe, Joel, Electric Sound, Prentice Hall, 1998

  • Mâche, François-Bernard, Musique, mythe, nature ou les dauphons d'Arion, Klincksieck, 1983

  • Deliège, Célestin, Cinquante ans de modernité musicale, de Darmstadt à l'IRCAM, contribution historiographique à une musicologie critique, Mardaga, Liège, 2003

  • Xénakis, Iannis, Formalized Music, Bloomington University Press, 1992

UE: Programmation parallèle avancée

  • Algorithmique parallèle : Cours et exercices corrigés, A. Legrand, Y. Robert, 2e et 3e cycle, ecole d'ingénieurs, Dunod

UE: Paradigmes de programmation en informatique musicale

  • Informatique musicale. François Pachet et Jean-Pierre Briot. Ed. Hermes, Paris 2004.

  • The Computer Music Tutorial. Curtis Roads. MIT Press, Massachusetts, 1996.

  • Computer Assisted Composition at Ircam : PatchWork & OpenMusic. Gérard Assayag, Camilo Rueda , Mikael Laurson, Carlos Agon, O. Delerue. Computer Music Journal 23:3, Massachusetts ,1999.

  • Handbook of Logic in Computer Science. S. Abramsky, Dob Gabbay and T.S.E Maibaum. Claderon press Oxford, 1992.

UE: Plates-formes pour les systèmes informatiques avancés

  • Les references bibliographiques les plus actuelles sont sur les sites web des differents projets indiques ci-dessus.

UE: Routage et routeurs

  • Andrew Tanenbaum, "Réseaux", Pearson Education.

  • Larry Peterson and Bruce Dave, "Computer Networks: A system approach", Morgan Kaufmann.

  • Christian Huitema, "Routing in the Internet", Prentice Hall.

  • Douglas Comer, "Internetworking with TCP/IP: Principles, protocols, and architectures", Prentice Hall.

UE: Sécurité des systèmes informatiques

  • Kaeo, Merike Cisco Press core series CampusPress (3 juillet 2000)

  • Linux Firewalls (2nd Edition) Robert Ziegler New Riders

  • Practical Unix & Internet Security, 3rd Edition Gene Spafford, Simson Garfinkel, Alan Schwartz O'Reilly & Associates; 3rd edition (February 21, 2003)

  • Hacker Proof Kris Jamsa Delmar Publishers; 2 edition (February 1, 2002)

UE: Science et technologies de l'information musicale

  • Machine Musicianship. Robert Rowe. MIT Press, 2001.

  • Recherches et applications en informatique Musicale, M. Chemillier et F. Pachet Ed. Hermes, paris, 1998.

  • Experiments in Musical Intelligence. David Cope. Madison, WI; A-R Editions, 1996.

  • Systèmes Musicaux Interactifs. Robert Rowe. Intl. Thomson Publishing, France, 1996.

UE: Traitement du signal audio-numérique

  • Blanchet & Charbit 2001, «Signaux et Images sous Matlab». Hermes Sciences.

  • Hayes 96, «Statistical Digital Signal Processing», John Wiley

  • Kahrs1998, «applications of digital signal processing to audio and acoustics», Kluwer Academic Publishers.

  • Hartmann96, «signal, sound and sensation», Springer-verlag

UE: Traitement du signal musical

  • Roads C., 1996, "L'audionumérique", dunod (grand public avec notion de math rudimentaires)

  • Kahrs M., 1998, "Applications of digital signal processing to audio and acoustics", Kluwer Academic Publishers.

  • Hartmann W., 1996, "Signal, sound and sensation", Springer-verlag

UE: Techniques de simulation et de preuve formelle

  • Graph-based algorithms for boolean function manipulation". R.Bryant, ieee transaction on Computers, 1986.

  • "Vérification de logiciel : techniques et outils du Model-Checking", P. Schnoebelen et al. Vuibert 1999.

UE: Vérification formelle de systèmes répartis

  • Petri Nets for Systems Engineering : A guide to Modeling, Verification and Applications, Claude Girault and Rüdiger Valk, Springer

  • Les réseaux de Petri, modèles fondamentaux, Michel Diaz, Hermès

  • Vérification de logiciels : techniques et outils du model-checking, Philippe Schnoebelen, Vuibert

  • Vérification et mise en oeuvre de réseaux de Petri, Michel Diaz, Hermès

UE: Auto-oscillations: de la physique à la synthèse numérique

  • A.HIRSCHBERG, J.KERGOMARD, G.WEINREICH. Mechanics of musical instruments (Lecture notes of CISM, Springer), 1996,

  • N. FLETCHER, T. ROSSING, The Physics of musical instruments, Springer 1991

  • L. CREMER, The physics of violin, MIT Press, Cambridge, 1985

  • A.H. BENADE, Fundamentals of musical acoustics, Oxford University Press, 1976

UE: Création du son et composition musicale à l'aide des modèles physiques

UE: Descripteurs audio et indexation: panorama des évolutions et méthodes

  • Byrd D., 2002, "Problems of music information retrieval in the real world", Information , Processing and Management: an International Journal, Volume 38 , Issue 2 (March 2002) Pages: 249 - 272

  • Tzanetakis G., 2002, "Musical Genre Classification of Audio Signals", IEEE Transactions on Speech and Audio Processing, 10(5), July 2002

  • Herrera P., 2000, "Towards instrument segmentation for music content description: a critical review of instrument classification techniques", ISMIR, 2000.

  • Scheirer E., 1998, "Tempo and Beat Analysis of Acoustic Musical Signals", Journal of the Acoustical Society of America (1998), Vol. 103, No. 1, pp. 588-601. 50

UE: Espaces acoustiques naturels et virtuels

  • J. Blauert : Spatial hearing, The MIT Press, 1999

  • V. Larcher : Techniques de spatialisation des sons pour la réalité virtuelle, thèse de doctorat, université Paris 6, 2001

  • C. Guastavino : Etude sémantique et acoustique de la perception des basses fréquences dans l'environnement sonore urbain, thèse de doctorat, université Paris 6, 2003

UE: Elaboration et transformations de sons

  • Roads C., 1996, "L'audionumérique", dunod

  • Kahrs M., 1998, "Applications of digital signal processing to audio and acoustics", Kluwer Academic Publishers

UE: Groupe de recherche applications réparties

  • Michel Diaz, Les réseaux de Petri: Modèles Fondamentaux, Traité IC2 - Série Informatique et systèmes d'information Edition Hermes - 2001

  • Ph. Schnoebelen, B. Bérard, M. Bidoit, F. Laroussinie, and A. Petit. Vérification de logiciels : Techniques et outils du model-checking. Vuibert, 1999.

  • F. Kordon, M. Lemoine, Formal Methods for Embedded Distributed Systems: how to master the complexity, Kluwer Academic Publisher, 2004

  • OMG, MDA Guide Version 1.0.1, Document Number: omg/2003-06-01

UE: Groupe de recherche embarqué et temps-réel

  • Real-Time Systems, Design Principles for Distributed Embedded Application, H. Kopetz, Kluwer Academic Publishers, 1998

  • J2ME, applications Java pour terminaux mobiles, Bruno Delb, Eyrolles, 2002

  • Actes de ETR2003, ÉCOLE D'ÉTÉ TEMPS RÉEL 2003, Toulouse, 9-12 Septembre 2003

UE: Groupe de recherche systèmes informatiques

  • Distributed Systems : Principles and Paradigms. Andrew Tanenbaum , Maarten van Steen. Prentice Hall, 2003.

  • Journaux (JACM, Computing Surveys, TOPLAS, SP&E, JPDC...).

  • Conférences (SOSP, ASPLOS, OSDI, PODC, USENIX...).

UE: Informatique musicale temps-réel et distribuée

  • The Computer Music Tutorial, par C. Roads, MIT Press, 1996 (traduit sous le titre "L'Audionumérique", par C. Roads, J. de Reydellet, Dunod)

  • Digital Sound Processing for Music and Multimedia (Music Technology), par A. Hunt, R. Kirk, Focal Press, 1999)

  • Gestion des données multimédias (Traité IC2 série Informatique et systèmesd'information), par A. Mostefaoui, F. Préteux, V. Lecuire, J.-M. Moureaux, Hermes, 2004

  • Real-Time Systems, Design Principles for Distributed Embedded Application, par H. Kopetz, Kluwer Academic Publishers, 1998

UE: Modèles mathématiques pour l'informatique musicale

  • Andreatta, Moreno, Méthodes algébriques en musique et musicologie du XXe siècle : aspects théoriques, analytiques et compositionnels, thèse de doctorat. IRCAM

  • ASSAYAG G., CAFAGNA V., CHEMILLIER M. (eds.), Formal systems and music, special issue of Soft Computing, octobre 2004.

  • LOTHAIRE M., Combinatorics on Words, Addison-Wesley, Reading, MA, 1983.

  • BENT I., L'analyse Musicale, Editions main d'oeuvre, 1998.

UE: Perception et cognition musicale

  • McAdams, S. et Bigand. E. (1994) Penser les sons. Presses Universitaires de France.

  • Deutch, D. (1998) The psychology of music, 2nd edition. Academic Press.

  • Hartmann, W.M. (1996) Signal, Sound, and Sensation. Springer Verlag.

  • Moore, B.C.J. (2003) An introduction to the psychology of Hearing, 5th edition. Academic press

UE: Logique pour l'intelligence artificielle, les bases de données et la recherche opérationnelle

  • Systèmes formels, Introduction à la logique et à la théorie des langages, Benzaken, Masson , 1991.

  • Outils logiques pour l'intelligence artificielle , J-P Delahaye, Eyrolles, 1986.

  • The Art of Prolog, Shapiro & Sterling, MIT Press, 1986.

UE: Modélisation par les graphes

  • M. Gondran et M. Minoux Graphes et algorithmes Eyrolles 1995

UE: Optimisation continue et applications industrielles

  • M. Minoux Programmation Mathématique vol 1, Dunod Paris

UE: Outils de bases de données pour l'intelligence artificielle

  • S. Abiteboul, P. Buneman, D. Suciu : Data on teh Web : From relations to Semi-structured Data and XML, Morgan Kaufmann, 1999.

  • A. Doucet, G. Jomier : Bases de données et internet : modèles, langages, système, Traité IC2, Hermès, 2001.

UE: Ingénierie des connaissances

  • HATON J.P. & al. - Le raisonnement en Intelligence Artificielle : modèles, techniques et architectures pour les systèmes à base de connaissances.- InterEditions, Paris, 1991, 480p.

  • LAURIERE J.L. - Représentations de connaissances.-Eyrolles, 1988.

  • RUSSELL S.J., NORVIG P. - Artificial Intelligence, A Modern Approach. Prentice Hall, 1995.

  • TISSEAU G. - Intelligence artificielle, Problèmes et méthodes, PUF, 1996.

UE: Logiques classiques, non classiques et programmation logique

  • THAYSE & Co, Approche logique de l'Intelligence Artificielle, Volumes 1-3, Dunod, 1989-90.

  • LASSAIGNE R. & de ROUGEMONT M., Logique et fondements de l'informatique, Hermès, 1993.

  • GREGOIRE E., Logiques non monotones et intelligence artificielle, Hermès, 1990.

  • STERLING L., SHAPIRO E. -The Art of Prolog. Advanced Programming Techniques - MIT Press, 1994 (2nde édition).

UE: Résolution de problèmes et programmation par contraintes

  • D. Corne, M. Dorigo, & F. Glover, Eds., New Ideas in Optimization, McGraw-Hill, 1999.

  • J. Dréo, A. Pétrowski, P. Siarry& É. Taillard, Métaheuristiques pour l'optimisation difficile, Recuit simulé, recherche avec tabous, algorithmes évolutionnaires et algorithmes génétiques, colonies de fourmis..., Eyrolles, Paris, 2003.

  • R. Bartàk, On-line Guide to Contraint Programming, Prague, 1998,

  • K. Marriot & P. J. Stuckey, Programming with constraint: an Introduction, MIT Press, 1998.

UE: Ingénierie multimédia et web

  • L'intro : Pages Web dynamiques avec ASP3, PHP4 et SQL, Jean-Marc Herellier & Philippe Mérigot, Campus Press

  • WebMaster in a nutshell, Manuel de référence, Stephen Spainhour & Valerie Quercia, Edition française, Editions O'Reilly

  • Programmation Web avec PHP, Solutions développeurs, L. Lacroix – N. Leprince – C. Boggero – C. Lauer, Editions Eyrolles

  • L'intro : CGI , Rafe Colburn, Campus Press

UE: Apprentissage symbolique

  • Cornuéjols A. & Miclet L. : Apprentissage artificiel : Concept et algorithmes. Eyrolles, 2002

  • Michalski, R.S., Carbonell, J.G., Mitchell T.M.(Eds.), Machine Learning : An Artificial Intelligence Approach, Volume I et II, Morgan Kaufmann 1983 et 1986.

  • Mitchell T. : Machine Learning. McGraw Hill, 1997

  • Natarajan B, Machine Learning: a Theoretical Approach, Morgan Kaufmann Publishers, 1991

UE: Traitement et reconnaissance d'images

  • "Le traitement des images", édité par H. Maître, Hermès, Paris, 2003.

  • "Diagnostic et reconnaissance des formes", B. Dubuisson}, Hermès, Paris, 1990.

UE: Analyse d'images et vision

  • "Le traitement des images", édité par H. Maître, Hermès, Paris, 2003.

  • "Fusion d'informations en traitement du signal et des images", édité par I. Bloch, Hermès, Paris, 2003.

UE: Analyse des programmes et sémantique

  • Thérèse Hardin, Véronique Donzeau-Gouge. Concepts et outils de programmation. InterEditions.

  • Pour aller plus loin et se familiariser avec la terminologie anglaise : G. Winskel. The formal Semantics of Programming Languages, An introduction. MIT Press.

  • Pour aller plus loin : Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction - Wiley Professional Computing, (240 pages, ISBN 0 471 92980 8), Wiley, 1992.

UE: Analyse d'algorithmes

  • "Introduction à l'analyse des algorithmes" par Ph. Flajolet et R. Sedgewick, International Thomson Publishing, Paris 1996 (existe aussi en anglais)

  • "Generatingfunctionology" par Herbert WILF

UE: Calcul formel et cryptologie

  • W.S Pless and W.C. Hu man. Handbook of Coding Theory. Vol. 1 and 2. Elsevier, 1998.

  • T. Becker and V. Weispfenning. Gröbner bases. Springer-Verlag, NewYork-Berlin-Heidelberg, 1993.

  • F.J. Mac Williams and N.J.A. Sloane The Theory of Error Correcting Codes. North-Holland

  • D. Cox, J. Little, and D. O'Shea. Ideals, Varieties, and Algorithms. Undergraduate Texts in Mathematics. Springer-Verlag, 1996. second edition.

UE: Conception des langages

  • Denotational Semantics, a methodology for language development, David A Schmidt, Allyn and Bacon. 1986.

UE: Interprétation abstraite

  • F. Nielson, H.R. Nielson et C. Hankin Principles of Program Analysis

  • Des transparents et des références de sites web présentant les concepts introduits seront donnés.

UE: Langages synchrones

  • N. Halbwachs, Synchronous programming of reactive systems. Kluwer Academic Pub. 1993.

  • Stephen A. Edwards. Languages for Digital Embedded Systems. Kluwer. 2000.

  • Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The Synchronous Languages 12 Years Later. Proceedings of the IEEE 91(1):64-83, January 2003.

UE: Méthodes de résolution des grands systèmes linéaires

  • Youssef SAAD, Iterative Methods for Sparse Linear Systems, SIAM (2003) ISBN 0-89871-534-2.

  • Claude BREZINSKI Projection Methods for Systems of Equations, North-Holland, Amsterdam, 1997.

  • Henk A. Van der Vorst, Iterative Krylov methods for large linear systems, Cambridge University Press, Cambridge, 2003.

UE: Sémantique de la concurrence et de la mobilité

  • John Hopcroft and Jeffrey. Ullman. An Introduction to Antomata Theory, Languages and Computation. Addison Wesley, 1979.

  • Robin Milner. Communicating and Mobile Systems: the pi-calculs. Cambridge University Press, 1999.

  • G. Winskel. The formal Semantics of Programming Languages, An introduction. MIT Press.

UE: Validation des logiciels numériques

  • Jean-Michel MULLER, Marc DAUMAS et al. Précision des Calculs sur Ordinateur, Masson, 1997, 165 pages.

  • Nicolas J. HIGHAM, Accuracy and stability of numerical algorithms, Philadelphia, SIAM, 2002.

  • Françoise CHAITIN-CHATELIN et Valérie FRAYSSE, Lectures on finite precision computations, Philadelphia, SIAM, 1996.

UE: Réseaux de télécommunications

  • Cours Réseaux et Telecom, Guy Pujolle, Eyrolles

UE: Internet mobile et ambiant

  • "Mobile Communications" 2nd Edition Jochen Schiller Addison-Wesley

  • "Mobile IP: Design Principles and Practices" Charles E. Perkins, Prentice Hall PTR

  • "Réseaux de mobiles et réseaux sans fil" De Khaldoun Al Agha, Guy Pujolle et Guillaume Vivier, Eyrolles

UE: Modélisation et évaluation des performances

  • BAYNAT B., Théorie des files d'attente, des chaînes de Markov aux réseaux à forme produit, Hermes science publications, Paris , 2000.

  • KLEINROCK L., Queueing Systems, Volume 1: Theory, John Wiley, New York, London, Sydney, Toronto, 1975.

  • ROSS S.M., Introduction to Probability Models, 5th edition, Academic Press, New York, 1993.

UE: Communications numériques pour les réseaux sans fil

  • J. Proakis, Digital communications, McGraw-Hill, 2001.

  • A. Glavieux, M. Joindot, Communications numériques, Masson, 1996.

  • J-C. Bic, D. Duponteil, J.C. Imbeaux, Éléments de communications numériques, Dunod, 1986.

  • S. Lin, D. Costello, Error control coding: fundamentals and applications, Prentice-Hall 1983.

UE: Conduite de projet

  • Le management par projet, 2ème édition. S. Raynal. Les éditions d'organisation. 08/2000.

  • Le management de projet, principes et pratiques, 2ème édition. AFNOR, AFITEP. 08/1998.

  • Diriger un projet informatique, les secrets des consultants, 4ème édition. J. Claviez. Editions JCI. 02/2002.

  • Techniques de planification de projets, 3ème édition. G. Vallet. Dunod. 08/2003.

UE: Simulation de réseaux

  • Simulations de réseaux, M. Becker et A.-L. Beylot eds., Hermès (à paraître)

UE: Management des systèmes d'information

  • Le système d'information de l'entreprise : analyse théorique des flux d'information et cas pratiques, 4ème édition. H. Angot. Masson. 01/2002.

  • Système d'information : management et acteurs. J de Graeve et J. Potier. Editions Sapienta. 2001.

  • Who says elephants can't dance? L.V. Gerstner. Harper Collins. 08/2003

  • Good to great: why some companies make the leap... and others don't. J.C. Collins. Random House Business Books. 10/2001.

UE: Mise en oeuvre du transport de la voix sous IP

  • IP Telephony - Packet Based Multimedia. O. Hersant. Prentice Hall

  • Voice Over IP. U. Black. Prentice Hall

  • Mobile IP - The Internet Unplugged. J.D. Solomon. Prentice Hall

  • IP Routing in Cisco Networks. T. Slattery. Mc Graw Hill.

UE: Multimédia et qualité de service

  • J. Rosenberg, H. Schulzrinne. "Timer Reconsideration for Enhanced RTP Scalability". In Proc. Infocom. 1998.

  • J. Padhye, V. Firoiu, D. Towsley, J. Kurose. "Modeling TCP Throughput: A Simple Model and its Empirical Validation". In Proc. Sigcomm. 1998.

  • S. B. Moon, J. Kurose, D. Towsley. "Packet Audio Playout Delay Adjustment: Performance Bounds and Algorithms". Multimedia Systems, Volume 6, Issue 1. Janvier 1998.

  • W. Jiang, H. Schulzrinne. "Perceived Quality of Packet Audio under Bursty Losses". In Proc. IEEE Infocom, 2002.

UE: Sécurité dans les réseaux

  • Applied Cryptography. Bruce Schneier. John Wiley & Sons.

  • Les protocoles de sécurité de l'internet. S. Natkin. Dunod.

UE: Supervision de réseaux

  • HP OpenView system administration handbook. Sealey. Prentice Hall. 09/2004.

  • Understanding SNMP MIBS. E. Mc Ginnins. Prentice Hall. 03/1997.

UE : Conception des circuits intégrés VLSI

  • C.Mead / L.Conway "Introduction aux systèmes VLSI" InterEditions

UE: Traitement du signal

  • M. Bellanger, /Traitement Numérique du Signal./ Masson, Paris.

  • M. Kunt, /Techniques Modernes de Traitement Numérique des Signaux/. Presse Polytechniques et Universitaires Romandes, Lausanne, 1991

  • K. Kpalma, V. Haese-Coat, /Traitement Numérique du Signal : théorie et applications/. Eyrolles, Paris, 2003.

  • B.P. Lathi, " Linear Systems and Signals", 2nd edition, Oxford University Press, 2005.

UE: Programmation C++

  • H. Garreta. "Le Langage et la bibliothèque C++", Ellipse 2000

  • C. Delannoy. "Programmer en langage C++ (5ième édition)", Eyrolles 2000

  • B. Stroustrup. "Le langage C++ (3ième édition)", CampuPress 1999

UE: C et interfaces de système d'exploitation portable

  • POSIX.4. Bill Gallmeister. O'Reilly, 1995.

  • Programmer avec les outils GNU. Mike Loukdikes, Andy Oram. O'Reilly, 1997.

  • Unix : Programmation et communication. Jean-Marie Rifflet, Jean-Baptiste Yunès. Dunod, 2003.

  • POSIX Programmer's Guide. Donal Lewine. O'Reilly, 1994.

UE: Conception de circuits intégrés analogiques

  • B. Razavi, "Design of Analog CMOS Integrated Circuits", Mc Graw Hill, 2001.

  • P.R. Gray, R.G. Meyer, "Analysis and Design of Analog Integrated Circuits", Wiley 1993.

  • R.L. Geiger, P.E. Allen, N.R. Strader, "VLSI design techniques for analog and digital circuits", Mc Graw Hill 1990.

UE: Compilation avancée

  • Andrew Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998.

  • Richard Jones et rafael Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John WileySons, 1999.

  • Randy Allen et Ken Kennedy. Optimizing Compilers for Modern Architectures. Morgan Kaufman Publishers, 2002.

UE: Analyse temporelle des circuits numériques (Digital circuits timing analysis)

  • Principles of CMOS VLSI Design, A Systems Perspective, 2nd edition, Neil H. E. Weste et Kamran Eshraghian, Addison-Wesley, 1993

  • Annaratone, M., Digital CMOS Circuit Design, Kluwer Academic Publishers, Boston, 1986.

  • Banzhaf, W., Computer-Aided Circuit Analysis using SPICE, Prentice-Hall, Englewood Cliffs, New Jersey, 1989.

  • Fabricius, E. D., Introduction to VLSI Design, McGraw-Hill International Editions, New York, 1990.

UE: Architecture interne des microprocesseurs (Microprocessor architecture)

  • Computer Architecture: A Quantitative Approach by John L. Hennessy, David A. Patterson, David Goldberg Publisher: Morgan Kaufmann; 3rd edition (May, 2002)

  • Optimizing Compilers for Modern Architectures: A Dependence-based Approach by Ken Kennedy, Randy Allen Publisher: Morgan Kaufmann; 1st edition (October, 2001)

UE: Architectures pour le traitement numérique (Hardware architecture for arithmetic)

  • J.M. Muller, Arithmetique des Ordinateurs, Masson, Paris, 1989

  • Milo D. Ercegovac, Tomás Lang Digital Arithmetic (The Morgan Kaufmann Series in Computer Architecture and Design) (Hardcover)

  • Silulateur en ligne d'Alain GUYOT

UE: Circuits intégrés radio-fréquence (RF integrated circuits)

  • B. Razavi, "RF Microelectronics", Prentice Hall, 1997.

  • T.L. Lee, "The Design of CMOS Radio Frequency Integrated Circuits", Cambridge University Press, 2nd Edition, 2004.

  • J. Rogers, C. Plett, "Radio Frequency Integrated Circuit Design", Artech House, 2003.