Mostra 1 - 20 risultati di 908 ricerca '(' Raffina i risultati
  1. 1
    Pubblicazione 1981
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /
  2. 2
    Pubblicazione 1981
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
  3. 3
    Pubblicazione 1981
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nurnberg, June 10-12, 1981 : proceedings /
  4. 4
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Methods and tools for computer integrated manufacturing /
  5. 5
    Pubblicazione 1982
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 /
  6. 6
    Pubblicazione 1982
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  7. 7
    Pubblicazione 1951
    Atti del Convegno
    Aggiungi alla lista
    Salvato in:
    Proceedings : International Conference on Large Electric Systems.
  8. 8
    Atti del Convegno
    Aggiungi alla lista
    Salvato in:
    Proceedings of the ... annual conference of the Operational Research Society of New Zealand.
  9. 9
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Proceedings of the fifteenth Lunary and Planetary Science Conference : organized by Lunar and Planetary Institute, Houston, Texas, March 1984.
  10. 10
    Pubblicazione 1980
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  11. 11
    Pubblicazione 1980
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Automata, languages and programming : seventh Colloquium Noordwijkerhout, the Netherlands, July 14-18, 1980 /
  12. 12
    Pubblicazione 1982
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /
  13. 13
    Pubblicazione 1983
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
  14. 14
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Ada software tools interfaces workshop, Bath, July 13-15, 1983 : proceedings /
  15. 15
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 /
  16. 16
    Pubblicazione 1983
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /
  17. 17
    Pubblicazione 1983
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Proceedings of the Fourteenth Lunar and Planetary Science Conference /
  18. 18
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
  19. 19
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  20. 20
    Pubblicazione 1984
    Atti del Convegno Libro
    Aggiungi alla lista
    Salvato in:
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /

Strumenti per la ricerca: