Showing 501 - 520 results of 1,996 for search 'How to Design Programs', query time: 0.10s Refine Results
  1. 501
    Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings /
    Published 2007
    Table of Contents: “… i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2017
    Table of Contents: “… intelligent systems: the AVICENA experience -- `How did they know?' - Model-checking for analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 503
    Mobile TV: Customizing Content and Experience Mobile Storytelling, Creation and Sharing /
    Published 2010
    Table of Contents: “… and Design of Mobile TV in Everyday Life -- Culture, Interface Design, and Design Methods for Mobile Devices…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 504
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Published 2012
    Table of Contents: “… from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.-  Waiting…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 505
    Foundation Game Design with HTML5 and JavaScript
    by Spuy, Rex van der
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  6. 506
    Advanced Game Design with HTML5 and JavaScript
    by Spuy, Rex van der
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  7. 507
    The Definitive Guide to Modern Java Clients with JavaFX Cross-Platform Mobile and Cloud Development /
    Table of Contents: “…: JavaFX Controls Deep Dive -- 5: Mastering Visual and CSS Design -- 6: High Performance Graphics -- 7…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 508
    Computational Statistics
    by Gentle, James E.
    Published 2009
    Table of Contents: “… Storage and Arithmetic -- Algorithms and Programming -- Approximation of Functions and Numerical…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 509
    Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projects /
    by Watkiss, Stewart
    Published 2016
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 510
    Developing Turn-Based Multiplayer Games with GameMaker Studio 2 and NodeJS /
    by Rajiv, Yadu, Rajiv, Yadu
    Published 2018
    Subjects: “…Computer games-Programming.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 511
    Android Espresso Revealed Writing Automated UI Tests /
    by Zelenchuk, Denys, Zelenchuk, Denys
    Published 2019
    Table of Contents: “…. Screen Object Design Pattern in Android UI tests -- 12. Testing Robot Patterns with Espresso and Kotlin…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 512
    Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Generation Technique -- Process Materialization Using Templates and Rules to Design Flexible Process Models…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 513
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
    by Platzer, André
    Published 2010
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 514
    Systemverilog for Verification A Guide to Learning the Testbench Language Features /
    by Spear, Chris
    Published 2006
    Table of Contents: “… -- Connecting the Testbench and Design -- Randomization -- Threads and Interprocess Communication -- Advanced…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 515
    Global Corporate Workplaces Implementing New Global Workplace Standards in a Local Context /
    by Hodulak, Martin
    Published 2017
    Subjects: “…Interior Architecture and Design.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 516
    Practical Java Machine Learning Projects with Google Cloud Platform and Amazon Web Services /
    by Wickham, Mark, Wickham, Mark
    Published 2018
    Subjects: “…Java (Computer program language).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 517
    Mastering Microsoft Visual Basic 2005 /
    by Petroutsos, Evangelos
    Published 2006
    Subjects: “…BASIC (Computer program language)…”
    Contributor biographical information
    Publisher description
    Book
  18. 518
    Modelling Distributed Systems
    by Fokkink, Wan
    Published 2007
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 519
    Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… in Distributed Systems -- How to Solve Consensus in the Smallest Window of Synchrony -- Local Terminations…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 520
    CASL User Manual Introduction to Using the Common Algebraic Specification Language /
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search