Εμφανίζονται 501 - 520 Αποτελέσματα από 1.996 για την αναζήτηση 'How to Design Programs', χρόνος αναζήτησης: 0,99δλ Περιορισμός αποτελεσμάτων
  1. 501
    Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 502
    Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… intelligent systems: the AVICENA experience -- `How did they know?' - Model-checking for analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 503
    Mobile TV: Customizing Content and Experience Mobile Storytelling, Creation and Sharing /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Design of Mobile TV in Everyday Life -- Culture, Interface Design, and Design Methods for Mobile Devices…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 504
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 505
    Foundation Game Design with HTML5 and JavaScript
    ανά Spuy, Rex van der
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 506
    Advanced Game Design with HTML5 and JavaScript
    ανά Spuy, Rex van der
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 507
    The Definitive Guide to Modern Java Clients with JavaFX Cross-Platform Mobile and Cloud Development /
    ανά Chin, Stephen, Chin, Stephen, Vos, Johan, Weaver, James
    Έκδοση 2019
    Πίνακας περιεχομένων: “…: JavaFX Controls Deep Dive -- 5: Mastering Visual and CSS Design -- 6: High Performance Graphics -- 7…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 508
    Computational Statistics
    ανά Gentle, James E.
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Storage and Arithmetic -- Algorithms and Programming -- Approximation of Functions and Numerical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 509
    Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projects /
    ανά Watkiss, Stewart
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 510
    Developing Turn-Based Multiplayer Games with GameMaker Studio 2 and NodeJS /
    ανά Rajiv, Yadu, Rajiv, Yadu
    Έκδοση 2018
    Θέματα: “…Computer games-Programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 511
    Android Espresso Revealed Writing Automated UI Tests /
    ανά Zelenchuk, Denys, Zelenchuk, Denys
    Έκδοση 2019
    Πίνακας περιεχομένων: “…. Screen Object Design Pattern in Android UI tests -- 12. Testing Robot Patterns with Espresso and Kotlin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 512
    Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Generation Technique -- Process Materialization Using Templates and Rules to Design Flexible Process Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 513
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
    ανά Platzer, André
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 514
    Systemverilog for Verification A Guide to Learning the Testbench Language Features /
    ανά Spear, Chris
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Connecting the Testbench and Design -- Randomization -- Threads and Interprocess Communication -- Advanced…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 515
    Global Corporate Workplaces Implementing New Global Workplace Standards in a Local Context /
    ανά Hodulak, Martin
    Έκδοση 2017
    Θέματα: “…Interior Architecture and Design.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 516
    Practical Java Machine Learning Projects with Google Cloud Platform and Amazon Web Services /
    ανά Wickham, Mark, Wickham, Mark
    Έκδοση 2018
    Θέματα: “…Java (Computer program language).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 517
    Mastering Microsoft Visual Basic 2005 /
    ανά Petroutsos, Evangelos
    Έκδοση 2006
    Θέματα: “…BASIC (Computer program language)…”
    Contributor biographical information
    Publisher description
    Βιβλίο
  18. 518
    Modelling Distributed Systems
    ανά Fokkink, Wan
    Έκδοση 2007
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 519
    Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Distributed Systems -- How to Solve Consensus in the Smallest Window of Synchrony -- Local Terminations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 520
    CASL User Manual Introduction to Using the Common Algebraic Specification Language /
    ανά Bidoit, Michel, Bidoit, Michel, Mosses, Peter D.
    Έκδοση 2004
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email