Εμφανίζονται 47.601 - 47.620 Αποτελέσματα από 48.854 για την αναζήτηση '"Computer"', χρόνος αναζήτησης: 0,62δλ Περιορισμός αποτελεσμάτων
  1. 47601
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 47602
    Intelligent Techniques in E-Commerce A Case Based Reasoning Perspective /
    ανά Sun, Zhaohao, Sun, Zhaohao, Finnie, Gavin R.
    Έκδοση 2004
    Θέματα: “…Mathematical and Computational Engineering. http://scigraph.springernature.com/things/product…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 47603
    Conceptual Modeling - ER 2004 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Data structures (Computer science).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 47604
    Medical Image Computing and Computer-Assisted Intervention - MICCAI'98 First International Conference, Cambridge, MA, USA, October 11-13, 1998, Proceedings /
    Έκδοση 1998
    Θέματα: “…Image Processing and Computer Vision. http://scigraph.springernature.com/things/product-market…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 47605
    Conceptual Modeling - ER 2002 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings /
    Έκδοση 2003
    Θέματα: “…Computer simulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 47606
    Advances in Object-Oriented Information Systems OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings /
    Έκδοση 2002
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 47607
    Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
    Έκδοση 1998
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 47608
    Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  9. 47609
    Application of the method of quantifier elimination to the determination of intervals when the uncertain parameters satisfy an ellipsoidal inequality constraint
    ανά Ioakimidis, Nikolaos
    Έκδοση 2021
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  10. 47610
    Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
  11. 47611
    Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination
    ανά Ioakimidis, Nikolaos
    Έκδοση 2020
    Θέματα: “…Symbolic computations…”
    Λήψη πλήρους κειμένου
    Technical Report
  12. 47612
    Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 47613
    The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings /
    Έκδοση 2018
    Θέματα: “…Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 47614
    Information Fusion and Intelligent Geographic Information Systems (IF&IGIS'17) New Frontiers in Information Fusion and Intelligent GIS: From Maritime to Land-based Research /
    Έκδοση 2018
    Θέματα: “…Computer simulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 47615
    Monte Carlo Simulation in Statistical Physics An Introduction /
    ανά Binder, Kurt, Binder, Kurt, Heermann, Dieter W.
    Έκδοση 2019
    Θέματα: “…Computer simulation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 47616
    Advances in Biometrics Modern Methods and Implementation Strategies /
    Έκδοση 2019
    Θέματα: “…Image Processing and Computer Vision. http://scigraph.springernature.com/things/product-market…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 47617
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 47618
    Design Thinking Research Looking Further: Design Thinking Beyond Solution-Fixation /
    Έκδοση 2019
    Θέματα: “…Computer science.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 47619
    Decision Support Systems IX: Main Developments and Future Trends 5th International Conference on Decision Support System Technology, EmC-ICDSST 2019, Funchal, Madeira, Portugal, May 27-29, 2019, Proceedings /
    Έκδοση 2019
    Θέματα: “…Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 47620
    Quantitative Methods in Environmental and Climate Research
    Έκδοση 2018
    Θέματα: “…Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences. http…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email