Cover Image
Read Now

681
Published 1987
Springer Berlin Heidelberg
“... sugar", but rather in the sense of abstract syntax, in the sense of language constructs. Proper notation...”
Cover Image
Read Now

682
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... Übersetzungssystem SUSY“ (KV) -- „The Natural Language System HAM-RPM as a Hotel Manager: SomeRepresentational...”
Cover Image
Read Now

683
Published 1989
Springer New York
“... language amenable to reasoning and proof...”
Cover Image
Read Now

684
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... -- VMP Pascal, an Extended Language for the Implementation of Data Communication Protocols...”
Cover Image
Read Now

685
by WILSON/ADDYMAN.
Published 1982
Springer New York
“... on the Pascal standard has convinced me that the description of a programming language may be tutorial...”
Cover Image
Read Now

686
Published 1996
Springer London
“... of science' and the 'dream of the exact language'. This alternative vision has its origin in the founding...”
Cover Image
Read Now

687
Published 1984
Springer Berlin Heidelberg
Table of Contents: “...” — Untersuchungen an Spitzenprogrammierern -- Entwurfsverifikation mit Computer Design Language — Version Munich...”
Cover Image
Read Now

688
by Best, Eike, Fernandez C., Cesar
Published 1988
Springer Berlin Heidelberg
“... be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary...”
Cover Image
Read Now

689
by Coopers & Lybrand
Published 1985
Springer Netherlands
“... of the operating systems are in microcode. o There is no assembler language. The unique features of the S/38 make...”
Cover Image
Read Now

690
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Building Real-Life Applications with Prolog -- Natural Language Tabular Parsing -- A Close Look...”
Cover Image
Read Now

691
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- The Oz Programming Model -- Standard Generalized Markup Language: Mathematical and philosophical issues...”
Cover Image
Read Now

692
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... -- Mixed mode arithmetic for STARAN -- Aapl: An array processing language -- The evolution of a parallel...”
Cover Image
Read Now

693
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... scratchpad -- A pure and really simple initial functional algebraic language -- Some effectivity problems...”
Cover Image
Read Now

694
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Information Resource Representation Language -- Technological Complexes for Application Program Development...”
Cover Image
Read Now

695
by COLEMAN.
Published 1979
Springer New York
Table of Contents: “... -- 2.1 An Abstract Programming Language -- 2.2 Structuring Control -- 2.3 Structuring Data -- 2.4 What...”
Cover Image
Read Now

696
Published 2002
Springer US
Table of Contents: “... in Spider Programming Environment -- Conformace Testing of Parallel Languages -- Dependable and fault...”
Cover Image
Read Now

697
Published 2002
Springer London
Table of Contents: “... -- Pattern Languages in Participatory Design -- Provoking Innovation: Acting-out in Contextual Scenarios...”
Cover Image
Read Now

698
Published 1996
Springer London
Table of Contents: “... and the Cultural Condition: Language and Education -- 3. Knowledge and Sustainable Development: Towards...”
Cover Image
Read Now

699
Published 1997
Springer Netherlands
Table of Contents: “... and Virtual Worlds -- Task Conflict and Language Differences: Opportunities for Videoconferencing...”
Cover Image
Read Now

700
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... (or Enhanced Extensibility Required) -- Active Networks Architecture Using Declarative Language -- Distributed...”