Εμφανίζονται 221 - 238 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,97δλ Περιορισμός αποτελεσμάτων
  1. 221
    Languages and Compilers for Parallel Computing 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 222
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 223
    SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Automatic Bug Detection in Microcontroller Software by Static Program Analysis -- On the Unification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 224
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 225
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… between Hardware and Software -- Computational Logical Frameworks and Generic Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 226
    EKC2008 Proceedings of the EU-Korea Conference on Science and Technology
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Shell Elements Performance by Inserting 3-D Model: In Finite Elements Analysis with ANSYS Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 227
    Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Symbolic Evaluation -- Quasar: A New Tool for Concurrent Ada Programs Analysis -- Distributed Information…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 228
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Tabled Logic Programs -- Analysis -- A New Approach to Non-termination Analysis of Logic Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 229
    Analysis and modelling of non-steady flow in pipe and channel networks /
    ανά Jovic, Vinko
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  10. 230
    Informatics Education - Supporting Computational Thinking Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Programming -- Analysis of Learning Objectives in Object Oriented Programming -- To Have or to Be? Possessing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 231
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 232
    High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Probabilistic Program Analysis for Parallelizing Compilers -- 6: Linear and Non-Linear Algebra -- Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 233
    Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… to Salience Hierarchy in the GAuGE System -- More on Computational Effort Statistics for Genetic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 234
    MICAI 2000: Advances in Artificial Intelligence Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… the Threshold Accepting Algorithm -- A Practical Approach for Logic Program Analysis and Transformation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 235
    Building the Information Society IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Prediction by Static Program Analysis -- AstrÉe: Verification of Absence of Runtime Error -- Industrial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 236
    Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Mapping for Spherical GUI Design: Clustering of Must-Watch and No-Need TV Programs -- Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 237
    Operations Research Proceedings 2014 Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), RWTH Aachen University, Germany, September 2-5, 2014 /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Optimization with the help of Quantified Linear Programming -- Analysis of Ambulance Location Models Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 238
    Public Health Aspects of HIV/AIDS in Low and Middle Income Countries Epidemiology, Prevention and Care /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email