skip to main content
Langue :
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and quantitative aspects of real algebraic, geometry in mathematics and computer science, March 12-16, 2001, DIMACS Center
Material Type:
Livre
Ajouter au Panier

Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and quantitative aspects of real algebraic, geometry in mathematics and computer science, March 12-16, 2001, DIMACS Center

Basu, Saugata (1968-...) (Ed.) ; González-Vega, Laureano (Ed.)

Appartient à la collection : DIMACS series in discrete mathematics and theoretical computer science, v. 60, ISSN 1052-1798

Providence (R.I.). American Mathematical Society, cop. 2003

Disponible(->>)

2
Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 proceedings
Material Type:
Livre
Ajouter au Panier

Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 proceedings

Borzyszkowski, Andrzej M (Ed.) ; Sokołowski, Stefan (Ed.)

Appartient à la collection : Lecture notes in computer science, 711, ISSN 0302-9743

Berlin. New York. Springer-Verlag, c1993

Disponible(->>)

3
The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
Material Type:
Livre
Ajouter au Panier

The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989

Johnson, John Harold (1918-2005) (Ed.) ; Loomes, M.J (Ed.) ; Institute of mathematics and its applications (GB) (Ed.)

Appartient à la collection : The Institute of mathematics and its applications conference series, New series, new ser., 30

Oxford. Clarendon Press. Oxford. New York. Oxford University Press, 1991

Disponible(->>)

4
12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland
Material Type:
Livre
Ajouter au Panier

12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland

Uniwersytet Warszawski (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Special group on algorithms and computation theory (Etats-Unis) (Ed.) ; Association for symbolic logic (Ed.) ; Association européenne d'informatique théorique (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, c1997

Disponible(->>)

5
14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy
Material Type:
Livre
Ajouter au Panier

14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, cop. 1999

Disponible(->>)

6
Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California
Material Type:
Livre
Ajouter au Panier

Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California

Kozen, Dexter C (1951-...) (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos, Calif.. Washington. Brussels [etc.]. IEEE Computer Society Press, cop. 1995

Disponible(->>)

7
Thirteenth Annual IEEE symposium on logic in computer science : June 21-24, 1998, Indianapolis, Indiana proceedings
Material Type:
Livre
Ajouter au Panier

Thirteenth Annual IEEE symposium on logic in computer science : June 21-24, 1998, Indianapolis, Indiana proceedings

Indiana university (Ed.)

Los Alamitos, Calif.. Washington. Brussels [etc.]. IEEE Computer Society, cop. 1998

Disponible(->>)

8
[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings
Material Type:
Livre
Ajouter au Panier

[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Institut national de recherche en informatique et en automatique (France) (Ed.)

Los Alamitos (Calif.). IEEE Computer Society Press, cop. 1994

Disponible(->>)

9
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 proceedings
Material Type:
Livre
Ajouter au Panier

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 proceedings

Degano, Pierpaolo (1950-..) (Ed.) ; Gorrieri, Roberto (Ed.) ; Marchetti-Spaccamela, Alberto (Ed.) ; European Association for Theoretical Computer Science

Appartient à la collection : Lecture notes in computer science, 1256, ISSN 0302-9743

Berlin. New York. Springer, cop. 1997

Disponible(->>)

Refine Search Results

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1993  (1)
  2. 1993 à 1993  (1)
  3. 1994 à 1994  (1)
  4. 1995 à 1997  (3)
  5. Après 1997  (3)
  6. Autres open sub menu

Discipline 

  1. Informatique  (8)
  2. Mathématiques  (1)
  3. 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.