Soggetti all'interno della tua ricerca.
Mostra 1 - 19 risultati di 19 ricerca 'Electronic Proceedings in Theoretical Computer Science', tempo di risposta: 0,04s Raffina i risultati
  1. 1
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1985
    Soggetti: “...Computer software Congresses....”
    Aggiungi alla lista
    Salvato in:
  2. 2
    Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
    Libro
    Pubblicazione 1986
    Soggetti: “...Computer software Congresses....”
    Aggiungi alla lista
    Salvato in:
  3. 3
    Proceedings : Fourth Annual Symposium on Logic in Computer Science /
    Atti del Convegno Libro
    Pubblicazione 1989
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  4. 4
    Electronic dictionaries and automata in computational linguistics : LITP Spring School on theoretical computer science, Saint-Pierre d'Oléron, France, May 25-29, 1987 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1989
    Soggetti: “...Computational linguistics....”
    Aggiungi alla lista
    Salvato in:
  5. 5
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    Atti del Convegno Libro
    Pubblicazione 1974
    Soggetti: “...Programming languages (Electronic computers) Congresses....”
    Aggiungi alla lista
    Salvato in:
  6. 6
    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
    Atti del Convegno Libro
    Pubblicazione 1990
    Soggetti: “...Parallel processing (Electronic computers)...”
    Aggiungi alla lista
    Salvato in:
  7. 7
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
    Atti del Convegno Libro
    Pubblicazione 1982
    Soggetti: “...Electronic digital computers Programming....”
    Aggiungi alla lista
    Salvato in:
  8. 8
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1990
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  9. 9
    Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    Atti del Convegno Libro
    Pubblicazione 1991
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  10. 10
    STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /
    Atti del Convegno Libro
    Pubblicazione 1986
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  11. 11
    STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11-13, 1984 /
    Atti del Convegno Libro
    Pubblicazione 1984
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  12. 12
    MATH/CHEM/COMP 1988 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 20-25 June 1988 /
    Atti del Convegno Libro
    Pubblicazione 1989
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  13. 13
    MATH/CHEM/COMP 1987 : proceedings of an International Course and Conference on the Interfaces between Mathematics, Chemistry, and Computer Science, Dubrovnik, Yugoslavia, 22-26 June 1987 /
    Atti del Convegno Libro
    Pubblicazione 1988
    Soggetti: “...Electronic data processing Congresses....”
    Aggiungi alla lista
    Salvato in:
  14. 14
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1984
    Soggetti: “...Programming languages (Electronic computers) Semantics Congresses....”
    Aggiungi alla lista
    Salvato in:
  15. 15
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    Libro
    Pubblicazione 1994
    Sommario: “... to the Theoretical Aspects of Coloured Petri Nets / K. Jensen -- Temporal Verification of Simulation and Refinement...”
    Aggiungi alla lista
    Salvato in:
  16. 16
    Atoms to Andromeda : selected lectures on theoretical physics, high-energy nuclear and cosmic ray research, plasma and thermonuclear physics, astronomy, astrophysics and electronic computing /
    Atti del Convegno Libro
    Pubblicazione 1966
    Aggiungi alla lista
    Salvato in:
  17. 17
    Electronic voting and democracy : a comparative analysis /
    Atti del Convegno Libro
    Pubblicazione 2004
    Sommario: “...Part I: Issues and Theoretical Frameworks. 1. Electronic Voting and Democratic Issues...”
    Contributor biographical information
    Publisher description
    Table of contents only
    Aggiungi alla lista
    Salvato in:
  18. 18
    Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
    Atti del Convegno Libro
    Pubblicazione 1986
    Soggetti: “...Programmming (Electronic computers) Congresses....”
    Aggiungi alla lista
    Salvato in:
  19. 19
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    Atti del Convegno Libro
    Pubblicazione 1981
    Soggetti: “...Programming languages (Electronic computers) Congresses....”
    Aggiungi alla lista
    Salvato in:
Strumenti per la ricerca: Feed RSS – Invia questa ricerca per email – Salva la ricerca