skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 11 - 20 sur 45  pour Tout le catalogue

previous page 1 résultats 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Analyse combinatoire supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
Material Type:
ebook
Ajouter au Panier

Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers

Rozenberg, Grzegorz (Ed.) ; Engels, Gregor (Ed.) ; Ehrig, Hartmut (1944-...) (Ed.) ; Cuny, Janice (Ed.)

Lecture Notes in Computer Science ; 1073

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

12
Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings

Biswas, Somenath (Ed.) ; Nori, Kesav V (1945-...) (Ed.)

Lecture Notes in Computer Science ; 560

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

13
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.)

Lecture Notes in Computer Science ; 385

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

14
Axiom of choice
Material Type:
ebook
Ajouter au Panier

Axiom of choice

Herrlich, Horst (1937-2015)

Appartient à la collection : Lecture notes in mathematics (Internet), ISSN 1617-9692

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

15
Combinatorics on Traces
Material Type:
ebook
Ajouter au Panier

Combinatorics on Traces

Diekert, Volker

Lecture Notes in Computer Science ; 454

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

16
Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings

Ésik, Zoltán (Ed.)

Lecture Notes in Computer Science ; 710

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

17
LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings

Simon, Imre (Ed.)

Lecture Notes in Computer Science ; 583

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

18
Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings

Bukharajev, Rais Gatič (Ed.) ; Budach, Lothar (1935-...) (Ed.) ; Lupanov, Oleg Borisovič (Ed.) ; Lupanov, Oleg Borisovi� (Ed.)

Lecture Notes in Computer Science ; 278

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

19
Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings

Reichel, Horst

Lecture Notes in Computer Science ; 965

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

20
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Wirsing, Martin (Ed.) ; Cori, Robert (1954-...) (Ed.)

Lecture Notes in Computer Science ; 294

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

Résultats 11 - 20 sur 45  pour Tout le catalogue

previous page 1 résultats 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (44)

Affiner vos résultats

Type de ressource 

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

Sujet 

  1. Combinatorics  (42)
  2. Computer science  (41)
  3. Informatique  (41)
  4. Mathematical Logic and Formal Languages  (38)
  5. Algorithm Analysis and Problem Complexity  (28)
  6. Algorithmes  (28)
  7. Computer software  (28)
  8. Logics and Meanings of Programs  (26)
  9. Logic design  (26)
  10. Computation by Abstract Devices  (23)
  11. Computer graphics  (13)
  12. Artificial Intelligence (incl. Robotics)  (9)
  13. Intelligence artificielle  (9)
  14. Artificial intelligence  (9)
  15. Data structures (Computer science)  (8)
  16. Structures de données (informatique)  (8)
  17. Informatique. Mathématiques  (8)
  18. Langages de programmation  (8)
  19. Data Structures  (8)
  20. Programming Languages, Compilers, Interpreters  (7)
  21. Logic, Symbolic and mathematical  (7)
  22. Logiciels  (6)
  23. Ordinateurs. Programmation  (6)
  24. Complexité de calcul (informatique)  (5)
  25. Mathematical Logic and Foundations  (5)
  26. Mathématiques  (4)
  27. Programming Techniques  (4)
  28. Algebra. Data processing  (4)
  29. Automates mathématiques, Théorie des  (4)
  30. Génie logiciel  (4)
  31. Symbolic and Algebraic Manipulation  (4)
  32. Software engineering  (4)
  33. Machine theory  (3)
  34. Models and Principles  (3)
  35. Graphes, Théorie des  (3)
  36. Réseaux d'ordinateurs  (3)
  37. Computational complexity  (3)
  38. Ordinateurs  (3)
  39. Mathematics  (3)
  40. Microprogrammation  (3)
  41. Computer Communication Networks  (3)
  42. Database management  (3)
  43. Langages formels  (3)
  44. Grammaires de graphes  (3)
  45. Microprogramming  (3)
  46. Control Structures and Microprogramming  (3)
  47. Analyse fonctionnelle  (2)
  48. Numerical analysis  (2)
  49. Sequential machine theory  (2)
  50. Machines séquentielles, Théorie des  (2)
  51. Analyse numérique  (2)
  52. Theory of Computation  (2)
  53. Functional analysis  (2)
  54. Programmation (mathématiques)  (2)
  55. Discrete Mathematics in Computer Science  (2)
  56. Information theory  (2)
  57. Graph theory. Data processing  (1)
  58. Logiciels. Développement  (1)
  59. Data Encryption  (1)
  60. Algebra  (1)
  61. Coding and Information Theory  (1)
  62. Théorie des ensembles  (1)
  63. Phase transformations (Statistical physics)  (1)
  64. Microprocesseurs  (1)
  65. Ensembles, Théorie descriptive des  (1)
  66. Topology  (1)
  67. Pattern recognition  (1)
  68. Game Theory, Economics, Social and Behav. Sciences  (1)
  69. Codage  (1)
  70. General Algebraic Systems  (1)
  71. Coding theory  (1)
  72. Processor Architectures  (1)
  73. Théorie des jeux  (1)
  74. Information, Théorie de l'  (1)
  75. Game theory  (1)
  76. Data encryption (Computer science)  (1)
  77. Axiome du choix  (1)
  78. Combinatorial analysis  (1)
  79. Algèbre  (1)
  80. Autres open sub menu

Auteur 

  1. Demetrovics, János  (3)
  2. Börger, Egon  (2)
  3. Thiagarajan, P. S  (2)
  4. Richter, Michael M  (2)
  5. Rozenberg, Grzegorz  (2)
  6. Budach, Lothar  (2)
  7. Ehrig, Hartmut  (2)
  8. Nori, Kesav V  (2)
  9. Monien, Burkhard  (2)
  10. Thalheim, Bernhard  (2)
  11. Jantzen, Matthias  (2)
  12. Kleine Büning, Hans  (2)
  13. Cori, Robert  (2)
  14. Karhumäki, Juliani  (1)
  15. Wierzbicki, Tomasz  (1)
  16. Campbell, John Arthur  (1)
  17. Istrate, Gabriel  (1)
  18. Morgan, Carroll  (1)
  19. Rovan, Branislav  (1)
  20. Dinneen, Michael J  (1)
  21. Albert, Javier Leach  (1)
  22. Cai, Jin-Yi  (1)
  23. Nagl, Manfred  (1)
  24. Sokołowski, Stefan  (1)
  25. Schneider, Hans-Jürgen  (1)
  26. Bird, Richard Simpson  (1)
  27. Dodos, Pandelis  (1)
  28. Diekert, Volker  (1)
  29. Ronchi Della Rocca, Simona  (1)
  30. Calmet, Jacques  (1)
  31. Bukharajev, Rais Gatič  (1)
  32. Rodriguez Artalejo, Mario  (1)
  33. Ésik, Zoltán  (1)
  34. Engels, Gregor  (1)
  35. Shyamasundar, Rudrapatna K  (1)
  36. Steffens, Karsten  (1)
  37. Shyamasundar, Rudrapatna  (1)
  38. Choffrut, Christian  (1)
  39. Borzyszkowski, Andrzej M  (1)
  40. Mayr, Ernst W  (1)
  41. Cuny, Janice  (1)
  42. Simon, Imre  (1)
  43. Mirkowska, Grażyna  (1)
  44. Podewski, Klaus-Peter  (1)
  45. Herrlich, Horst  (1)
  46. Pin, Jean-Éric  (1)
  47. Calude, Cristian S  (1)
  48. Lupanov, Oleg Borisovi�  (1)
  49. Kuich, Werner  (1)
  50. Ausiello, Giorgio  (1)
  51. Gerhardt, H. -D  (1)
  52. Veni Madhavan, C. E  (1)
  53. Habel, Annegret  (1)
  54. Biswas, Somenath  (1)
  55. Finkel, Alain  (1)
  56. Csirik, János  (1)
  57. Vajnovszki, Vincent  (1)
  58. Wirsing, Martin  (1)
  59. Kreczmar, Antoni  (1)
  60. Paterson, Michael S  (1)
  61. Percus, Allon G  (1)
  62. Reichel, Horst  (1)
  63. Möller, Bernhard  (1)
  64. Maurer, Hermann A  (1)
  65. Wong, Chak Kuen  (1)
  66. Woodcock, Jim  (1)
  67. Moore, Cristopher  (1)
  68. Gécseg, Ferenc  (1)
  69. Mayr, Ernst  (1)
  70. Holz, Michael  (1)
  71. Jäger, G  (1)
  72. Lupanov, Oleg Borisovič  (1)
  73. Kutyłowski, Mirosław  (1)
  74. Dezani-Ciancaglini, Mariangiola  (1)
  75. Pacholski, Leszek  (1)
  76. Martini, S  (1)
  77. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Demetrovics, János
  2. Börger, Egon
  3. Thiagarajan, P. S
  4. Richter, Michael M
  5. Rozenberg, Grzegorz

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.