Showing 4,501 - 4,520 results of 5,062 for search '"Programming languages"', query time: 0.47s Refine Results
  1. 4501
    Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings /
    Published 1997
    Table of Contents: “…: Programming languages and concurrent object-oriented programming -- Synchronising asynchronous communications…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 4502
    Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Interpreter for VHDL -- A Programming Language Based Analysis of Operand Forwarding -- Integrating RAM…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 4503
    Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
    Published 2017
    Table of Contents: “… -- A Probabilistic Programming Language for Influence Diagrams -- First-Order Typed Model Counting…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4504
    Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings /
    Published 2005
    Table of Contents: “… on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 4505
    Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools /
    Published 2014
    Table of Contents: “… – An Innovative Project Involving UK and Australian Schools -- The Educational Programming Language Logo: Its…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 4506
    Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Proof Techniques for Cryptographic Protocols -- Type Structure for Low-Level Programming Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 4507
    Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015 /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  8. 4508
    Διάγνωση καρδιακών ασθενειών με ευφυείς μεθόδους
    Get full text
  9. 4509
    Δημιουργία πλατφόρμας παραγωγής προσωποποιημένων e-portfolio με δυνατότητες κοινωνικής δικτύωσης
    Get full text
    Thesis
  10. 4510
    Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings /
    Published 2006
    Table of Contents: “… into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4511
    Human-Computer Systems Interaction Backgrounds and Applications /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  12. 4512
    Human-Computer Interaction – INTERACT 2017 16th IFIP TC 13 International Conference, Mumbai, India, September 25–29, 2017, Proceedings, Part III /
    Published 2017
    Table of Contents: “… Management Tool for Visual Programming Languages -- Text Priming - Effects of Text Visualizations on Readers…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4513
    Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  14. 4514
    Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings /
    Published 1998
    Table of Contents: “… with instance-based boundary sets -- A new abstract logic programming language and its quantifier elimination…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4515
    Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers /
    Published 2006
    Table of Contents: “… Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4516
    Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
    Published 2019
    Table of Contents: “… Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4517
    Diagrammatic Representation and Inference Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings /
    Published 2002
    Table of Contents: “… Experiments -- Grammar-Based Layout for a Visual Programming Language Generation System -- Heterogeneous Data…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4518
    Modeling and Using Context 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Logic Programming Language -- An Ontology for Mobile Device Sensor-Based Context Awareness -- The Use…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4519
    Scientific Computing in Object-Oriented Parallel Environments First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings /
    Published 1997
    Table of Contents: “…++ programming language based on commodity object-oriented technologies -- A compile-time meta-level architecture…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4520
    Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
    Published 1997
    Table of Contents: “…, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search