Search alternatives:
languages » language

3
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... index: A new complexity function for languages -- Modular compiler descriptions based on abstract...

4
Published 1977
Springer Berlin Heidelberg
Table of Contents: ... machines -- The contextsensitivity bounds of contextsensitive grammars and languages -- Serial composition...

5
by Peters, Carol
Published 2001
Springer-Verlag Berlin Heidelberg

6
Published 2005
Springer US
Table of Contents: ...Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis...

11
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... languages -- A logic-based approach to data flow analysis problems -- Systematic semantic approximations...

12
Published 2018
Springer International Publishing
Table of Contents: ... of Finitely Ambiguous Büchi Automata -- A Structural Lemma for Deterministic Context-Free Languages...

13
by Vicedo, José Luis
Published 2004
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

14
Published 2011
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

16
by Swierstra, S Doaitse
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects: ...Programming Languages, Compilers, Interpreters...

18
by Begain, Khalid, Bolch, Gunter, Herold, Helmut
Published 2001
Springer US
Table of Contents: ... Language -- 5 Modeling Using Mosel -- 6 Real—Life Examples -- A MOSEL and IGL Reference -- A.1 Syntax...

19
Published 2019
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

20
Published 2017
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...