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 18  pour Articles en ligne

résultats 1 2 next page
Filtré par : sujet: Logiciels supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic of Programs : Workshop, ETH Zürich, May–July 1979
Material Type:
ebook
Ajouter au Panier

Logic of Programs : Workshop, ETH Zürich, May–July 1979

Engeler, Erwin (1930-...) (Ed.)

Lecture Notes in Computer Science ; 125

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

2
Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Shyamasundar, Rudrapatna K (Ed.)

Lecture Notes in Computer Science ; 761

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

3
Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Nipkow, Tobias (1958-..) (Ed.) ; Barendregt, Hendrik Pieter (1947-...) (Ed.)

Lecture Notes in Computer Science ; 806

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

4
Foundations of Software Technology and Theoretical Computer Science : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Software Technology and Theoretical Computer Science : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Shyamasundar, Rudrapatna (Ed.)

Lecture Notes in Computer Science ; 652

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

5
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

6
Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings

Vinay, V (Ed.) ; Chandru, Vijay (Ed.)

Lecture Notes in Computer Science ; 1180

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

7
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings

Bry, François (1956-...) (Ed.) ; Henze, Nicola (1968-) (Ed.) ; Małuszyński, Jan (Ed.)

Lecture Notes in Computer Science ; 2901

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

8
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Gordon, Andrew D (Ed.)

Lecture Notes in Computer Science ; 2620

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

9
Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tiuryn, Jerzy (Ed.)

Lecture Notes in Computer Science ; 1784

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

10
Computational Learning Theory : 15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Computational Learning Theory : 15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings

Sloan, Robert H (Ed.) ; Kivinen, Jyrki (Ed.)

Lecture Notes in Computer Science ; 2375

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

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

résultats 1 2 next page

Refine Search Results

Élargir mes résultats

  1.   

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.