skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

Résultats 1 - 10 sur 1 950  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
Intelligent Agents : Theory and Applications
Material Type:
ebook
Ajouter au Panier

Intelligent Agents : Theory and Applications

Resconi, Germano ; Jain, Lakhmi C (1946-...)

Cham : Springer International Publishing, 20.

2
Software reusability. Vol. 2. applications and experience
Material Type:
Livre
Ajouter au Panier

Software reusability. Vol. 2. applications and experience

Biggerstaff, Ted J (Ed.) ; Perlis, Alan Jay (1922-1990) (Ed.)

Reading, Mass.. Addison-Wesley, c1989

Disponible(->>)

3
Systems and software verification : model-checking techniques and tools
Material Type:
Livre
Ajouter au Panier

Systems and software verification : model-checking techniques and tools

Bérard, Béatrice ; Bidoit, Michel (1957-...) ; Finkel, Alain (1958-...) ; Schnoebelen, Philippe (19..-...) ; McKenzie, Pierre (Trad.)

Berlin. New York. Paris. Springer, cop. 2001

Indisponible     (->>)

4
Introduction to software testing
Material Type:
Livre
Ajouter au Panier

Introduction to software testing

Ammann, Paul (1961-...) ; Offutt, Jeff (1961-...)

New York (N.Y.). Cambridge University Press, cop. 2008

Indisponible     (->>)

5
Verification of sequential and concurrent programs
Material Type:
Livre
Ajouter au Panier

Verification of sequential and concurrent programs

Apt, Krzysztof R (1949-...) ; Olderog, E.-R

Appartient à la collection : Texts and monographs in computer science, ISSN 0172-603X

New York. Springer-Verlag, c1991

Indisponible     (->>)

6
Case studies in systematic software development
Material Type:
Livre
Ajouter au Panier

Case studies in systematic software development

Jones, Cliff B (1944-...) (Ed.) ; Shaw, Roger C. F (Ed.)

Appartient à la collection : Prentice-Hall international series in computer science

New York. London. Toronto. Prentice Hall, cop.1990

Indisponible     (->>)

7
Software reusability : concepts and models. Vol.1
Material Type:
Livre
Ajouter au Panier

Software reusability : concepts and models. Vol.1

Biggerstaff, Ted J ; Perlis, Alan Jay (1922-1990)

Appartient à la collection : ACM press frontier series

Reading, Mass.. Addison-Wesley, cop. 1989

Disponible(->>)

8
The stack : on software and sovereignty
Material Type:
Livre
Ajouter au Panier

The stack : on software and sovereignty

Bratton, Benjamin H (1968-...)

Appartient à la collection : Software studies, ISSN 1462-611X

Cambridge, Massachusetts : MIT Press, 2015

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Le génie logiciel

Printz, Jacques

Appartient à la collection : Que sais-je ?, 2956, ISSN 0768-0066

Paris. Presses universitaires de France, DL 2005

Disponible(->>)

10
Communication in multiagent systems : agent communication languages and conversation policies
Material Type:
Livre
Ajouter au Panier

Communication in multiagent systems : agent communication languages and conversation policies

Huget, Marc-Philippe (19..-...) (Ed.)

Appartient à la collection : Lecture notes in computer science, 2650, ISSN 0302-9743 Appartient à la collection : Lecture notes in artificial intelligence

Berlin. New York. Springer, cop. 2003

Disponible(->>)

Résultats 1 - 10 sur 1 950  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1 898)

Affiner vos résultats

Type de ressource 

  1. ebooks  (1 898)
  2. Livres  (52)
  3. Autres open sub menu

Localisation 

  1. Descartes  (10)
  2. Descartes - CDR  (1)
  3. Descartes - IAO  (1)
  4. Monod  (41)
  5. Autres open sub menu

Sujet 

  1. Computer science  (1 777)
  2. Computer software  (1 756)
  3. Algorithm Analysis and Problem Complexity  (1 688)
  4. Algorithms  (926)
  5. Informatique  (795)
  6. Artificial intelligence  (739)
  7. Algorithmes  (680)
  8. Artificial Intelligence (incl. Robotics)  (669)
  9. Computer Communication Networks  (548)
  10. Discrete Mathematics in Computer Science  (453)
  11. Computational complexity  (452)
  12. Computation by Abstract Devices  (443)
  13. Software engineering  (443)
  14. Information Systems Applications (incl. Internet)  (329)
  15. Information systems  (287)
  16. Computer science. Mathematics  (265)
  17. Data encryption (Computer science)  (259)
  18. Data Encryption  (256)
  19. Computer communication systems  (252)
  20. Logic design  (249)
  21. Réseaux d'ordinateurs  (248)
  22. Mathematical Logic and Formal Languages  (243)
  23. Logics and Meanings of Programs  (231)
  24. Intelligence artificielle  (230)
  25. Computers  (228)
  26. Computer security  (220)
  27. Computer graphics  (217)
  28. Pattern recognition  (216)
  29. Optical pattern recognition  (216)
  30. Data Structures  (211)
  31. Data structures (Computer science)  (206)
  32. Computer vision  (206)
  33. Information storage and retrieval  (200)
  34. Management of Computing and Information Systems  (197)
  35. Electronic data processing  (192)
  36. Numeric Computing  (192)
  37. Data mining  (192)
  38. Data Mining and Knowledge Discovery  (190)
  39. Génie logiciel  (188)
  40. Image Processing and Computer Vision  (180)
  41. Application software  (178)
  42. Systems and Data Security  (168)
  43. Operating systems (Computers)  (166)
  44. Programming Techniques  (159)
  45. Combinatorics  (157)
  46. Analyse combinatoire  (155)
  47. Database management  (152)
  48. Management information systems  (144)
  49. Ordinateurs. Programmation  (143)
  50. Cryptology  (141)
  51. Operating Systems  (137)
  52. Information storage and retrieval systems  (134)
  53. Logique mathématique  (133)
  54. Computer science-Mathematics  (131)
  55. Numerical Analysis  (129)
  56. Computer simulation  (123)
  57. Simulation and Modeling  (122)
  58. Structures de données (informatique)  (120)
  59. Systèmes d'exploitation (ordinateurs)  (118)
  60. Chiffrement (informatique)  (116)
  61. Programming Languages, Compilers, Interpreters  (109)
  62. Data protection  (87)
  63. Mathematics of Computing  (83)
  64. Special Purpose and Application-Based Systems  (81)
  65. Analyse numérique  (80)
  66. Coding theory  (77)
  67. Coding and Information Theory  (76)
  68. Bioinformatics  (74)
  69. Computer network architectures  (73)
  70. Mathematics  (71)
  71. Computer software. Development  (69)
  72. Langages de programmation  (67)
  73. Intelligent agents (Computer software)  (64)
  74. Symbolic and Algebraic Manipulation  (60)
  75. Agents intelligents (logiciels)  (59)
  76. Logiciels. Développement  (58)
  77. Computational Mathematics and Numerical Analysis  (56)
  78. Mathematical Software  (51)
  79. Complexité de calcul (informatique)  (51)
  80. Engineering  (36)
  81. Autres open sub menu

Auteur 

  1. Gervasi, Osvaldo  (27)
  2. Misra, Sanjay  (27)
  3. Apduhan, Bernady O  (27)
  4. Murgante, Beniamino  (27)
  5. Taniar, David  (27)
  6. Tan, Ying  (17)
  7. Shi, Yuhui  (17)
  8. Martín Vide, Carlos  (16)
  9. Torre, Carmelo M  (16)
  10. Rozenberg, Grzegorz  (14)
  11. Leeuwen, Jan van  (13)
  12. Rolim, José D. P  (13)
  13. Dehne, Frank  (12)
  14. Sack, Jörg-Rüdiger  (11)
  15. Jansen, Klaus  (11)
  16. Torre, Carmelo  (11)
  17. Dongarra, Jack J  (10)
  18. Huang, De-Shuang  (10)
  19. Corchado, Emilio  (9)
  20. Hartmanis, Juris  (9)
  21. Goos, Gerhard  (9)
  22. Dediu, Adrian-Horia  (8)
  23. Rudolph, Larry  (8)
  24. Gavrilova, Marina L  (8)
  25. Blum, Christian  (8)
  26. Du, Dingzhu  (8)
  27. Feitelson, Dror  (8)
  28. Rocha, Ana Maria Alves Coutinho  (7)
  29. Rocha, Ana Maria A. C  (7)
  30. Das, Swagatam  (7)
  31. Nagl, Manfred  (6)
  32. Waśniewski, Jerzy  (6)
  33. Ferreira, Maria da Conceição Falcão  (6)
  34. Mayr, Ernst W  (6)
  35. Vega-Rodríguez, Miguel A  (6)
  36. Monien, Burkhard  (6)
  37. Vulkov, Lubin  (6)
  38. Zhang, Chengqi  (6)
  39. Sim, Kevin  (6)
  40. Cheema, Muhammad Aamir  (5)
  41. Sanniti di Baja, Gabriella  (5)
  42. Saeed, Khalid  (5)
  43. Margaria-Steffen, Tiziana  (5)
  44. Nguyen, Hong Quang  (5)
  45. Carlini, Maurizio  (5)
  46. McDermott, James  (5)
  47. Widmayer, Peter  (5)
  48. Akiyama, Jin  (5)
  49. Salomaa, Arto  (5)
  50. Castelli, Mauro  (5)
  51. Kunkel, Julian M  (4)
  52. Oswald, Elisabeth  (4)
  53. Pan, Jeng-Shyang  (4)
  54. Cirne, Walfredo  (4)
  55. Coello Coello, Carlos Artemio  (4)
  56. Desai, Narayan  (4)
  57. Wagner, Dorothea  (4)
  58. Ehrig, Hartmut  (4)
  59. Karlsson, Rolf  (4)
  60. Vaidya, Jaideep  (4)
  61. Mira, José  (4)
  62. Malyshkin, Viktor Ėmmanuilovich  (4)
  63. Schmidt, Erik Meineche  (4)
  64. Gennaro, Rosario  (4)
  65. Garay, Juan A  (4)
  66. Hu, Ting  (4)
  67. Huynh, Van-Nam  (4)
  68. Kano, Mikio  (4)
  69. Li, Jin  (4)
  70. Kim, Hyoung Joong  (3)
  71. Shi, Yun Q  (3)
  72. Guerraoui, Rachid  (3)
  73. Petreschi, Rossella  (3)
  74. Engelbrecht, Andries P  (3)
  75. Takagi, Hideyuki  (3)
  76. Hussain, Abir  (3)
  77. Inuiguchi, Masahiro  (3)
  78. Van der Linden, Frank  (3)
  79. Ibarra, Oscar H  (3)
  80. Baier, Christel  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1995  (13)
  2. 1995 à 2002  (159)
  3. 2003 à 2008  (437)
  4. 2009 à 2015  (901)
  5. Après 2015  (439)
  6. Autres open sub menu

Langue 

  1. Anglais  (1 943)
  2. Français  (6)
  3. Italien  (2)
  4. Autres open sub menu

Editeur 

  1. Addison-Wesley Pub. Co.  (1)
  2. Lavoisier Hermès science publ.  (1)
  3. Springer-Verlag op.1993  (1)
  4. ACM Press Addison-Wesley, Advanced Book Program  (1)
  5. Addison-Wesley  (4)
  6. Atlantis Press Springer e-books Imprint: Atlantis Press Springer e-books  (1)
  7. Birkhäuser Boston Springer e-books  (2)
  8. Cambridge University Press  (4)
  9. Elsevier/Morgan Kaufman  (1)
  10. Free Press  (1)
  11. Imperial College Press  (2)
  12. Kluwer academic  (1)
  13. Manning  (1)
  14. MIT Press  (4)
  15. Morgan Kaufmann  (1)
  16. Newnes  (1)
  17. No Starch Press  (1)
  18. Oxford University Press  (1)
  19. Prentice-Hall  (2)
  20. Presses universitaires de France  (1)
  21. Presses universitaires de Rennes  (1)
  22. SIAM  (1)
  23. Springer  (12)
  24. Springer Basel Springer e-books Imprint: Birkhäuser Springer e-books  (1)
  25. Springer Berlin Heidelberg Springer e-books  (5)
  26. Springer Berlin Heidelberg Springer e-books Imprint: Springer Springer e-books  (72)
  27. Springer International Publishing Springer e-books Imprint: Birkhäuser Springer e-books  (1)
  28. Springer International Publishing Springer e-books Imprint: Springer Springer e-books  (69)
  29. Springer London Springer e-books  (4)
  30. Springer Milan Springer e-books  (1)
  31. Springer Netherlands Springer e-books  (1)
  32. Springer Netherlands Springer e-books Imprint: Springer Springer e-books  (2)
  33. Springer New York Springer e-books  (3)
  34. Springer New York Springer e-books Imprint: Springer Springer e-books  (3)
  35. Springer US Springer e-books  (3)
  36. Springer-Verlag  (3)
  37. Springer-Verlag London Limited Springer e-books  (1)
  38. Springer-Verlag Springer e-books  (4)
  39. Wiley  (1)
  40. World Scientific  (1)
  41. World Scientific Imperial College Press  (1)
  42. Autres open sub menu

Collection 

  1. Addison-Wesley professional computing series  (1)
  2. Advances in Industrial Control  (1)
  3. Advances in Mathematics Education  (1)
  4. Advances in Mechanics and Mathematics  (1)
  5. Algorithms and combinatorics  (2)
  6. Algorithms and Computation in Mathematics  (3)
  7. Apple technical library  (1)
  8. Applied and Numerical Harmonic Analysis  (2)
  9. Applied mathematical sciences  (1)
  10. Applied Optimization  (1)
  11. Atlantis Studies in Computing  (1)
  12. Bolyai Society Mathematical Studies  (1)
  13. Cambridge tracts in theoretical computer science  (1)
  14. Collana di Informatica  (1)
  15. Collection Études et logiciels informatiques  (1)
  16. Communications and Control Engineering  (3)
  17. Computer and network security  (1)
  18. Computer Communication Networks and Telecommunications  (13)
  19. Contributions to Statistics  (1)
  20. Convergenze  (1)
  21. Convergenze, Strumenti per l'nsegnamento della matematica e per la formazione degli insegnanti  (1)
  22. Decision Engineering  (1)
  23. Frontier series  (1)
  24. Frontiers In Electronic Testing  (1)
  25. History of computing  (1)
  26. Image Processing, Computer Vision, Pattern Recognition, and Graphics  (60)
  27. Information Systems and Applications, incl  (78)
  28. Integrated Circuits and Systems  (1)
  29. Lecture Notes in Artificial Intelligence  (126)
  30. Lecture Notes in Bioinformatics  (10)
  31. Lecture Notes in Computational Science and Engineering  (3)
  32. Lecture notes in computer science  (1 424)
  33. Lecture notes in control and information sciences  (1)
  34. Lecture Notes in Electrical Engineering  (4)
  35. Les rapports du Conseil d'analyse économique  (1)
  36. Mathematical foundations of computer science  (15)
  37. Mathematics Education in the Digital Era  (1)
  38. NATO ASI series  (1)
  39. Nato Security through Science Series C:, Environmental Security  (1)
  40. Philips Research Book Series  (1)
  41. Practitioner series  (1)
  42. Prentice Hall international series in computer science  (1)
  43. Prentice-Hall software series  (1)
  44. Programming and Software Engineering  (24)
  45. Progress in computer science and applied logic  (1)
  46. Que sais-je ?  (1)
  47. Security and Cryptology  (130)
  48. Series in electrical and computer engineering  (1)
  49. SIAM monographs on discrete mathematics and applications  (1)
  50. Signals and Communication Technology  (1)
  51. Simula SpringerBriefs on Computing  (1)
  52. Software studies  (1)
  53. Springer monographs in mathematics  (3)
  54. Springer optimization and its applications  (7)
  55. Springer Proceedings in Mathematics & Statistics  (1)
  56. Springer Series on Signals and Communication Technology  (1)
  57. Springer texts in statistics  (1)
  58. Springer Undergraduate Mathematics Series  (1)
  59. Springer undergraduate texts in mathematics and technology  (3)
  60. SpringerBriefs in Electrical and Computer Engineering  (2)
  61. SpringerBriefs in Optimization  (3)
  62. SpringerBriefs in Statistics  (1)
  63. Statistics and Computing  (3)
  64. Studies in Classification, Data Analysis, and Knowledge Organization  (1)
  65. Studies in Computational Intelligence  (2)
  66. Texts and monographs in computer science  (2)
  67. Texts in computer science  (1)
  68. The Morgan Kaufmann series in systems on silicon  (1)
  69. Theoretical Computer Science and General Issues  (297)
  70. Theory and Applications of Computability, In cooperation with the association Computability in Europe  (1)
  71. Undergraduate texts in mathematics  (1)
  72. Unitext  (1)
  73. Use R!  (2)
  74. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Gervasi, Osvaldo
  2. Misra, Sanjay
  3. Apduhan, Bernady O
  4. Murgante, Beniamino
  5. Taniar, David

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.