Suggested Topics within your search.
Showing 1 - 19 results of 19 for search 'Electronic Proceedings in Theoretical Computer Science', query time: 0.05s Refine Results
  1. 1
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
    Conference Proceeding Book
    Published 1985
    Subjects: “…Computer software Congresses.…”
    Save to List
    Saved in:
  2. 2
    Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
    Book
    Published 1986
    Subjects: “…Computer software Congresses.…”
    Save to List
    Saved in:
  3. 3
    Proceedings : Fourth Annual Symposium on Logic in Computer Science /
    Conference Proceeding Book
    Published 1989
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1989
    Subjects: “…Computational linguistics.…”
    Save to List
    Saved in:
  5. 5
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    Conference Proceeding Book
    Published 1974
    Subjects: “…Programming languages (Electronic computers) Congresses.…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1990
    Subjects: “…Parallel processing (Electronic computers)…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1982
    Subjects: “…Electronic digital computers Programming.…”
    Save to List
    Saved in:
  8. 8
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Conference Proceeding Book
    Published 1990
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved in:
  9. 9
    Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    Conference Proceeding Book
    Published 1991
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved in:
  10. 10
    STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /
    Conference Proceeding Book
    Published 1986
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved in:
  11. 11
    STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11-13, 1984 /
    Conference Proceeding Book
    Published 1984
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1989
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1988
    Subjects: “…Electronic data processing Congresses.…”
    Save to List
    Saved in:
  14. 14
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
    Conference Proceeding Book
    Published 1984
    Subjects: “…Programming languages (Electronic computers) Semantics Congresses.…”
    Save to List
    Saved in:
  15. 15
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    Book
    Published 1994
    Table of Contents: “… to the Theoretical Aspects of Coloured Petri Nets / K. Jensen -- Temporal Verification of Simulation and Refinement…”
    Save to List
    Saved 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 /
    Conference Proceeding Book
    Published 1966
    Save to List
    Saved in:
  17. 17
    Electronic voting and democracy : a comparative analysis /
    Conference Proceeding Book
    Published 2004
    Table of Contents: “…Part I: Issues and Theoretical Frameworks. 1. Electronic Voting and Democratic Issues…”
    Contributor biographical information
    Publisher description
    Table of contents only
    Save to List
    Saved in:
  18. 18
    Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
    Conference Proceeding Book
    Published 1986
    Subjects: “…Programmming (Electronic computers) Congresses.…”
    Save to List
    Saved in:
  19. 19
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    Conference Proceeding Book
    Published 1981
    Subjects: “…Programming languages (Electronic computers) Congresses.…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search