Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER PROGRAMMING (25 journals)

Showing 1 - 25 of 25 Journals sorted alphabetically
ACM SIGPLAN Fortran Forum     Full-text available via subscription   (Followers: 3)
ACM Transactions on Programming Languages and Systems (TOPLAS)     Hybrid Journal   (Followers: 18)
Acta Informatica     Hybrid Journal   (Followers: 5)
Advances in Image and Video Processing     Open Access   (Followers: 28)
Algorithmica     Hybrid Journal   (Followers: 9)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 12)
Computer Methods and Programs in Biomedicine     Hybrid Journal   (Followers: 6)
Constraints     Hybrid Journal  
Grey Systems : Theory and Application     Hybrid Journal  
International Journal of Parallel Programming     Hybrid Journal   (Followers: 6)
International Journal of People-Oriented Programming     Full-text available via subscription  
International Journal of Soft Computing and Software Engineering     Open Access   (Followers: 14)
Journal of Computer Languages     Hybrid Journal   (Followers: 5)
Journal of Functional Programming     Hybrid Journal   (Followers: 1)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal   (Followers: 1)
Linux Journal     Full-text available via subscription   (Followers: 25)
Mathematical and Computational Applications     Open Access   (Followers: 3)
Mathematical Programming     Hybrid Journal   (Followers: 15)
Optimization: A Journal of Mathematical Programming and Operations Research     Hybrid Journal   (Followers: 6)
Proceedings of the ACM on Programming Languages     Open Access   (Followers: 5)
Programming and Computer Software     Hybrid Journal   (Followers: 16)
Python Papers     Open Access   (Followers: 11)
Python Papers Monograph     Open Access   (Followers: 4)
Science of Computer Programming     Hybrid Journal   (Followers: 14)
Theory and Practice of Logic Programming     Hybrid Journal   (Followers: 3)
   Most Followed Journals

   Top Publishers

   Top Subjects
Similar Journals
Journal Cover
Proceedings of the ACM on Programming Languages
Number of Followers: 5  

  This is an Open Access Journal Open Access journal
ISSN (Online) 2475-1421
Published by ACM Homepage  [83 journals]
  • How to Bake a Quantum Π

    • Authors: Jacques CaretteChris HeunenRobin KaarsgaardAmr Sabry
      Pages: 1 - 29
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 1-29, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674625
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for
           Mechanized Cost Analysis of Lazy Programs

    • Authors: Li-yao XiaLaura IsraelMaite KramarzNicholas ColtharpKoen ClaessenStephanie WeirichYao Li
      Pages: 30 - 63
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 30-63, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674626
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Compiled, Extensible, Multi-language DSLs (Functional Pearl)

    • Authors: Michael BallantyneMitch GamburgJason Hemann
      Pages: 64 - 87
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 64-87, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674627
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Double-Ended Bit-Stealing for Algebraic Data Types

    • Authors: Martin Elsman
      Pages: 88 - 120
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 88-120, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674628
      Issue No: Vol. 8, No. ICFP (2024)
       
  • A Safe Low-Level Language for Computer Algebra and Its Formally Verified
           Compiler

    • Authors: Guillaume MelquiondJosué Moreau
      Pages: 121 - 146
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 121-146, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674629
      Issue No: Vol. 8, No. ICFP (2024)
       
  • On the Operational Theory of the CPS-Calculus: Towards a Theoretical
           Foundation for IRs

    • Authors: Paulo TorrensDominic OrchardCristiano Vasconcellos
      Pages: 147 - 176
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 147-176, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674630
      Issue No: Vol. 8, No. ICFP (2024)
       
  • The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and
           Ugly to Get Along (Functional Pearl)

    • Authors: Manuel SerranoRobert Bruce Findler
      Pages: 177 - 202
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 177-202, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674631
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Almost-Sure Termination by Guarded Refinement

    • Authors: Simon Oddershede GregersenAlejandro AguirrePhilipp G. HaselwarterJoseph TassarottiLars Birkedal
      Pages: 203 - 233
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 203-233, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674632
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Functional Programming in Financial Markets (Experience Report)

    • Authors: Atze DijkstraJosé Pedro MagalhãesPierre Néron
      Pages: 234 - 248
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 234-248, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674633
      Issue No: Vol. 8, No. ICFP (2024)
       
  • The Long Way to Deforestation: A Type Inference and Elaboration Technique
           for Removing Intermediate Data Structures

    • Authors: Yijia ChenLionel Parreaux
      Pages: 249 - 283
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 249-283, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674634
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order
           Probabilistic Programs

    • Authors: Alejandro AguirrePhilipp G. HaselwarterMarkus de MedeirosKwing Hei LiSimon Oddershede GregersenJoseph TassarottiLars Birkedal
      Pages: 284 - 316
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 284-316, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674635
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Example-Based Reasoning about the Realizability of Polymorphic Programs

    • Authors: Niek MullenersJohan JeuringBastiaan Heeren
      Pages: 317 - 337
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 317-337, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674636
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Snapshottable Stores

    • Authors: Clément AllainBasile ClémentAlexandre MoineGabriel Scherer
      Pages: 338 - 369
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 338-369, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674637
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

    • Authors: Patrick BahrGraham Hutton
      Pages: 370 - 394
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 370-394, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674638
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Grokking the Sequent Calculus (Functional Pearl)

    • Authors: David BinderMarco TzschentkeMarius MüllerKlaus Ostermann
      Pages: 395 - 425
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 395-425, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674639
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Sound Borrow-Checking for Rust via Symbolic Semantics

    • Authors: Son HoAymeric FromherzJonathan Protzenko
      Pages: 426 - 454
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 426-454, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674640
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Abstracting Effect Systems for Algebraic Effect Handlers

    • Authors: Takuma YoshiokaTaro SekiyamaAtsushi Igarashi
      Pages: 455 - 484
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 455-484, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674641
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Oxidizing OCaml with Modal Memory Management

    • Authors: Anton LorenzenLeo WhiteStephen DolanRichard A. EisenbergSam Lindley
      Pages: 485 - 514
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 485-514, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674642
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Blame-Correct Support for Receiver Properties in Recursively-Structured
           Actor Contracts

    • Authors: Bram VandenbogaerdeQuentin StiévenartCoen De Roover
      Pages: 515 - 543
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 515-543, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674643
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Gradual Indexed Inductive Types

    • Authors: Mara MalewskiKenji MaillardNicolas TabareauÉric Tanter
      Pages: 544 - 572
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 544-572, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674644
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Refinement Composition Logic

    • Authors: Youngju SongDongjae Lee
      Pages: 573 - 601
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 573-601, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674645
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Abstract Interpreters: A Monadic Approach to Modular Verification

    • Authors: Sébastien MichellandYannick ZakowskiLaure Gonnord
      Pages: 602 - 629
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 602-629, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674646
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Dependent Ghosts Have a Reflection for Free

    • Authors: Théo Winterhalter
      Pages: 630 - 658
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 630-658, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674647
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Closure-Free Functional Programming in a Two-Level Type Theory

    • Authors: András Kovács
      Pages: 659 - 692
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 659-692, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674648
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Staged Compilation with Module Functors

    • Authors: Tsung-Ju ChiangJeremy YallopLeo WhiteNingning Xie
      Pages: 693 - 727
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 693-727, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674649
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Deriving with Derivatives: Optimizing Incremental Fixpoints for
           Higher-Order Flow Analysis

    • Authors: Benjamin QuiringDavid Van Horn
      Pages: 728 - 755
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 728-755, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674650
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Parallel Algebraic Effect Handlers

    • Authors: Ningning XieDaniel D. JohnsonDougal MaclaurinAdam Paszke
      Pages: 756 - 788
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 756-788, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674651
      Issue No: Vol. 8, No. ICFP (2024)
       
  • A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling
           Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of
           Abstraction

    • Authors: Calvin BeckIrene YoonHanxi ChenYannick ZakowskiSteve Zdancewic
      Pages: 789 - 817
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 789-817, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674652
      Issue No: Vol. 8, No. ICFP (2024)
       
  • CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs

    • Authors: Cole KurashigeRuyi JiAditya GiridharanMark BarboneDaniel NoorShachar ItzhakyRanjit JhalaNadia Polikarpova
      Pages: 818 - 844
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 818-844, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674653
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Call-by-Unboxed-Value

    • Authors: Paul Downen
      Pages: 845 - 879
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 845-879, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674654
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Contextual Typing

    • Authors: Xu XueBruno C. d. S. Oliveira
      Pages: 880 - 908
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 880-908, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674655
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Specification and Verification for Unrestricted Algebraic Effects and
           Handling

    • Authors: Yahui SongDarius FooWei-Ngan Chin
      Pages: 909 - 937
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 909-937, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674656
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Synchronous Programming with Refinement Types

    • Authors: Jiawei ChenJosé Luiz Vargas de MendonçaBereket Shimels AyeleBereket Ngussie BekeleShayan JaliliPranjal SharmaNicholas WohlfeilYicheng ZhangJean-Baptiste Jeannin
      Pages: 938 - 972
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 938-972, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674657
      Issue No: Vol. 8, No. ICFP (2024)
       
  • Automated Verification of Higher-Order Probabilistic Programs via a
           Dependent Refinement Type System

    • Authors: Satoshi KuraHiroshi Unno
      Pages: 973 - 1002
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 973-1002, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674662
      Issue No: Vol. 8, No. ICFP (2024)
       
  • A Coq Mechanization of JavaScript Regular Expression Semantics

    • Authors: Noé De SantoAurèle BarrièreClément Pit-Claudel
      Pages: 1003 - 1031
      Abstract: Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP, Page 1003-1031, August 2024.

      Citation: Proceedings of the ACM on Programming Languages
      PubDate: 2024-08-15T04:48:07Z
      DOI: 10.1145/3674666
      Issue No: Vol. 8, No. ICFP (2024)
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 18.97.14.86
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-
JournalTOCs
 
 
  Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER PROGRAMMING (25 journals)

Showing 1 - 25 of 25 Journals sorted alphabetically
ACM SIGPLAN Fortran Forum     Full-text available via subscription   (Followers: 3)
ACM Transactions on Programming Languages and Systems (TOPLAS)     Hybrid Journal   (Followers: 18)
Acta Informatica     Hybrid Journal   (Followers: 5)
Advances in Image and Video Processing     Open Access   (Followers: 28)
Algorithmica     Hybrid Journal   (Followers: 9)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 12)
Computer Methods and Programs in Biomedicine     Hybrid Journal   (Followers: 6)
Constraints     Hybrid Journal  
Grey Systems : Theory and Application     Hybrid Journal  
International Journal of Parallel Programming     Hybrid Journal   (Followers: 6)
International Journal of People-Oriented Programming     Full-text available via subscription  
International Journal of Soft Computing and Software Engineering     Open Access   (Followers: 14)
Journal of Computer Languages     Hybrid Journal   (Followers: 5)
Journal of Functional Programming     Hybrid Journal   (Followers: 1)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal   (Followers: 1)
Linux Journal     Full-text available via subscription   (Followers: 25)
Mathematical and Computational Applications     Open Access   (Followers: 3)
Mathematical Programming     Hybrid Journal   (Followers: 15)
Optimization: A Journal of Mathematical Programming and Operations Research     Hybrid Journal   (Followers: 6)
Proceedings of the ACM on Programming Languages     Open Access   (Followers: 5)
Programming and Computer Software     Hybrid Journal   (Followers: 16)
Python Papers     Open Access   (Followers: 11)
Python Papers Monograph     Open Access   (Followers: 4)
Science of Computer Programming     Hybrid Journal   (Followers: 14)
Theory and Practice of Logic Programming     Hybrid Journal   (Followers: 3)
   Most Followed Journals

   Top Publishers

   Top Subjects
Similar Journals
Similar Journals
HOME > Browse the 73 Subjects covered by JournalTOCs  
SubjectTotal Journals
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 18.97.14.86
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-