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 794  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 (Organisateur de l'événement) ; IEEE computer society. Technical committee on mathematical foundations of computing (Éditeur) ; Association for computing machinery (États-Unis). Special interest group on algorithms and computation theory (Éditeur) ; Association for symbolic logic (Éditeur) ; Association européenne d'informatique théorique (Éditeur)

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 (Éditeur)

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 (Éditeur)

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 (Collaborateur)

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 (Éditeur)

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 (Éditeur) ; Panda, Dhabaleswar K (Éditeur) ; 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 (Éditeur) ; 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 (Éditeur) ; The International Association for Computers and Communications (Éditeur)

Los Alamitos, California : IEEE Computer Society, 2000

Disponible(->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (7)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Auteur 

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

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1971  (45)
  2. 1971 à 1982  (164)
  3. 1983 à 1994  (1 506)
  4. 1995 à 2007  (1 640)
  5. Après 2007  (424)
  6. Autres open sub menu

Langue 

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

Editeur 

  1. North Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.  (12)
  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. E. Horwood J. Wiley and sons  (1)
  9. [s.n.]  (149)
  10. Association for Computing Machinery Copies from ACM Order Dept.  (3)
  11. Benjamin/Cummings Pub. Co.  (5)
  12. Benjamin/Cummings Pub.  (2)
  13. Addison-Wesley Pub. Co.  (19)
  14. Kluwer Academic Publ.  (9)
  15. Academic Press  (29)
  16. ACM  (6)
  17. ADDISON-WESLEY  (101)
  18. AFCET  (5)
  19. American mathematical society  (6)
  20. Apress  (3)
  21. Association for Computing Machinery  (11)
  22. Birkhauser  (4)
  23. Birkhäuser  (33)
  24. Cambridge University Press  (134)
  25. CEPADUES  (2)
  26. Chapman & Hall/CRC  (25)
  27. Clarendon Press Oxford University Press  (9)
  28. Computer Science Press  (9)
  29. CRC Press  (35)
  30. Digital Press  (4)
  31. Dover Publications  (7)
  32. Dunod  (43)
  33. ECOLE SUPERIEURE D'ELECTRICITE  (3)
  34. Elsevier  (21)
  35. Elsevier Academic Press  (3)
  36. Elsevier Morgan Kaufmann  (7)
  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 Publishers  (66)
  52. Masson  (50)
  53. Mathematical Association of America  (2)
  54. McGraw-Hill  (27)
  55. MIT Press  (73)
  56. Morgan Kaufmann  (23)
  57. Morgan Kaufmann Publishers  (5)
  58. Nathan technique  (4)
  59. North-Holland  (23)
  60. O'Reilly  (29)
  61. Oxford University Press  (34)
  62. Pearson Addison Wesley  (5)
  63. Pearson Education  (6)
  64. Pearson Prentice Hall  (5)
  65. Pergamon Press  (2)
  66. Prentice-Hall  (100)
  67. Prentice/Hall International  (18)
  68. Presses universitaires de France  (8)
  69. Princeton University Press  (19)
  70. Society for Industrial and Applied Mathematics  (19)
  71. Springer  (225)
  72. Springer-Verlag  (73)
  73. The Association  (5)
  74. The Association for Computing Machinery  (3)
  75. The MIT Press  (13)
  76. UNIVERSITE DE GRENOBLE  (3)
  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. DIMACS series in discrete mathematics and theoretical computer science  (4)
  20. Discrete mathematics and its applications  (13)
  21. Dunod informatique  (31)
  22. Dunod université  (13)
  23. EATCS monographs on theoretical computer science  (26)
  24. Ecole Nationale Supérieure de Techniques Avancées  (2)
  25. Encyclopedia of mathematics and its applications  (12)
  26. ERI, études et recherches en informatique  (4)
  27. Études et recherches en informatique  (3)
  28. EurographicSeminars  (2)
  29. Foundations of computing  (11)
  30. Graduate texts in mathematics  (4)
  31. IEEE catalog  (19)
  32. IIA  (3)
  33. IIA Informatique intelligence artificielle  (4)
  34. IIA Informatique, intelligence artificielle  (7)
  35. IIA, Informatique Intelligence Artificielle  (9)
  36. Informatiques  (2)
  37. International computer science series  (28)
  38. International series of monographs on computer science  (3)
  39. Lecture Notes in Computer Science  (21)
  40. Les blocs-notes informatique  (4)
  41. Logic programming  (5)
  42. Logique mathématiques informatique  (10)
  43. London Mathematical Society lecture note series  (3)
  44. Manuels informatiques Masson  (41)
  45. Mathematics and its applications  (6)
  46. Mathématiques  (3)
  47. McGraw-Hill computer science series  (6)
  48. MIT Press series in the foundations of computing  (3)
  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 series in artificial intelligence  (4)
  55. Prentice-Hall international series in computer science  (36)
  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  (33)
  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.