Εμφανίζονται 4.181 - 4.200 Αποτελέσματα από 4.364 για την αναζήτηση '"Logic."', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 4181
    Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 4182
    Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 4183
    Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4184
    DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 4185
    Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 4186
    Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 4187
    Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 4188
    Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 4189
    Προς την απαλοιφή των λογικών προτάσεων
    ανά Ζαριφόπουλος, Νίκος
    Έκδοση 2021
    Θέματα: “…Logical form syntax…”
    Λήψη πλήρους κειμένου
  10. 4190
    Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
    ανά Müller-Olm, Markus, Müller-Olm, Markus
    Έκδοση 1997
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 4191
    Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
    Έκδοση 2002
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 4192
    Extreme Programming and Agile Methods - XP/Agile Universe 2002 Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings /
    Έκδοση 2002
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 4193
    Computer Security - ESORICS 2000 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 4194
    Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
    Έκδοση 2004
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 4195
    Interactive Systems: Design, Specification, and Verification 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 /
    Έκδοση 2002
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 4196
    Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 4197
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 4198
    Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 4199
    Hybrid Systems: Computation and Control Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings /
    Έκδοση 1999
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 4200
    Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email