skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :

Résultats 1 - 10 sur 28  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
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
Material Type:
ebook
Ajouter au Panier

Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures

Väänänen, Jouko (Ed.)

Lecture Notes in Computer Science ; 1754

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

2
λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975
Material Type:
ebook
Ajouter au Panier

λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975

Böhm, Corrado (1923-...) (Ed.)

Lecture Notes in Computer Science ; 37

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

3
Programming Languages and Their Definition : H. Bekič (1936–1982)
Material Type:
ebook
Ajouter au Panier

Programming Languages and Their Definition : H. Bekič (1936–1982)

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

Lecture Notes in Computer Science ; 177

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

4
Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Penjam, Jaan (Ed.) ; Hermenegildo, Manuel (Ed.)

Lecture Notes in Computer Science ; 844

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

5
Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Rossi, Francesca ; Montanari, Ugo (Ed.) ; Rossi, Francesca (1962-...) (Ed.)

Lecture Notes in Computer Science ; 976

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

6
Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Nielsen, Mogens (1949-..) (Ed.) ; Schmidt, Erik Meineche (1945-...) (Ed.)

Lecture Notes in Computer Science ; 140

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

7
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
Material Type:
ebook
Ajouter au Panier

Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Taubner, Dirk (1959-...)

Lecture Notes in Computer Science ; 369

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

8
Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

Bruynooghe, Maurice (Ed.) ; Penjam, Jaan (Ed.)

Lecture Notes in Computer Science ; 714

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

9
Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Deransart, Pierre (Ed.) ; Małuszyński, Jan (1941-...) (Ed.)

Lecture Notes in Computer Science ; 456

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

10
Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Bruynooghe, Maurice (Ed.) ; Wirsing, Martin (Ed.)

Lecture Notes in Computer Science ; 631

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

Résultats 1 - 10 sur 28  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. Langages de programmation  (25)
  2. Logics and Meanings of Programs  (24)
  3. Logic design  (24)
  4. Programming Languages, Compilers, Interpreters  (24)
  5. Ordinateurs. Programmation  (23)
  6. Programming Techniques  (21)
  7. Génie logiciel  (20)
  8. Software engineering  (20)
  9. Intelligence artificielle  (5)
  10. Artificial intelligence  (5)
  11. Artificial Intelligence (incl. Robotics)  (5)
  12. Programmation logique  (4)
  13. Structures de données (informatique)  (3)
  14. Data structures (Computer science)  (3)
  15. Data Structures  (3)
  16. Operating Systems  (2)
  17. Computation by Abstract Devices  (2)
  18. Logic, Symbolic and mathematical  (2)
  19. Mathematical Logic and Foundations  (2)
  20. Machine theory  (2)
  21. Algorithm Analysis and Problem Complexity  (2)
  22. Petri nets  (2)
  23. Computer software  (2)
  24. Operating systems (Computers)  (2)
  25. Systèmes d'exploitation (ordinateurs)  (2)
  26. Algorithmes  (2)
  27. Information storage and retrieval systems  (1)
  28. Discrete Mathematics in Computer Science  (1)
  29. Information storage and retrieval  (1)
  30. Langages formels  (1)
  31. Computational complexity  (1)
  32. Langages de 4e génération  (1)
  33. Logique combinatoire  (1)
  34. Petri, Réseaux de  (1)
  35. Logique informatique  (1)
  36. Grammaires de graphes  (1)
  37. Computer Science, general  (1)
  38. Langages de programmation. Sémantique  (1)
  39. Traitement réparti  (1)
  40. Mélanges et hommages  (1)
  41. Informatique documentaire  (1)
  42. Programmation par contraintes  (1)
  43. Informatique. Mathématiques  (1)
  44. Contraintes (intelligence artificielle)  (1)
  45. 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.