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 1 - 10 sur 25  pour Articles en ligne

résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Word Equations and Related Topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings

Schulz, K. U (Ed.)

Lecture Notes in Computer Science ; 572

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

2
Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings

Abdulrab, Habib (chercheur en informatique) (1956-...) (Ed.) ; Pecuchet, Jean-Pierre (Ed.)

Lecture Notes in Computer Science ; 677

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

3
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Maddux, Roger D (1948-) (Ed.) ; Bergman, Clifford H (Ed.) ; Pigozzi, Don (1935-...) (Ed.)

Lecture Notes in Computer Science ; 425

New York, NY. Springer-Verlag. Springer e-books, 2005

4
Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Degano, Pierpaolo (1950-..) (Ed.)

Lecture Notes in Computer Science ; 2618

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

5
Automata, Languages and Programming : 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

Kuich, Werner (1941-...) (Ed.)

Lecture Notes in Computer Science ; 623

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

6
Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Métayer, Daniel (Ed.)

Lecture Notes in Computer Science ; 2305

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

7
Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Schmidt, David A (1953-...) (Ed.)

Lecture Notes in Computer Science ; 2986

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

8
Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings

Laneve, Cosimo ; Laneve, Cosimo (1962-..) (Ed.) ; Blundo, Carlo (1968-..) (Ed.)

Lecture Notes in Computer Science ; 2841

Berlin [etc.]. Springer, 201. ?

9
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers
Material Type:
ebook
Ajouter au Panier

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers

Pfaltz, John L (Ed.) ; Böhlen, Boris (Ed.) ; Nagl, Manfred (1944-...) (Ed.)

Lecture Notes in Computer Science ; 3062

Berlin [etc.]. Springer, 201. ?

10
STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings
Material Type:
ebook
Ajouter au Panier

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

Diekert, Volker (Ed.) ; Habib, Michel (informaticien) (19..-...) (Ed.)

Lecture Notes in Computer Science ; 2996

Berlin [etc.]. Springer, 201. ?

Résultats 1 - 10 sur 25  pour Articles en ligne

résultats 1 2 3 next page

Refine Search Results

Élargir mes résultats

  1.   

Affiner vos résultats

Sujet 

  1. Mathematical Logic and Formal Languages  (24)
  2. Logics and Meanings of Programs  (17)
  3. Logic design  (17)
  4. Algorithm Analysis and Problem Complexity  (16)
  5. Computer software  (16)
  6. Algorithmes  (16)
  7. Computation by Abstract Devices  (12)
  8. Analyse combinatoire  (8)
  9. Combinatorics  (7)
  10. Génie logiciel  (7)
  11. Software engineering  (7)
  12. Ordinateurs. Programmation  (7)
  13. Discrete Mathematics in Computer Science  (6)
  14. Computational complexity  (6)
  15. Programming Techniques  (6)
  16. Intelligence artificielle  (5)
  17. Artificial intelligence  (5)
  18. Computer graphics  (5)
  19. Automates mathématiques, Théorie des  (5)
  20. Artificial Intelligence (incl. Robotics)  (5)
  21. Langages de programmation  (4)
  22. Machine theory  (4)
  23. Grammaires de graphes  (4)
  24. Graphes, Théorie des  (4)
  25. Logic, Symbolic and mathematical  (3)
  26. Programming languages (Electronic computers)  (3)
  27. Langages formels  (3)
  28. Mathematical Logic and Foundations  (3)
  29. Informatique. Mathématiques  (3)
  30. Programming Languages, Compilers, Interpreters  (3)
  31. Natural language processing (Computer science)  (2)
  32. Complexité de calcul (informatique)  (2)
  33. Groupes, Théorie des  (2)
  34. Ordinateurs  (1)
  35. Symbolic and Algebraic Manipulation  (1)
  36. Coding theory  (1)
  37. Systèmes, Conception de  (1)
  38. Computer Applications in Chemistry  (1)
  39. Programmation logique  (1)
  40. Chemistry  (1)
  41. Information theory  (1)
  42. Molecular computers  (1)
  43. Semigroupes  (1)
  44. Petri nets  (1)
  45. Mathematics of Computing  (1)
  46. Graph theory. Data processing  (1)
  47. Langages de programmation. Sémantique  (1)
  48. Bioinformatics  (1)
  49. Mélanges et hommages  (1)
  50. Méthodes formelles (informatique)  (1)
  51. Bioinformatique  (1)
  52. Chimie. Informatique  (1)
  53. Algèbre universelle  (1)
  54. Coding and Information Theory  (1)
  55. Étude et enseignement  (1)
  56. Theory of Computation  (1)
  57. Mathématiques  (1)
  58. Education  (1)
  59. Algebra. Data processing  (1)
  60. Logique algébrique  (1)
  61. Réécriture, Systèmes de (informatique)  (1)
  62. Codage  (1)
  63. Logiciels. Développement  (1)
  64. Computers and Education  (1)
  65. Arbres (théorie des graphes). Informatique  (1)
  66. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Ehrig, Hartmut
  2. Calude, Cristian S
  3. Rozenberg, Grzegorz
  4. Salomaa, Arto
  5. Nagl, Manfred

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.