|
|
Accueil>Recherche dans nos ressources - Recherche simple>Liste des résultats>Notice
Résultats de votre recherche
Ressources en informatique
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).
Master Informatique de l’UPMC
UE: Algorithmique avancée
-
Cormen, Leiserson, Rivest, Stein. Introduction aux algorithmes. Seconde édition, Dunod, 2002
UE: Architecture des systèmes intégrés
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
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
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
Retour haut de page
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
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...).
Retour haut de page
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
UE: Optimisation continue et applications industrielles
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.
Retour haut de page
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
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
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: Supervision de réseaux
UE : Conception des circuits intégrés VLSI
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.
Retour haut de page
|