Search Results - Processing (programming language)
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 33
- Software Engineering 29
- Artificial intelligence 20
- Computer programming / software development 18
- Software engineering 14
- Computer networking & communications 11
- Algorithms & data structures 9
- Computer Science 9
- Network hardware 8
- Programming & scripting languages: general 8
- Artificial Intelligence 7
- Education 7
- Expert systems / knowledge-based systems 6
- Machine learning 6
- Mathematics 6
- Natural Language Processing (NLP) 6
- Natural language & machine translation 6
- Natural language processing (Computer science) 6
- Programming Languages 6
- Systems analysis & design 6
- Theory of Computation 6
- Compilers (Computer programs) 5
- Compilers and Interpreters 5
- Computer Science Logic and Foundations of Programming 5
- Computer architecture & logic design 5
- Computer programming 5
- Data processing 5
- Discrete mathematics 5
- Formal Languages and Automata Theory 5
- Humanities 5
-
81
-
82
-
83
-
84
-
85
-
86
-
87
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
88
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
89
-
90
Java, Java, Java Object-Oriented Problem Solving
Published 2016Access online version
Electronic eBook -
91
-
92
Mathematical Modeling and Simulation with MATLAB
Published 2021Access online version
Electronic eBook -
93
How to Think Like a Computer Scientist C++ Version
Published 2012Access online version
Electronic eBook -
94
How to Think Like a Computer Scientist C Version
Published 1999Access online version
Electronic eBook -
95
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
96
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…Natural Language Processing (NLP)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
97
Process Modelling and Simulation
Published 2019Subjects: “…SOS programming…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
98
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
99
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
100
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
Electronic eBook