Εμφανίζονται 81 - 100 Αποτελέσματα από 184 για την αναζήτηση 'Concept (generic programming)', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 81
    Testing Commercial-off-the-Shelf Components and Systems
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Automatic Testing of Exception Handling Code -- Basic Concepts and Terms -- Testing Components…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 82
    Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…, Testing and Statistics -- Development of a Generic Voter under FoCal -- Combining Satisfiability Solving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 83
    Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Transformations -- Contributed Papers -- Verification for Java's Reentrant Multithreading Concept…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 84
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 85
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Programming Concepts (IFIP WG 2.2) -- A more complete TLA -- Formal justification of the rely-guarantee…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 86
    Transactions on Computational Science II
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 87
    Java in Two Semesters Featuring JavaFX /
    ανά Charatan, Quentin, Charatan, Quentin, Kans, Aaron
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Working with Files -- Packages -- Multi-Threaded Programs -- Advanced Case Study -- The Stream API…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 88
    System Architecture An Ordinary Engineering Discipline /
    Πίνακας περιεχομένων: “…Introduction -- Understanding Decimal Addition -- Basic Mathematical Concepts -- Number Formats…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 89
    Conceptual Structures: Fulfilling Peirce's Dream Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… and simulating human behaviours with conceptual graphs -- Conceptual graphs and formal concept analysis -- How…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 90
    Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 91
    Illustrated C# 7 The C# Language Presented Clearly, Concisely, and Visually /
    ανά Solis, Daniel, Solis, Daniel, Schrotenboer, Cal
    Έκδοση 2018
    Πίνακας περιεχομένων: “…1. C# and the .NET Framework -- 2. C# and .NET Core -- 3. Overview of C# Programming -- 4. Types…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 92
    Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Repairing Data Anomalies in Process Models -- Designing Generic Business Processes Based on SOA: An Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 93
    Parallel Problem Solving from Nature - PPSN V 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Further experimentations on the scalability of the GEMGA -- Indexed memory as a generic protocol…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 94
    Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach /
    ανά Fritzson, Peter A., 1952-
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Concept; 1.3 Simulation; 1.4 Building Models; 1.5 Analyzing Models; 1.6 Kinds of Mathematical Models; 1.7…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  15. 95
    L’autonomie des élèves dans l’apprentissage de la physique-chimie selon les enseignants
    Θέματα: “…Educational robotics, visual programming, didactical analysis, early childhood education…”
    Λήψη πλήρους κειμένου
    Online
  16. 96
    Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Personalizing PageRank-Based Ranking over Distributed Collections -- Generic Schema Merging -- Service-oriented…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 97
    Computational Science - ICCS 2003 International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003, Proceedings, Part IV /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Program for ab initio Quantum Chemistry -- Local Correlation Models -- Multiresolution Quantum Chemistry…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 98
    Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Networks -- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 99
    Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Generic Module System for Web Rule Languages: Divide and Rule -- Towards Semantically Grounded Decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 100
    Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Safety Markup Language: Concept and Application -- Extendable Ground-to-Air Communication Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email