Showing 301 - 320 results of 11,941 for search '"programming languages"', query time: 0.23s Refine Results
  1. 301
    Contextual equivalence for higher-order pi-calculus revisited

    Contextual equivalence for higher-order pi-calculus revisited by Alan Jeffrey, Julian Rathke

    Published 2005-04-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  2. 302
    Multiactive objects and their applications

    Multiactive objects and their applications by Ludovic Henrio, Justine Rochas

    Published 2017-11-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  3. 303
    Modular session types for objects

    Modular session types for objects by Simon J. Gay, Nils Gesbert, António Ravara, Vasco T. Vasconcelos

    Published 2015-12-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  4. 304
    Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

    Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages by Sebastian Ullrich, Leonardo de Moura

    Published 2022-04-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  5. 305
    Modular, Fully-abstract Compilation by Approximate Back-translation

    Modular, Fully-abstract Compilation by Approximate Back-translation by Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

    Published 2017-10-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  6. 306
    Automated Verification of Practical Garbage Collectors

    Automated Verification of Practical Garbage Collectors by Chris Hawblitzel, Erez Petrank

    Published 2010-08-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  7. 307
    Prioritise the Best Variation

    Prioritise the Best Variation by Wen Kokke, Ornela Dardha

    Published 2023-12-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  8. 308
    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

    Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) by Giuseppe Castagna

    Published 2022-02-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  9. 309
    Robustness Against Transactional Causal Consistency

    Robustness Against Transactional Causal Consistency by Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

    Published 2021-02-01
    Subjects: “…computer science - programming languages…”
    Get full text
    Article
  10. 310
    Case-based reasoning untuk pendukung diagnosa penyakit kulit dan kelamin pada manusia

    Case-based reasoning untuk pendukung diagnosa penyakit kulit dan kelamin pada manusia by ABDIANSAH, Abdiansyah

    Published 2008
    Subjects:
    Thesis
  11. 311
    An interactive OOP learning environment for teaching and learning with Java / Wan Saiful ‘Azzam Wan Ismai,Maznie Manaf and Marina Ahmad

    An interactive OOP learning environment for teaching and learning with Java / Wan Saiful ‘Azzam Wan Ismai,Maznie Manaf and Marina Ahmad by Wan Ismail, Wan Saiful ‘Azzam, Manaf, Maznie, Ahmad, Marina

    Published 2018
    Subjects: “…Programming languages (Electronic computers)…”
    Get full text
    Conference or Workshop Item
  12. 312
    Grammar-based prosody modification for explicit control Malay language storytelling speech synthesis / Muhammad Izzad Ramli

    Grammar-based prosody modification for explicit control Malay language storytelling speech synthesis / Muhammad Izzad Ramli by Ramli, Muhammad Izzad

    Published 2018
    Subjects: “…Programming languages (Electronic computers)…”
    Get full text
    Thesis
  13. 313
    Information technology : guidelines for the preparation of programming language standards

    Information technology : guidelines for the preparation of programming language standards by 8096 British Standards Institution, International Organization for Standardization, International Electrotechnical Commission

    Subjects:
  14. 314
    P-Prolog : a parallel logic programming language /

    P-Prolog : a parallel logic programming language / by 223115 Yang, Rong

    Published 1987
    Subjects: “…PROLOG (Computer program language)…”
  15. 315
    Network performance analysis : using the J programming language /

    Network performance analysis : using the J programming language / by 320440 Holt, Alan

    Published 2008
    Subjects:
  16. 316
    Effective use of ANSI COBOL computer programming language /

    Effective use of ANSI COBOL computer programming language / by 430029 Cohn, Laurence S.

    Published 1975
    Subjects: “…COBOL (Computer program language)…”
  17. 317
    Development of SNMP manager using java programming language /

    Development of SNMP manager using java programming language / by 452873 Choong, Hean Lim

    Published 2002
    Subjects:
  18. 318
    From Pascal to C : an introduction to the C programming language /

    From Pascal to C : an introduction to the C programming language / by 260937 Brown, Douglas L.

    Published 1985
    Subjects: “…C (Computer program language)…”
  19. 319
    Development of run-time UML for JAVA programming language /

    Development of run-time UML for JAVA programming language / by 269497 Sulaiman Mohd. Nor, Mohamed Khalil Mohd. Hani, Mohsen Ashourian, Goh, Hock Ann, TENCON '2000 (2000 : Kuala Lumpur)

    Subjects: “…Java (Computer program language)…”
  20. 320
    Introduction to computer science using the turing programming language /

    Introduction to computer science using the turing programming language / by 217982 Holt, Richard C., Hume, J. N. P.

    Published 1984
    Subjects: “…Turing (Computer program language)…”

Search Tools: