Graph-grammars And Their Application To Computer Science And Biology: International Workshop, Bad Honnef, October 30-November 3, 1978

ISBN: 038709525X, 9780387095257
Author/Editor(s): Volker Claus (1944-); Hartmut Ehrig; Grzegorz Rozenberg
Publisher: Springer-Verlag ( New York )
Published/Copyright Year: 1979
Language: English
LCCN: 79009560
Series: Lecture Notes In Computer Science ( v. 73 )
Number of pages: 477
Categories:
Formal Languages > Congresses
Graph Theory > Congresses
Data Structures (Computer Science) > Congresses
Graph Grammars

Flow Control In Computer Networks: Proceedings Of The International Symposium On Flow Control In Computer Networks, Versailles, France, February 12-14, 1979

ISBN: 0444852972, 9780444852977
Author/Editor(s): International Symposium on Flow Control in Computer Networks (1979); Jean-Louis Grange (1944-); Michel Gien (1947-)
Publisher: Sole Distributors For The U.S.A. And Canada, Elsevier North-Holland ( New York )
Published/Copyright Year: 1979
Language: English
LCCN: 79001168
Number of pages: 429
Categories:
Flow Control (Data Transmission Systems)

Mathematical Studies Of Information Processing: Proceedings Of The International Conference, Kyoto, Japan, August 23-26, 1978

ISBN: 0387095411, 9780387095417
Author/Editor(s): International Conference on Mathematical Studies of Information Processing ((1978); E. K Blum (1923-); M Paul; Satoru Takasu (1931-)
Publisher: Springer-Verlag ( New York )
Published/Copyright Year: 1979
Language: English
LCCN: 80494262
Series: Lecture Notes In Computer Science ( Volume 75 )
Number of pages: 629
Categories:
Electronic Data Processing > Congresses
Computer Programming

Edinburgh LCF: A Mechanised Logic Of Computation

ISBN: 0387097244, 9780387097244
Author/Editor(s): Michael J. C. Gordon (1948-); R Milner (1934-2010); Christopher P. Wadsworth
Publisher: Springer-Verlag ( New York )
Published/Copyright Year: 1979
Language: English
LCCN: 79024745
Series: Lecture Notes In Computer Science ( Volume 78 )
Number of pages: 159
Categories:
Edinburgh LCF (Computer System)
Computable Functions > Data Processing