Εμφανίζονται 4.361 - 4.380 Αποτελέσματα από 5.062 για την αναζήτηση '"programming languages"', χρόνος αναζήτησης: 0,20δλ Περιορισμός αποτελεσμάτων
  1. 4361
    Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language -- On Topologically Relevant…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 4362
    Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards a Methodology for Component…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 4363
    Advanced Smart Grid Functionalities Based on PowerFactory
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Language (DSL) -- DIgSILENT Programming Language (DPL) -- Interfacing PowerFactory with Third-party…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4364
    Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 4365
    978-3-031-04036-8.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  6. 4366
    978-3-030-79851-2.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  7. 4367
    2021_Book_XcalableMPPGASProgrammingLangu.pdf
    Έκδοση 2020
    “…XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a…”
    Λήψη πλήρους κειμένου
  8. 4368
    2021_Book_DataParallelC.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  9. 4369
    Open Verification Methodology Cookbook
    ανά Glasser, Mark
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 4370
    End User Development
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Natural Programming Languages and Environments -- What Makes End-User Development Tick? 13 Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 4371
    Mobile Phone Programming Application to Wireless Networking /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…to Mobile Phone Programming -- Mobile Phone Programming Languages -- Python for Symbian Phones…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 4372
    From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 4373
    Object-Oriented ActionScript for Flash 8
    ανά Elst, Peter, Yard, Todd, Jacobs, Sas, Drol, William
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 4374
    Integrated Methods for Optimization
    ανά Hooker, John N.
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 4375
    Codecharts : roadmaps and blueprints for object-oriented programs /
    ανά Eden, A. H., 1967-
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  16. 4376
    Design for embedded image processing on FPGAs /
    ανά Bailey, Donald G. (Donald Graeme), 1962-
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  17. 4377
    The Essential Guide to HTML5 Using Games to Learn HTML5 and JavaScript /
    ανά Meyer, Jeanine, Meyer, Jeanine
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 4378
    Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 4379
    Foundations of Geometric Algebra Computing
    ανά Hildenbrand, Dietmar
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 4380
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email