Search alternatives:
programs language » programming language, gram language, programming languages
process language » processing language, cross language
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Subjects: “...Natural Language Processing (NLP)...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
Table of Contents: “... Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost...”
Cover Image
Read Now

3
by Lee, Kent D.
Published 2017
Springer International Publishing
Table of Contents: “...Introduction -- Syntax -- Assembly Language -- Object-Oriented Programming -- Functional...”
Cover Image
Read Now

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... state processes -- Deciding finiteness of Petri nets up to bisimulation -- Mobile processes with a...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Languages and Programming -- Mixin Modules and Computational Effects -- Decision Problems for Language...”
Cover Image
Read Now

6
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... operator in process algebras -- Operational and algebraic semantics for facile: A symmetric integration...”
Cover Image
Read Now

7
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... is hard -- Program checkers for probability generation -- Running time to recognize nonregular languages...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... and Boxed Ambients -- Linear Types for Packet Processing -- Modal Proofs as Distributed Programs -- ULM: A...”
Cover Image
Read Now

10
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Abelian squares are avoidable on 4 letters -- Polynomial size test sets for context-free languages...”
Cover Image
Read Now

11
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Language Interoperation -- Deterministic Expressions in C -- A Programming Logic for Sequential Java -- Set...”
Cover Image
Read Now

12
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Computer Security from a Programming Language and Static Analysis Perspective...”
Cover Image
Read Now

13
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... languages -- An efficient and unified approach to the decidability of equivalence of propositional programs...”
Cover Image
Read Now

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas -- LA, Permutations...”
Cover Image
Read Now

15
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory...”
Cover Image
Read Now

16
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Hierarchy of Deterministic Tree Languages -- Timed Petri Nets and Timed Automata: On the Discriminating...”
Cover Image
Read Now

17
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Unification Framework for Packing Integer Programs with Choices -- Upper Bounds on the Noise Threshold...”
Cover Image
Read Now

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Reversible Flowchart Languages and the Structured Reversible Program Theorem -- Attribute Grammars...”
Cover Image
Read Now

19
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- The pushdown method to optimize chain logic programs -- Automatic synthesis of real time systems -- Self...”
Cover Image
Read Now

20
by Diaz, Josep
Published 2004
Springer Berlin Heidelberg
Subjects: “...Electronic data processing...”