Εμφανίζονται 821 - 840 Αποτελέσματα από 1.996 για την αναζήτηση 'How to Design Programs', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 821
    Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Solution for Co-design in Radio Base Station DSP SW -- A Framework for Classification of Change Approaches…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 822
    Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… to the Superposition Problem -- On Computational Power of Quantum Branching Programs -- Efficient Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 823
    Advances in Object-Oriented Information Systems OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… HIerarchies -- "Real World" as an Argument for Covariant Specialization in Programming and Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 824
    Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Addressing Stakeholder Interests in Design Science Research: An Analysis Using Critical Systems Heuristics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 825
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… and Classic Code -- Why Programming Must Be Supported by Modeling and How -- On Models and Code - A Unified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 826
    Multiagent System Technologies First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… for Agent Design and Simulation -- On Programming Information Agent Systems - An Integrated Hotel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 827
    Object-Oriented Information Systems 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Services for Tailorable E-content Delivery -- An Object-Oriented Approach for Designing Administrative E…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 828
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Assessment of Electronic Offers -- A Decomposition Based Approach for Design of Supply Aggregation and Demand…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 829
    Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Complete Viral Infected Recovery -- Procedurally Placement of Tropical Beach Vegetation in Level Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 830
    ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… System -- Applying Enterprise Architecture to the Design of the Integrated Forest Products Supply Chain…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 831
    Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 832
    Software Engineering for Large-Scale Multi-Agent Systems Research Issues and Practical Applications /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Roles in Designing Effective Agent Organizations -- Requirements Engineering and Software Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 833
    Algorithms - ESA'99 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…ESA'99 Program -- Adaptively-Secure Distributed Public-Key Systems -- How Long Does a Bit Live in a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 834
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Design Automation -- Invited Tutorial: Verification of Infinite-state and Parameterized Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 835
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… on Android -- Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 836
    Advances in Learning Software Organizations 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Information Systems -- Learning How to Manage Risks Using Organizational Knowledge -- Building Ontology Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 837
    Handbook of Floating-Point Arithmetic
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 838
    Algorithms and Computation 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Matching (I) -- A Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 839
    Computational Science - ICCS 2003 International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part I /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Symmetric Balanced Incomplete Block Design -- A Parallel Virtual Machine for Bulk Synchronous Parallel ML…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 840
    Parallel Computation 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16-18, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Strategy for a SCF Program at the Hartree Fock Level -- Computational Issues in Optimizing Ophthalmic Lens…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email