בתוך החיפוש שלך נושאים מוצעים
Showing 1 - 19 results of 19 for search 'Electronic Proceedings in Theoretical Computer Science', זמן שאילתה: 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 ספר
    יצא לאור 1985
    נושאים: "...Computer software Congresses...."
    הוספה למועדפים
    שמור ב:
  2. 2
    Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
    ספר
    יצא לאור 1986
    נושאים: "...Computer software Congresses...."
    הוספה למועדפים
    שמור ב:
  3. 3
    Proceedings : Fourth Annual Symposium on Logic in Computer Science /
    Conference Proceeding ספר
    יצא לאור 1989
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1989
    נושאים: "...Computational linguistics...."
    הוספה למועדפים
    שמור ב:
  5. 5
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    Conference Proceeding ספר
    יצא לאור 1974
    נושאים: "...Programming languages (Electronic computers) Congresses...."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1990
    נושאים: "...Parallel processing (Electronic computers)..."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1982
    נושאים: "...Electronic digital computers Programming...."
    הוספה למועדפים
    שמור ב:
  8. 8
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Conference Proceeding ספר
    יצא לאור 1990
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  9. 9
    Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    Conference Proceeding ספר
    יצא לאור 1991
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  10. 10
    STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /
    Conference Proceeding ספר
    יצא לאור 1986
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  11. 11
    STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11-13, 1984 /
    Conference Proceeding ספר
    יצא לאור 1984
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1989
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1988
    נושאים: "...Electronic data processing Congresses...."
    הוספה למועדפים
    שמור ב:
  14. 14
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
    Conference Proceeding ספר
    יצא לאור 1984
    נושאים: "...Programming languages (Electronic computers) Semantics Congresses...."
    הוספה למועדפים
    שמור ב:
  15. 15
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    ספר
    יצא לאור 1994
    תוכן הענינים: "... to the Theoretical Aspects of Coloured Petri Nets / K. Jensen -- Temporal Verification of Simulation and Refinement..."
    הוספה למועדפים
    שמור ב:
  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 ספר
    יצא לאור 1966
    הוספה למועדפים
    שמור ב:
  17. 17
    Electronic voting and democracy : a comparative analysis /
    Conference Proceeding ספר
    יצא לאור 2004
    תוכן הענינים: "...Part I: Issues and Theoretical Frameworks. 1. Electronic Voting and Democratic Issues..."
    Contributor biographical information
    Publisher description
    Table of contents only
    הוספה למועדפים
    שמור ב:
  18. 18
    Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
    Conference Proceeding ספר
    יצא לאור 1986
    נושאים: "...Programmming (Electronic computers) Congresses...."
    הוספה למועדפים
    שמור ב:
  19. 19
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    Conference Proceeding ספר
    יצא לאור 1981
    נושאים: "...Programming languages (Electronic computers) Congresses...."
    הוספה למועדפים
    שמור ב:
כלי חיפוש: קבל רסס (RSS) – שליחת חיפוש דרך דואל – שמירת חיפוש