Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 19 արդյունքները 19 այս փնտրման համար 'Electronic Proceedings in Theoretical Computer Science', հարցման ժամանակը: 0.04s Հստակեցնել արդյունքները
  1. 1
    Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1989
    Խորագրեր: “…Computational linguistics.…”
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1982
    Խորագրեր: “…Electronic digital computers Programming.…”
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1990
    Խորագրեր: “…Electronic data processing Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1991
    Խորագրեր: “…Electronic data processing Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
  10. 10
    STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1986
    Խորագրեր: “…Electronic data processing Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
  11. 11
    STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11-13, 1984 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1988
    Խորագրեր: “…Electronic data processing Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
  14. 14
    Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1966
    Պահել ցուցակում
    Պահպանված է:
  17. 17
    Electronic voting and democracy : a comparative analysis /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 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 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1986
    Խորագրեր: “…Programmming (Electronic computers) Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
  19. 19
    Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1981
    Խորագրեր: “…Programming languages (Electronic computers) Congresses.…”
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը