OVERVIEW 1.1 . GENERAL Most language descriptions are centered on a context - free syntax around which semantics is informally described . If the description takes care of implementation problems , static and dynamic parts of the ...
Author: P. Branquart
Publisher: Springer Science & Business Media
ISBN: 3540111964
Category: Computers
Page: 277
View: 411
Author: Paul Branquart
Publisher:
ISBN: OCLC:959797472
Category: CHILL (Computer program language)
Page:
View: 933
Author: P. Branquart
Publisher:
ISBN: OCLC:475225692
Category: CHILL (Computer program language)
Page:
View: 909
128 : P. Branquart , G. Louis , P. Wodon , An Analytical Description of CHILL , the CCITT High Level Language . VI , 277 pages . 1982 . Vol . 129 : B. T. Hailpern , Verifying Concurrent Processes Using Temporal Logic .
Author: B.T. Denvir
Publisher: Springer Science & Business Media
ISBN: 3540160477
Category: Computers
Page: 398
View: 171
... L.P. ( 1982 ) , An Analytic Description of CHILL , the CCITT High Level Language , LNCS 128 , Springer - Verlag , New York . ( Gla80 ] GLASS , R. , L. ( 1980 ) , Real - Time : The " Lost World " Of Software Debugging and Testing ...
Author: Thomas Ottmann
Publisher: Springer Science & Business Media
ISBN: 3540180885
Category: Computers
Page: 565
View: 278
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.Vol 107 International Colloquium on Formalization of Programming Concepts Proceedings Edited by J Diaz and I Ramos ... P Wodon, An Analytical Description of CHILL, the CCITT High Level Language VI, 277 pages 1982 Vol 129 B T Halpern, ...
Author: M. Nielsen
Publisher: Springer
ISBN: 9783540393085
Category: Computers
Page: 615
View: 434
128 : P. Branquart , G. Louis , P. Wodon , An Analytical Description of CHILL , the CCITT High Level Language . VI , 277 pages . 1982 . Vol . 129 : B. T. Hailpern , Verifying Concurrent Processes Using Temporal Logic .
Author: Jean-Pierre Jouannaud
Publisher: Springer Science & Business Media
ISBN: 3540159754
Category: Computers
Page: 413
View: 329
References [ 1 ] The Formal Definition of CHILL CCITT Manual ITU , Geneva 1981 [ 2 ] P. Branquart , G. Louis , P. Wodon An Analytical Description of CHILL LNCS Vol . 128 , 1982 [ 3 ] CCITT High Level Language ( CHILL ) Recommendation ...
Author: Dines Bjørner
Publisher: Springer Science & Business Media
ISBN: 3540176543
Category: Computers
Page: 422
View: 499
Erste Untersuchungen der Halswirbelsäule werden stets mit Hilfe von Röntgenaufnahmen durchgeführt, und in den meisten Fällen genügen diese als Grundlage für die Diagnose. Mißbildungen, Tumoren, und noch öfter Traumata, Rheuma und sogar ganz gewöhnliche Nackenschmerzen erfordern eine radiologische Untersuchung der Wirbelsäule. Die Auswertung jedoch ist schwierig. Nimmt man einen Halswirbel in die Hand, so stellt man fest, um welch komplexes Gebilde es sich hierbei handelt. Bei radiologischen Aufnahmen wird die Auswertung noch durch die sich überlappenden Knochenteile, Anhäufungen und die verschiedenen Blickwinkel erschwert. Das Buch von J.-F. Bonneville und F. Cattin stellt eine originelle Interpretationsmethode von Röntgenaufnahmen vor, die die Auswertung wesentlich erleichtert. Dieses Buch zeigt, daß zwei- bzw. dreidimensionale Computertomogramme eine ausgezeichnete Hilfe zum Verständnis von konventionellen Röntgenbildern sein können. Der Leser bekommt gleichsam Zugang zu jedem Einzelteil des Knochens, und von da an wird alles einfach, Überlappungen verschwinden, die in der Röntgenaufnahme verborgenen Tücken werden sichtbar, die Anatomie triumphiert, das Bild lebt. Die Halswirbelsäule von J.-F. Bonneville und F. Cattin ist unentbehrlich für jeden Radiologen in seiner täglichen Praxis, aber ebenso auch für Chirurgen, Rheumatologen und Physiotherapeuten, die sich für die Halswirbelsäule interessieren.146 : Research and Development in Information Retrieval . Proceedings , 1982. ... 128 : P. Branquart , G. Louis , P. Wodon , An Analytical Description of CHILL , the CCITT High Level Language . VI , 277 pages . 1982 , Vol .
Author: Paul Klint
Publisher: Springer Science & Business Media
ISBN: 3540160418
Category: Computers
Page: 165
View: 844