Εμφανίζονται 841 - 860 Αποτελέσματα από 53.007 για την αναζήτηση '"23"', χρόνος αναζήτησης: 0,15δλ Περιορισμός αποτελεσμάτων
  1. 841
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
    Έκδοση 1987
    Πρακτικό Συνεδρίου Βιβλίο
  2. 842
    Operating systems principles Proceedings of the 12th ACM Symposium The Wigwam Litchfield Park, Arizona December 3-6, 1989 ACM SIGOPS Vol.23, No.5 (Special Issue)
    Έκδοση 1989
    Βιβλίο
  3. 843
    Η πεζογραφία στη Θεσσαλονίκη από το 1912 έως το 1995 : πρακτικά Συμποσίου, Βαφοπούλειο Πνευματικό Κέντρο, 23, 24, 25 Οκτωβρίου 1996 /
    Έκδοση 1997
    Πρακτικό Συνεδρίου Βιβλίο
  4. 844
    APL (Abstract programming language) Proceedings.International Conference on APL St. Petersburg (Leningrad) Russia, 6-10 July, 1992 ACM/SIGAPL Vol 23, No 1, July 1992
    Έκδοση 1992
    Βιβλίο
  5. 845
    Topology : general and algebraic topology, and applications : proceedings of the International Topological Conference held in Leningrad, August 23-27, 1982 /
    Έκδοση 1984
    Πρακτικό Συνεδρίου Βιβλίο
  6. 846
    Ο ελληνικός τύπος 1784 ως σήμερα La presse grecque de 1784 a nos jours πρακτικά διεθνούς συνεδρίου, Αθήνα, 23-25 Μαίου 2002 approches historiques et theoriques actes du colloque international, Athens, 23-25 Mai 2002
    Έκδοση 2005
    “… international, Athens, 23-25 Mai 2002…”
    Βιβλίο
  7. 847
    Modeling Decisions for Artificial Intelligence 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 848
    Structural Information and Communication Complexity 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 849
    Machine Learning: ECML-98 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 850
    Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 851
    Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 852
    Advances in Cryptology - CRYPTO '98 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 853
    Graph-Theoretic Concepts in Computer Science 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 854
    Speech and Computer 18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 855
    Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 856
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction -- Hilberticus - A Tool Deciding…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 857
    Inverse Problems of Wave Propagation and Diffraction Proceedings of the Conference Held in Aix-les-Bains, France, September 23-27, 1996 /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…-les-Bains (23-27 sept.1996).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 858
    Advances in Cryptology - CRYPTO 2001 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings /
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 859
    Advances in Cryptology -- CRYPTO 2003 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 860
    Algorithms and Computation 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings /
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email