Showing 4,521 - 4,540 results of 5,062 for search '"programming languages"', query time: 0.19s Refine Results
  1. 4521
    Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
    Published 2006
    Table of Contents: “… Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 4522
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 4523
    Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21–24, 2006, Santiago, Chile /
    Published 2006
    Table of Contents: “…-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4524
    Proceedings of the European Computing Conference Volume 2 /
    Published 2009
    Table of Contents: “… Mechanical Analysis of Nanowire FETs -- Software Tools and Programming Languages -- Impact of Quality Factors…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 4525
    Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
    Published 2000
    Table of Contents: “… Demonstration of the Grrr Graph Rewriting Programming Language -- AGG: A Tool Environment for Algebraic Graph…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 4526
    Enterprise Information Systems VI
    Published 2006
    Table of Contents: “… Programming Language with Incomplete Knowledge - Agentspeak(I) -- Federated Mediators for Query Composite…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 4527
    Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /
    Published 2005
    Table of Contents: “… of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 4528
    Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
    Published 2012
    Table of Contents: “… and Balance Control of the Acrobot Solved by Genetic Programming -- Language and Classification…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 4529
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… in Community-Based Gene Regulatory Network Inference -- ABC–Fun: A Probabilistic Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 4530
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    Published 2008
    Table of Contents: “… Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4531
    Intelligent Systems and Applications Proceedings of the 2018 Intelligent Systems Conference (IntelliSys) Volume 2 /
    Published 2019
    Table of Contents: “… Radiation Time Series Analytics based on Hadoop Integrated Programming Language Environment (RHIPE…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4532
    Social Informatics 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012. Proceedings /
    Published 2012
    Table of Contents: “… -- CrowdLang: A Programming Language for the Systematic Exploration of Human Computation Systems -- Experiments…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 4533
    Encyclopedia of information systems /
    Published 2003
    Table of Contents: “… on Privacy -- Procurement -- Productivity -- Programming Languages Classification -- Project Management…”
    Full Text via HEAL-Link
    eBook
  14. 4534
    Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I /
    Published 2017
    Table of Contents: “… Multivariate Gaussian Distributions -- EvoNUM: Ranking Programming Languages for Evolutionary Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4535
    Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
    Published 2002
    Table of Contents: “…Multi-agent Systems -- A Logic Programming Language for Multi-agent Systems -- A Proof-System…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4536
    Parallel Computing Technologies 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Programming Language Based on the Microsoft .NET Platform -- A Fast Pipelined Parallel Ray Casting Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4537
    Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… with Asynchronous Atomic Methods -- Causal Atomicity -- Session 12. Trees, Pushdown Systems and Boolean Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4538
    Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19-21, 2019, Proceedings /
    Published 2019
    Table of Contents: “…: Comparison between Approaches of Individual and Group Decision Making -- The Modeling of a Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4539
    Database and Expert Systems Applications 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I /
    Published 2010
    Table of Contents: “… over Time-Interval Data Streams -- XML Databases, Programming Language and Cooperative Work (Short…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4540
    Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings /
    Published 2005
    Table of Contents: “… for an Aspect Oriented Programming Language -- Secure Requirements Elicitation Through Triggered Message…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search