skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Résultats 1 - 10 sur 3 784  pour Tout le catalogue

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland
Material Type:
Livre
Ajouter au Panier

12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland

Uniwersytet Warszawski (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Association for computing machinery (États-Unis). Special interest group on algorithms and computation theory (Ed.) ; Association for symbolic logic (Ed.) ; Association européenne d'informatique théorique (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, c1997

Disponible(->>)

2
14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy
Material Type:
Livre
Ajouter au Panier

14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, cop. 1999

Disponible(->>)

3
17th annual IEEE Symposium on logic in computer science : proceedings 22-25 July, 2002, Copenhagen, Denmark
Material Type:
Livre
Ajouter au Panier

17th annual IEEE Symposium on logic in computer science : proceedings 22-25 July, 2002, Copenhagen, Denmark

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, cop. 2002

Disponible(->>)

4
1988 international conference on supercomputing : July 4-8, 1988, St. Malo, France conference proceedings
Material Type:
Livre
Ajouter au Panier

1988 international conference on supercomputing : July 4-8, 1988, St. Malo, France conference proceedings

New York, N.Y.. Association for Computing Machinery, cop.1988

Disponible(->>)

5
1992 IEEE computer society conference on computer vision and pattern recognition : proceedings, June 15-18, 1992, Champaign, Illinois
Material Type:
Livre
Ajouter au Panier

1992 IEEE computer society conference on computer vision and pattern recognition : proceedings, June 15-18, 1992, Champaign, Illinois

IEEE computer society. Technical committee on pattern analysis and machine intelligence (Collab.)

Los Alamitos (Calif.). Brussels. Washington [etc.]. IEEE Computer Society Press, cop. 1992

Disponible(->>)

6
1994 IEEE GLOBECOM : communications the global bridge San Francisco, November 28 to December 2, 1994
Material Type:
Livre
Ajouter au Panier

1994 IEEE GLOBECOM : communications the global bridge San Francisco, November 28 to December 2, 1994

IEEE Communications society (Ed.)

New York, N.Y.. Institute of Electrical and Electronics Engineers, cop. 1994

Disponible(->>)

7
1998 International Conference on Parallel Architectures and Compilation Techniques : proceedings Paris, France, October 12-18, 1998
Material Type:
Livre
Ajouter au Panier

1998 International Conference on Parallel Architectures and Compilation Techniques : proceedings Paris, France, October 12-18, 1998

IFIP WG 10.3 on Software/Hardware Interrelation

Los Alamitos, California. IEEE Computer Society Press, c1998

Disponible(->>)

8
1999 International workshops on Parallel processing : proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99), Group Communications (IWGC), Internet'99 (IWI'99), Industrial Applications on Network Computing (INDAP), Multimedia Network Systems (MMNS), Security (IWSEC), Parallel Computing'99 (IWPC'99), Parallel Execution on Reconfigurable Hardware (PERH), Aizu-Wakamatsu City, Japan, 21-24 September, 1999
Material Type:
Livre
Ajouter au Panier

1999 International workshops on Parallel processing : proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99), Group Communications (IWGC), Internet'99 (IWI'99), Industrial Applications on Network Computing (INDAP), Multimedia Network Systems (MMNS), Security (IWSEC), Parallel Computing'99 (IWPC'99), Parallel Execution on Reconfigurable Hardware (PERH), Aizu-Wakamatsu City, Japan, 21-24 September, 1999

Takizawa, Makoto (Ed.) ; Panda, Dhabaleswar K (Ed.) ; Ohio State University. USA ; University of Aizu. Japan ; [The ]International Association for Computers and Communications ; Jōhō Shori Gakkai (Japon)

Los Alamitos. Washington. Brussels. IEEE computer society, 1999

Disponible(->>)

9
2000 ICPP Workshops : proceedings Workshops on Pervasive Computing, Scalable Web Services, Metacomputing Systems and Applications, High Performance Scientific and Engineering Computing, Network-Based Computing, Parallel and Distributed Multimedia Systems, Wireless Networks and Mobile Computing
Material Type:
Livre
Ajouter au Panier

2000 ICPP Workshops : proceedings Workshops on Pervasive Computing, Scalable Web Services, Metacomputing Systems and Applications, High Performance Scientific and Engineering Computing, Network-Based Computing, Parallel and Distributed Multimedia Systems, Wireless Networks and Mobile Computing

Sadayappan, P (Ed.) ; International Association for Computers and Communications (IACC)

Appartient à la collection : IEEE computer society, PR00771

Los Alamitos, CA. IEEE Computer society, 2000

Disponible(->>)

10
2000 International Conference on Parallel Processing : Proceedings, 21-24 August, 2000, Toronto, Canada
Material Type:
Livre
Ajouter au Panier

2000 International Conference on Parallel Processing : Proceedings, 21-24 August, 2000, Toronto, Canada

Liija, David J (Ed.) ; The International Association for Computers and Communications (Ed.)

Los Alamitos, California : IEEE Computer Society, 2000

Disponible(->>)

Résultats 1 - 10 sur 3 784  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (8)

Affiner vos résultats

Type de ressource 

  1. Livres  (3 587)
  2. Thèses ou mémoires  (161)
  3. Autres  (14)
  4. Bases de données  (13)
  5. ebooks  (5)
  6. Revues  (3)
  7. Audiovisuel  (1)
  8. Autres open sub menu

Localisation 

  1. Descartes  (346)
  2. Descartes - CDR  (128)
  3. Descartes - LARHRA  (6)
  4. Monod  (3 536)
  5. Autres open sub menu

Sujet 

  1. Algorithmes  (282)
  2. Parallélisme (informatique)  (168)
  3. Ordinateurs. Programmation  (161)
  4. Logique mathématique  (156)
  5. Intelligence artificielle  (146)
  6. Architecture des ordinateurs  (107)
  7. Complexité de calcul (informatique)  (105)
  8. Langages de programmation  (103)
  9. Computer algorithms  (90)
  10. Programmation parallèle (informatique)  (86)
  11. Réseaux neuronaux (informatique)  (85)
  12. Informatique. Mathématiques  (84)
  13. Parallel processing (Electronic computers)  (72)
  14. Informatique  (67)
  15. Logic, Symbolic and mathematical  (66)
  16. Traitement réparti  (65)
  17. Programmation orientée objets (informatique)  (64)
  18. Réseaux d'ordinateurs  (64)
  19. Graphes, Théorie des  (55)
  20. Computational complexity  (55)
  21. Automates mathématiques, Théorie des  (55)
  22. Structures de données (informatique)  (54)
  23. Cryptographie  (52)
  24. Infographie  (51)
  25. Electronic digital computers. Programming  (50)
  26. Apprentissage automatique  (48)
  27. Programmation logique  (47)
  28. Algorithms  (47)
  29. Langages formels  (45)
  30. Programmation (mathématiques)  (44)
  31. Computer architecture  (43)
  32. Artificial intelligence  (43)
  33. Logiciels. Développement  (42)
  34. Analyse combinatoire  (41)
  35. C (langage de programmation)  (41)
  36. Génie logiciel  (41)
  37. C plus-plus (langage de programmation)  (37)
  38. SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES  (36)
  39. Compilateurs (logiciels)  (35)
  40. Computer science. Mathematics  (33)
  41. Protocoles de réseaux d'ordinateurs  (32)
  42. Machine theory  (31)
  43. Compilation (informatique)  (31)
  44. Traitement d'images. Techniques numériques  (31)
  45. Data structures (Computer science)  (29)
  46. Ordinateurs neuronaux  (29)
  47. Ordinateurs  (29)
  48. Codage  (29)
  49. Cryptography  (28)
  50. Vision par ordinateur  (27)
  51. Automates cellulaires  (27)
  52. Optimisation mathématique  (26)
  53. Modèles mathématiques  (26)
  54. Optimisation combinatoire  (25)
  55. Architecture des réseaux d'ordinateurs  (25)
  56. Arithmétique interne des ordinateurs  (24)
  57. Calcul formel  (24)
  58. Computer networks  (23)
  59. Bases de données. Gestion  (21)
  60. Computer graphics  (21)
  61. Ordinateurs parallèles  (20)
  62. C++ (Computer program language)  (20)
  63. Combinatorial analysis  (20)
  64. Fonctions calculables  (19)
  65. Fonctions récursives  (18)
  66. Bioinformatique  (18)
  67. Compilers (Computer programs)  (18)
  68. C (Computer program language)  (18)
  69. Programming languages (Electronic computers). Congresses  (17)
  70. Approximation, Théorie de l'  (15)
  71. Ordinateurs. Conception et construction  (14)
  72. Données. Transmission  (14)
  73. Electronic digital computers. Programming Congresses  (13)
  74. Codes correcteurs d'erreurs (théorie de l'information)  (13)
  75. Catégories (mathématiques)  (11)
  76. Algorithmes. Problèmes et exercices  (11)
  77. Algorithmes. Manuels d'enseignement supérieur  (10)
  78. PARALLELISME  (10)
  79. Categories (Mathematics)  (8)
  80. Computer arithmetic  (8)
  81. Autres open sub menu

Auteur 

  1. Aho, Alfred Vaino  (9)
  2. ARNOLD, A  (3)
  3. Arsac, Jacques  (12)
  4. Association for Computing Machinery.États-Unis  (13)
  5. Association for computing machinery.Special interest group on algorithms and computation theory.États-Unis  (18)
  6. Association for computing machinery.Special interest group on programming languages.Etats Unis  (18)
  7. Berlioux, Pierre  (3)
  8. Bizard, Philippe  (3)
  9. Bolliet, Louis  (3)
  10. Börger, Egon  (5)
  11. Boucher, Henri  (4)
  12. Bougé, Luc  (9)
  13. Boyer, Robert S. mathématicien  (2)
  14. Bundy, Alan R  (4)
  15. Cagnat, Jean-Michel  (3)
  16. Caron, Eddy  (5)
  17. Cosnard, Michel  (25)
  18. Darte, Alain  (7)
  19. Delorme, Marianne.mathématicienne  (3)
  20. Desprez, Frédéric  (12)
  21. École normale supérieure de Lyon  (9)
  22. École normale supérieure. Lyon  (57)
  23. École normale supérieure. Lyon 1987-2009  (16)
  24. École normale supérieure.Lyon  (61)
  25. Fraigniaud, Pierre  (5)
  26. Gardarin, Georges  (5)
  27. Golumbic, Martin Charles  (2)
  28. Hennessy, John L  (6)
  29. Hernandez, Jean-Alain  (9)
  30. Hwang, Kai  (4)
  31. IEEE Computer Society  (22)
  32. IEEE computer society.Technical committee on mathematical foundations of computing  (10)
  33. Institut national de recherche en informatique et en automatique.France  (10)
  34. Keutzer, Kurt William  (2)
  35. Knuth, Donald Ervin  (27)
  36. Koblitz, Neal  (2)
  37. Kuntzmann, Jean  (4)
  38. Laboratoire de l'informatique du parallélisme. Lyon  (9)
  39. Langton, Christopher G  (3)
  40. Lippmann, Richard P  (2)
  41. Lothaire, M  (3)
  42. Mazoyer, Jacques. mathématicien  (6)
  43. Mazoyer, Jacques.mathématicien  (8)
  44. Meyer, Bertrand. chercheur en informatique  (10)
  45. Muller, Jean-Michel  (21)
  46. Myers, Glenford J  (2)
  47. Nye, Adrian  (6)
  48. O'Reilly, Tim  (3)
  49. Papadimitriou, Christos H  (8)
  50. Paschos, Vangelis T  (5)
  51. Patterson, David A  (6)
  52. Primet, Pascale  (7)
  53. Pujolle, Guy  (4)
  54. Reingold, Edward Martin  (2)
  55. Robert, Yves. professeur d'informatique  (12)
  56. Robert, Yves.professeur d'informatique  (15)
  57. Rozenberg, Grzegorz  (13)
  58. Salomaa, Arto  (12)
  59. SANSONNET, J.P  (4)
  60. Schabanel, Nicolas  (4)
  61. Scholl, Pierre-Claude  (5)
  62. Sedgewick, Robert  (8)
  63. Sethi, Ravi  (4)
  64. Siret, Yvon  (2)
  65. Stallings, William  (6)
  66. Stinson, Douglas Robert  (3)
  67. Tanenbaum, Andrew  (18)
  68. Touretzky, David S  (7)
  69. Troelstra, Anne Sjerp  (3)
  70. Turing, Alan Mathison  (4)
  71. Ullman, Jeffrey David  (15)
  72. Université Claude Bernard. Lyon  (17)
  73. Van der Veen, Alle-Jane  (2)
  74. Vaudenay, Serge  (4)
  75. Vazirani, Vijay V  (3)
  76. Veillon, Françoise  (3)
  77. Wegener, Ingo  (3)
  78. Wells, Charles  (2)
  79. Wilf, Herbert S  (5)
  80. Zelkowitz, Marvin V  (6)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1970  (37)
  2. 1970 à 1981  (135)
  3. 1982 à 1993  (1 375)
  4. 1994 à 2006  (1 709)
  5. Après 2006  (513)
  6. Autres open sub menu

Langue 

  1. Anglais  (2 706)
  2. Français  (997)
  3. Allemand  (4)
  4. Indéterminé  (2)
  5. Russe  (1)
  6. Néerlandais  (1)
  7. Italien  (1)
  8. Autres open sub menu

Editeur 

  1. Association for Computing Machinery Copies from ACM Order Dept.  (3)
  2. A. Colin  (7)
  3. Éd. ENI  (8)
  4. M. Kaufmann  (13)
  5. Hermès science publ. Lavoisier  (5)
  6. J. Wiley  (11)
  7. J. Wiley & Sons  (17)
  8. [s.n.]  (149)
  9. Benjamin/Cummings Pub. Co.  (5)
  10. North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.  (12)
  11. Benjamin/Cummings Pub.  (2)
  12. Addison-Wesley Pub. Co.  (19)
  13. Academic Press  (29)
  14. ACM  (6)
  15. Addison-Wesley  (100)
  16. AFCET  (5)
  17. American Mathematical Society  (6)
  18. Apress  (3)
  19. Association for Computing Machinery  (11)
  20. Birkhauser  (4)
  21. Birkhäuser  (33)
  22. Cambridge University Press  (134)
  23. Cepadues  (2)
  24. Chapman & Hall/CRC  (25)
  25. Clarendon Press Oxford University Press  (9)
  26. Computer science press  (9)
  27. CRC Press  (35)
  28. Digital Press  (4)
  29. Dover Publications  (7)
  30. Dunod  (43)
  31. ECOLE SUPERIEURE D'ELECTRICITE  (3)
  32. Ediscience international  (1)
  33. Elsevier  (21)
  34. Elsevier-Academic press  (3)
  35. Elsevier Morgan Kaufmann  (7)
  36. EPFL  (1)
  37. EYROLLES  (49)
  38. Gauthier-Villars  (4)
  39. Hermès  (37)
  40. IEEE Computer Society  (32)
  41. IEEE Computer Society Press  (75)
  42. IMAG  (5)
  43. INRIA  (11)
  44. Institut national polytechnique de Grenoble  (2)
  45. InterEditions  (8)
  46. InterÉditions  (5)
  47. John Wiley  (6)
  48. John Wiley & Sons  (7)
  49. Kluwer  (13)
  50. Kluwer Academic  (24)
  51. Kluwer academic publ  (9)
  52. Kluwer Academic Publishers  (66)
  53. Masson  (50)
  54. Mathematical Association of America  (2)
  55. McGraw-Hill  (27)
  56. MIT Press  (73)
  57. Morgan Kaufmann  (23)
  58. Morgan Kaufmann Publishers  (5)
  59. Nathan technique  (4)
  60. North-Holland  (23)
  61. O'Reilly  (29)
  62. Oxford University Press  (34)
  63. Pearson Education  (6)
  64. Pearson Prentice Hall  (5)
  65. Pearson/Addison Wesley  (5)
  66. Pergamon Press  (2)
  67. Prentice Hall  (101)
  68. Prentice-Hall International  (18)
  69. Presses universitaires de France  (8)
  70. Princeton University Press  (19)
  71. Society for Industrial and Applied Mathematics  (19)
  72. Springer  (226)
  73. Springer-Verlag  (74)
  74. The Association  (5)
  75. The Association for Computing Machinery  (3)
  76. The MIT press  (13)
  77. Wiley  (45)
  78. Wiley-Interscience  (8)
  79. World Scientific  (41)
  80. World Scientific Pub  (4)
  81. Autres open sub menu

Collection 

  1. A Bradford book  (7)
  2. ACM doctoral dissertation awards  (3)
  3. Actualités scientifiques et industrielles  (5)
  4. Adaptive computation and machine learning  (4)
  5. Addison-Wesley series in computer science  (13)
  6. Addison-Wesley series in computer science and information processing  (7)
  7. Advances in computers  (4)
  8. Algorithms and combinatorics  (6)
  9. Algorithms and computation in mathematics  (6)
  10. Applied logic series  (8)
  11. Cambridge tracts in theoretical computer science  (40)
  12. CBMS-NSF regional conference series in applied mathematics  (3)
  13. Collection didactique  (6)
  14. Collection Informatique  (32)
  15. Collection IRIS  (7)
  16. Collection technique et scientifique des télécommunications  (13)
  17. Collection U. Informatique  (3)
  18. Complex adaptive systems  (7)
  19. Component software series  (1)
  20. DIMACS series in discrete mathematics and theoretical computer science  (4)
  21. Discrete mathematics and its applications  (13)
  22. Dunod informatique  (31)
  23. Dunod université  (13)
  24. EATCS monographs on theoretical computer science  (26)
  25. Ecole Nationale Supérieure de Techniques avancées  (2)
  26. Ellis Horwood series in artificial intelligence  (4)
  27. Encyclopedia of mathematics and its applications  (12)
  28. ERI, études et recherches en informatique  (4)
  29. Études et recherches en informatique  (3)
  30. EurographicSeminars  (2)
  31. Foundations of computing  (11)
  32. Graduate texts in mathematics  (4)
  33. IEEE catalog  (19)
  34. IIA  (3)
  35. IIA informatique, intelligence artificielle  (7)
  36. IIA, Informatique intelligence artificielle  (9)
  37. Informatiques  (2)
  38. International computer science series  (28)
  39. International series of monographs on computer science  (3)
  40. Lecture Notes in Computer Science  (22)
  41. Les blocs-notes informatique  (4)
  42. Logic programming  (5)
  43. Logique mathématiques informatique  (10)
  44. London Mathematical Society lecture note series  (3)
  45. Manuels informatiques Masson  (41)
  46. Mathematics and its applications  (7)
  47. Mathématiques  (3)
  48. McGraw-Hill computer science series  (6)
  49. Monographies d'informatique  (2)
  50. NATO ASI series  (9)
  51. Natural computing series  (6)
  52. Passeport pour l'informatique  (2)
  53. Perspectives in mathematical logic  (3)
  54. Prentice Hall international series in computer science  (36)
  55. Prentice Hall series in artificial intelligence  (4)
  56. Prentice-Hall series in automatic computation  (9)
  57. Prentice-Hall software series  (4)
  58. Proceedings of SPIE, the International Society for Optical Engineering  (5)
  59. Progress in Computer Science and Applied Logic  (7)
  60. Progress in theoretical computer science  (11)
  61. Que sais-je ?  (9)
  62. Références sciences  (4)
  63. Santa Fe Institute studies in the sciences of complexity  (4)
  64. Science informatique  (4)
  65. Sciences sup  (32)
  66. SIAM monographs on discrete mathematics and applications  (6)
  67. Signals and Communication Technology  (3)
  68. Studies in Computational Intelligence  (8)
  69. Studies in logic and the foundations of mathematics  (13)
  70. Support de cours  (6)
  71. Texts and monographs in computer science  (18)
  72. Texts in theoretical computer science  (21)
  73. The electrical engineering handbook series  (4)
  74. The Kluwer international series in engineering and computer science  (18)
  75. The MIT Press series in artificial intelligence  (2)
  76. The Morgan Kaufmann series in systems on silicon  (3)
  77. The Systems programming series  (5)
  78. Traité des nouvelles technologies  (15)
  79. Traité IC2  (12)
  80. Wiley-Interscience series in discrete mathematics and optimization  (8)
  81. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.