![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/ifip/ifip80.bht:"
@inproceedings{DBLP:conf/ifip/Acildiev80, author = {A. I. Acil'diev}, editor = {Simon H. Lavington}, title = {The Method of Normal Solutions in Linear Programming}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {667--670}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 22:58:40 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Acildiev80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/AdibaAFT80, author = {Michel E. Adiba and Juan M. Andrade and F. Fernandez and Gia Toan Nguyen}, editor = {Simon H. Lavington}, title = {An Overview of the Polypheme Distributed Database Management System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {475--479}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/AdibaAFT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Albrecht80, author = {Peter Albrecht}, editor = {Simon H. Lavington}, title = {Survey of Recent Results on Composite Integration Methods for Ordinary Differential Equation, Especially Cyclic Methods}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {711--716}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Albrecht80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/AstrahanSK80, author = {Morton M. Astrahan and Mario Schkolnick and Won Kim}, editor = {Simon H. Lavington}, title = {Performance of the System {R} Access Path Selection Mechanism}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {487--491}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/AstrahanSK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/AxelssonG80, author = {Owe Axelsson and Ivar Gustafsson}, editor = {Simon H. Lavington}, title = {A Preconditioned Conjugate Gradient Method for Finite Element Equations, which is Stable for Rounding Errors}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {723--728}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/AxelssonG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/AzemaBD80, author = {Pierre Az{\'{e}}ma and Bernard Berthomieu and Paul Decitre}, editor = {Simon H. Lavington}, title = {The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {599--604}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/AzemaBD80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BabaIOK80, author = {Takanobu Baba and Ken Ishikawa and Kenzo Okuda and Hiroyuki Kobayashi}, editor = {Simon H. Lavington}, title = {{MUNAP} - {A} Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {169--174}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BabaIOK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Bachman80, author = {Charles W. Bachman}, editor = {Simon H. Lavington}, title = {The Impact Structured Data Throughout Computer-Based Information Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {383--394}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Bachman80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BarrosG80, author = {Oscar Barros and Alejandro Gomez}, editor = {Simon H. Lavington}, title = {Decision Support Systems for Economic Policy Analysis in a Market Oriented Environment}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {833--838}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BarrosG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BerthodF80, author = {Marc Berthod and Olivier D. Faugeras}, editor = {Simon H. Lavington}, title = {Using Context in the Global Recognition of a Set of Objects: An Optimization Approach}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {695--698}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BerthodF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Blackmore80, author = {Sheila M. Blackmore}, editor = {Simon H. Lavington}, title = {A Computer Training Scheme for the Disabled}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {897--902}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Blackmore80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BlumJ80, author = {Bruce I. Blum and Richard J. Johns}, editor = {Simon H. Lavington}, title = {Computer Technology and Medical Costs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {903--906}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BlumJ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Boehm80, author = {Barry W. Boehm}, editor = {Simon H. Lavington}, title = {Developing Small-Scale Application Software Products: Some Experiment Results}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {321--326}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Boehm80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BorgersonJ80, author = {Barry R. Borgerson and R. H. Johnson}, editor = {Simon H. Lavington}, title = {Beyond {CAD} to Computer Aided Engineering}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {659--666}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BorgersonJ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BourretC80, author = {Paul Bourret and Patrice Cros}, editor = {Simon H. Lavington}, title = {A Deterministic Model of Operating Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {275--280}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BourretC80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Bozzetti80, author = {Marco Bozzetti}, editor = {Simon H. Lavington}, title = {A General Overview of the Olivetti Network File System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {551--556}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Bozzetti80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BrainerdA80, author = {Walter S. Brainerd and Jeanne C. Adams}, editor = {Simon H. Lavington}, title = {{FORTRAN} for the 1980s}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {361--366}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Thu, 22 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BrainerdA80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Brent80, author = {Richard P. Brent}, editor = {Simon H. Lavington}, title = {Unrestricted Algorithms for Elementary and Special Functions}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {613--619}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Brent80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BroyPPW80, author = {Manfred Broy and Helmuth Partsch and Peter Pepper and Martin Wirsing}, editor = {Simon H. Lavington}, title = {Semantic Relations in Programming Languages}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {101--106}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BroyPPW80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BrussaardT80, author = {Bas K. Brussaard and Peter A. Tas}, editor = {Simon H. Lavington}, title = {Information and Organization Policies in Public Administration}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {821--826}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/BrussaardT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Brzozowski80, author = {Janusz A. Brzozowski}, editor = {Simon H. Lavington}, title = {Developments in the Theory of regular Languages}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {29--40}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Brzozowski80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Bubenko80, author = {Janis A. Bubenko Jr.}, editor = {Simon H. Lavington}, title = {Information Modeling in the Context of System Development}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {395--411}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Bubenko80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/CarlsonM80, author = {Eric D. Carlson and Wolfgang Metz}, editor = {Simon H. Lavington}, title = {Integrating Dialog Management and Data Base Management}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {463--468}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/CarlsonM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/CattoG80, author = {Arthur J. Catto and John R. Gurd}, editor = {Simon H. Lavington}, title = {Nondeterministic Dataflow Graphs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {251--256}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/CattoG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/CeriPB80, author = {Stefano Ceri and Giuseppe Pelagatti and Giampio Bracchi}, editor = {Simon H. Lavington}, title = {Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {499--504}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/CeriPB80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ChungLW80, author = {Kin{-}Man Chung and Fabrizio Luccio and C. K. Wong}, editor = {Simon H. Lavington}, title = {Magnetic Bubble Memory Structures for Efficient Sorting and Searching}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {439--444}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/ChungLW80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Chusho80, author = {Takeshi Chusho}, editor = {Simon H. Lavington}, title = {A Good Program = {A} Structured Program + Optimization Commands}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {269--274}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Chusho80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/CockeM80, author = {John Cocke and Peter W. Markstein}, editor = {Simon H. Lavington}, title = {Measurement of Programming Improvement Algorithms}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {221--228}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/CockeM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Cohen-Hadria80, author = {Yves Cohen{-}Hadria}, editor = {Simon H. Lavington}, title = {Automation, Organizational Choices and Social Effects: The Case of the Cement Industry}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {913--917}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Cohen-Hadria80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ComteHS80, author = {Dominique Comte and Nourredine Hifdi and Jean{-}Claude Syre}, editor = {Simon H. Lavington}, title = {The Data Driven {LAU} Multiprocessor System: Results and Perspectives}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {175--180}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/ComteHS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/DadamS80, author = {Peter Dadam and Gunter Schlageter}, editor = {Simon H. Lavington}, title = {Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {457--462}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/DadamS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Davenport80, author = {R. A. Davenport}, editor = {Simon H. Lavington}, title = {Data Administration - The Need for a New Function}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {505--510}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Davenport80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/DavidGM80, author = {Benoit David and Yvon Gardan and J. Mermet}, editor = {Simon H. Lavington}, title = {{CAD} in Small and Medium Sized Industries}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {677--682}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/DavidGM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Deb80, author = {Ashoke Deb}, editor = {Simon H. Lavington}, title = {A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory Access}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {193--198}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Deb80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Delobel80, author = {Claude Delobel}, editor = {Simon H. Lavington}, title = {An Overview of the Relational Data Theory}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {413--426}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Delobel80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Dincbas80, author = {Mehmet Dincbas}, editor = {Simon H. Lavington}, title = {A Knowledge-Based Expert System for Automatic Analysis and Synthesis in {CAD}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {705--710}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Dincbas80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/EhrichL80, author = {Hans{-}Dieter Ehrich and Udo W. Lipeck}, editor = {Simon H. Lavington}, title = {Proving Implementations Correct - Two Alternative Approaches}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {83--88}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/EhrichL80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/EnjalbertC80, author = {Patrice Enjalbert and Guy Cousineau}, editor = {Simon H. Lavington}, title = {Three Semantics: {A} Framework for Studying Program Structures and Program Logics}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {77--82}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/EnjalbertC80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/EvtushenkoP80, author = {Yu. G. Evtushenko and Yu. Pavlovsky}, editor = {Simon H. Lavington}, title = {Integrated Optimization - Simulation System for Industry and Regional Planning}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {651--658}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/EvtushenkoP80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/FoisseauJLLVZ80, author = {Jack Foisseau and Ren{\'{e}} Jacquart and Michel Lema{\^{\i}}tre and Michel Lemoine and J. C. Vignat and Guy Zanon}, editor = {Simon H. Lavington}, title = {Programming Development with or without Coding}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {327--330}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/FoisseauJLLVZ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Foley80, author = {James D. Foley}, editor = {Simon H. Lavington}, title = {Optimum Design of Two-Computer Networks}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {587--592}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Foley80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/FolkjarB80, author = {Preben Folkj{\"{a}}r and Dines Bj{\o}rner}, editor = {Simon H. Lavington}, title = {A Formal Model of a Generalized CSP-like Language}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {95--99}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/FolkjarB80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Freeman80, author = {Herbert Freeman}, editor = {Simon H. Lavington}, title = {Lines, Curves, and the Characterization of Shape}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {629--639}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Freeman80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/FutatsugiO80, author = {Kokichi Futatsugi and Koji Okada}, editor = {Simon H. Lavington}, title = {Specification Writing as Construction of Hierarchically Structured Clusters of Operators}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {287--292}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/FutatsugiO80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GabayG80, author = {Daniel Gabay and Marc Guillaume}, editor = {Simon H. Lavington}, title = {Computers in Economic Policy-Making: Challenging Advances in Computer Systems and Econometric Models}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {797--802}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GabayG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GambolatiV80, author = {Giuseppe Gambolati and Giampiero Volpi}, editor = {Simon H. Lavington}, title = {An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {729--734}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GambolatiV80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GaudeLPK80, author = {C. Gaude and J. Langet and S. Palassin and Claude Kaiser}, editor = {Simon H. Lavington}, title = {Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {315--320}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GaudeLPK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Gear80, author = {C. William Gear}, editor = {Simon H. Lavington}, title = {Automatic Multirate Methods for Ordinary Differential Equation}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {717--722}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Gear80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Genuys80, author = {Fran{\c{c}}oise Gallouedec Genuys}, editor = {Simon H. Lavington}, title = {The Impact of Computerization on the Relationship between Administration and the Citizen}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {879--883}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Genuys80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GergelyHK80, author = {Csaba Gergely and L{\'{a}}szl{\'{o}} H{\'{a}}kl{\'{a}}r and Helmuth Kraenzlein}, editor = {Simon H. Lavington}, title = {The Financial System in Hungary, Based on a Three Level Equipment Hierarcy}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {803--808}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GergelyHK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GergelyU80, author = {Tam{\'{a}}s Gergely and L{\'{a}}szl{\'{o}} {\'{U}}ry}, editor = {Simon H. Lavington}, title = {Program Behaviour Specification through Explicit Time Consideration}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {107--111}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GergelyU80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/GerhartMTBBELTW80, author = {Susan L. Gerhart and David R. Musser and David H. Thompson and D. A. Baker and R. L. Bates and Roddy W. Erickson and Ralph L. London and D. G. Taylor and David S. Wile}, editor = {Simon H. Lavington}, title = {An Overview of {AFFIRM:} {A} Specification and Verification System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {343--347}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/GerhartMTBBELTW80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Gilchrist80, author = {Bruce Gilchrist}, editor = {Simon H. Lavington}, title = {Computers and Employment: The U. S. Experience}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {919--924}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Gilchrist80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Goldberg80, author = {Jack Goldberg}, editor = {Simon H. Lavington}, title = {{SIFT:} {A} Provable Fault-Tolerant Computer for Aircraft Flight Control}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {151--156}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Goldberg80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Gotlieb80, author = {C. C. Gotlieb}, editor = {Simon H. Lavington}, title = {Computer - {A} Gift of Fire}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {863--872}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Gotlieb80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Gries80, author = {David Gries}, editor = {Simon H. Lavington}, title = {Educating the Programmer: Notation, Proofs and the Development of Programs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {935--944}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Gries80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Haefner80, author = {Klaus Haefner}, editor = {Simon H. Lavington}, title = {The Concept of an Integrated System for Information Access and Telecommunication {(ISIT)} and its Impact on Education in the 80s}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {973--978}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Haefner80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/HaessigJ80, author = {Kurt H{\"{a}}ssig and Christian J. Jenny}, editor = {Simon H. Lavington}, title = {Partitioning and Allocating Computational Objects in Distributed Computing Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {593--598}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/HaessigJ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Hearn80, author = {Anthony C. Hearn}, editor = {Simon H. Lavington}, title = {The Personal Algebra Machine}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {621--628}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Hearn80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/HernanJ80, author = {Miguel A. Hernan and Javier Jim{\'{e}}nez}, editor = {Simon H. Lavington}, title = {Image Analysis of Experimental Data in Turbulence}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {753--756}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/HernanJ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Herot80, author = {Christopher F. Herot}, editor = {Simon H. Lavington}, title = {A Spatial Graphical Man-Machine Interface}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1039--1044}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Herot80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/HikitaK80, author = {Teruo Hikita and Satoru Kawai}, editor = {Simon H. Lavington}, title = {Parallel Sieve Methods for Generating Prime Numbers}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {257--262}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/HikitaK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Hunter80, author = {Gregory M. Hunter}, editor = {Simon H. Lavington}, title = {Teleconference in Virtual Space}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1045--1048}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Hunter80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Inose80, author = {Hiroshi Inose}, editor = {Simon H. Lavington}, title = {Aspects of Data Communication and Computer Networks}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {543--550}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Inose80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Ishii80, author = {Osamu Ishii}, editor = {Simon H. Lavington}, title = {Feasibility Experiments on Versatile Information Processing Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1033--1038}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Ishii80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/IsomotoYI80, author = {Yukuo Isomoto and Keiichi Yamagata and Tadashi Ishiketa}, editor = {Simon H. Lavington}, title = {A Computer-Aided Advising System for {FORTRAN} Program Debugging: {ADVISOR}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {985--990}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/IsomotoYI80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/JammelSV80, author = {Alfons J. Jammel and Helmut G. Stiegler and Pavel Vogel}, editor = {Simon H. Lavington}, title = {Impacts of Message Orientation}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {281--286}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/JammelSV80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/JiafuCSF80, author = {Xu Jiafu and Chong Cuihao and N. V. Shulman and Fuqing Yang}, editor = {Simon H. Lavington}, title = {On the Design, Implementation and Use of the Systems Programming Language {XCY}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {305--308}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/JiafuCSF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Johnson80, author = {Timothy Johnson}, editor = {Simon H. Lavington}, title = {Identifying the Main Applications of Data Communications in Western Europe}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {569--574}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Johnson80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Jong80, author = {S. Peter de Jong}, editor = {Simon H. Lavington}, title = {The System for Business Automation {(SBA):} {A} Unified Application Development System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {469--474}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Jong80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KanouiC80, author = {Henry Kanoui and Michel Van Caneghem}, editor = {Simon H. Lavington}, title = {Implementing a very High Level Language on a very Low Cost Computer}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {349--354}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KanouiC80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KaplanS80, author = {Ronald M. Kaplan and B. A. Sheil}, editor = {Simon H. Lavington}, title = {Adding Type Declarations to Interlisp}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {355--360}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KaplanS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KatoFNMT80, author = {O. Kato and T. Fujita and M. Niwa and T. Morishita and J. Tanahashi}, editor = {Simon H. Lavington}, title = {A Handwriting Input System for Japanese}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {689--694}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KatoFNMT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KavianpourF80, author = {Alireza Kavianpour and Arthur D. Friedman}, editor = {Simon H. Lavington}, title = {Different Diagnostic Models for Multiprocessor Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {157--162}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KavianpourF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Kay80, author = {Alan C. Kay}, editor = {Simon H. Lavington}, title = {User Interface Design in the Smalltalk Computing System (Abstract)}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1025}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Kay80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Keedy80, author = {James Leslie Keedy}, editor = {Simon H. Lavington}, title = {Paging and Small Segments: {A} Memory Management Model}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {337--342}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Keedy80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/King80, author = {W. Frank King III}, editor = {Simon H. Lavington}, title = {Relational Database Systems: Where We Stand Today}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {369--381}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/King80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Kirstein80, author = {Peter T. Kirstein}, editor = {Simon H. Lavington}, title = {New Text and Message Services}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {521--535}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Kirstein80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KleinrockY80, author = {Leonard Kleinrock and Yechiam Yemini}, editor = {Simon H. Lavington}, title = {Interfering Queueing Processes in Packet-Switched Broadcast Communication}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {557--562}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KleinrockY80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KlopproggeL80, author = {Manfred R. Klopprogge and Peter C. Lockemann}, editor = {Simon H. Lavington}, title = {Teaching Systems Analysis and Planning in Informatics: {A} Practical Course}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {979--983}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KlopproggeL80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KodamaYMK80, author = {Koji Kodama and Jiro Yoshii and Ken{-}ichi Mori and Tsutomu Kawada}, editor = {Simon H. Lavington}, title = {The Japanese Word Processor {JW-10}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {139--143}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KodamaYMK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Kohonen80, author = {Teuvo Kohonen}, editor = {Simon H. Lavington}, title = {Automatic Pattern Recognition - {A} Challenge to Computer Technology}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {641--649}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Kohonen80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Kotov80, author = {Vadim E. Kotov}, editor = {Simon H. Lavington}, title = {On Basic Parallel Language}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {229--240}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Kotov80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Kubba80, author = {Ghassan A. Kubba}, editor = {Simon H. Lavington}, title = {The Impact of Computers on Arabic Writing, Character Processing and teaching}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {961--965}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Kubba80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/KuboTAO80, author = {Masatoshi Kubo and Yasushi Taguchi and Kiyoshi Agusa and Yutaka Ohno}, editor = {Simon H. Lavington}, title = {Multi-Microprocessor System for Three-Dimensional Color Graphs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {145--150}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/KuboTAO80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/LawsonS80, author = {J. D. Lawson and David A. Swayne}, editor = {Simon H. Lavington}, title = {High-Order Near Best Uniform Approximations to the Solution of Heat Conduction Problems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {741--746}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/LawsonS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/LeinwandL80, author = {Sany Leinwand and T. Lamdan}, editor = {Simon H. Lavington}, title = {Models of Control at Register Transfer Level}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {163--168}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/LeinwandL80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Lincoln80, author = {T. J. Lincoln}, editor = {Simon H. Lavington}, title = {Information Systems Constraints - {A} Strategic Review}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {907--911}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Lincoln80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MacleodJE80, author = {Ian D. G. Macleod and J. J. Jackson and John B. Eulenberg}, editor = {Simon H. Lavington}, title = {A Multisensory Electronic System for Developing Handwriting Skills with Blind Trainees}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {945--950}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MacleodJE80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MahabalaM80, author = {Hosaker N. Mahabala and Mudambi R. Muralidharan}, editor = {Simon H. Lavington}, title = {Pseudo-Ternary Coding to Incorporate checking without a Parity}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {605--610}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MahabalaM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Maller80, author = {V. A. J. Maller}, editor = {Simon H. Lavington}, title = {Information Retrieval Using the Content Addressable File Store}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {187--192}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Maller80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MalyK80, author = {Kurt Maly and Leonhard Kampa}, editor = {Simon H. Lavington}, title = {H-Trees}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {445--450}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MalyK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Manna80, author = {Zohar Manna}, editor = {Simon H. Lavington}, title = {Logics of Programs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {41--51}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Manna80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ManningLT80, author = {Eric G. Manning and N. J. Livesey and Hideyuki Tokuda}, editor = {Simon H. Lavington}, title = {Interprocess Communication in Distributed Systems: One View}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {513--520}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/ManningLT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MarchukI80, author = {Guri I. Marchuk and Valeri P. Il'in}, editor = {Simon H. Lavington}, title = {Parallel Computations in Grid Methods for Solving Mathematical Physics Problems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {671--676}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MarchukI80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Martin80, author = {Alain J. Martin}, editor = {Simon H. Lavington}, title = {A Distributed Implementation Method for Parallel Programming}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {309--314}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Martin80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Matthews80, author = {Roderick A. Matthews}, editor = {Simon H. Lavington}, title = {Trends in User-Oriented Software within the {U.K.} Central Electricity Generating Board}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {839--844}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Matthews80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Meyer80, author = {Bertrand Meyer}, editor = {Simon H. Lavington}, title = {A Basis for the Constructive Approach to Programming}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {293--298}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Meyer80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Mills80, author = {Harlan D. Mills}, editor = {Simon H. Lavington}, title = {Function Semantics for Sequential Programs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {241--250}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Mills80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Morgan80, author = {Howard L. Morgan}, editor = {Simon H. Lavington}, title = {Research and Practice in Office Automation}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {783--789}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Morgan80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MoriG80, author = {Renato de Mori and Giovanna Giordano}, editor = {Simon H. Lavington}, title = {Structural Knowledge for the Recognition of Syllables in Continuous Speech}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {747--751}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MoriG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/MorinoT80, author = {Kazuyoshi Morino and Osamu Takahashi}, editor = {Simon H. Lavington}, title = {A Technique for Describing High-Level Data Link Control {(HDLC)} Procedures}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {575--579}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/MorinoT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Munz80, author = {Rudolf Munz}, editor = {Simon H. Lavington}, title = {Transaction Management in the Distributed Database System {VDN}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {481--486}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Munz80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Murphy80, author = {Brian M. Murphy}, editor = {Simon H. Lavington}, title = {The Development of the British, French and German Native Computer Industries, 1960 - 1978}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {873--878}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Murphy80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/NagataAF80, author = {Mario Nagata and Teruo Akiyama and Yasutaka Fujikake}, editor = {Simon H. Lavington}, title = {An Interactive Supporting System for Functional Recursive Programming}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {263--268}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/NagataAF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Nakagawa80, author = {Masali Nakagawa}, editor = {Simon H. Lavington}, title = {Specifying the Underlying Control Structures of Programming Languages in their Denotational Semantics}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {89--94}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Nakagawa80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/NakajimaYK80, author = {Reiji Nakajima and Taiichi Yuasa and Keiji Kojima}, editor = {Simon H. Lavington}, title = {The iota-Programming System - {A} Support System for Hieratchical and Modular Programming}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {299--304}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/NakajimaYK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Nelson80, author = {Theodor Holm Nelson}, editor = {Simon H. Lavington}, title = {Replacing the Printed Word: {A} Complete Literay System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1013--1023}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Nelson80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Nepomiastchy80, author = {Pierre Nepomiastchy}, editor = {Simon H. Lavington}, title = {{MODULECO:} Software for Macroeconomic Modelling}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {827--831}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Nepomiastchy80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/NeuholdO80, author = {Erich J. Neuhold and Thomas Olnhoff}, editor = {Simon H. Lavington}, title = {The Vienna Development Method {(VDM)} and its Use for the Specification of a Rational Data Base System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {3--16}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/NeuholdO80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Nievergelt80, author = {J{\"{u}}rg Nievergelt}, editor = {Simon H. Lavington}, title = {Computer Science Education: An Emerging Consensus on Basic Concepts}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {927--933}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Nievergelt80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/NishidaD80, author = {Toyoaki Nishida and Shuji Doshita}, editor = {Simon H. Lavington}, title = {A Knowledge-Based Literature Guide System - {A} NEw Approach to Document Retrieval}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {699--704}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/NishidaD80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Nivat80, author = {Maurice Nivat}, editor = {Simon H. Lavington}, title = {Non Deterministic Programs: An Algebraic Overview}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {17--28}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Nivat80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/OnozatoN80, author = {Yoshikuni Onozato and Shoichi Noguchi}, editor = {Simon H. Lavington}, title = {Dynamic Characteristics of a Satellite Communication System Employing the Slotted Aloha Scheme}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {581--585}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/OnozatoN80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/OyamaguchiIH80, author = {Michio Oyamaguchi and Yasuyoshi Inagaki and Namio Honda}, editor = {Simon H. Lavington}, title = {On the Equivalence Problem for Two DPDA's, One of which is Real-Time}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {53--58}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/OyamaguchiIH80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/PagesGH80, author = {Jean{-}Claude Pag{\`{e}}s and Dominique Gremillet and Andreas Horst}, editor = {Simon H. Lavington}, title = {A General Structure for Building Personalized Information: An Alternative Approach to Computer Aided Education}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {955--960}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/PagesGH80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Papert80, author = {Seymour Papert}, editor = {Simon H. Lavington}, title = {Redefining Childhood: The Computer Presence as an Experiment in Developmental Psychology}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {993--998}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Papert80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Pask80, author = {Gordon Pask}, editor = {Simon H. Lavington}, title = {The Limits of Togetherness}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {999--1012}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Pask80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/PilotyBBDHS80, author = {Robert Piloty and Mario Barbacci and Dominique Borrione and Donald L. Dietmeyer and Fredrick J. Hill and Patrick Skelly}, editor = {Simon H. Lavington}, title = {An Overview of {CONLAN:} {A} Formal Construction Method for Hardware Description Language}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {199--204}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/PilotyBBDHS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/PollardC80, author = {John Pollard and Glen Campbell}, editor = {Simon H. Lavington}, title = {Using a Home Microcomputer to Teach a Dyslexic Child to Read}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1055--1059}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/PollardC80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/RaihaU80, author = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and Esko Ukkonen}, editor = {Simon H. Lavington}, title = {Balancing Syntactic and Semantic Power in Compiler Specification}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {65--70}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/RaihaU80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Recoque80, author = {Alice Recoque}, editor = {Simon H. Lavington}, title = {Survey of Main Trends in Computer Hardware Architecture}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {115--125}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Recoque80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/RestBF80, author = {A. D. Le Rest and J. Blevanus and M. Ferragu}, editor = {Simon H. Lavington}, title = {{NTI:} International Gateway to {TRANSPAC}}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {563--567}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/RestBF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/RolstadasF80, author = {Asbj{\o}rn Rolstad{\aa}s and Peter Falster}, editor = {Simon H. Lavington}, title = {Prototyping Factory Management Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {683--688}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/RolstadasF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Salmona80, author = {Jean Salmona}, editor = {Simon H. Lavington}, title = {Information Systems, Develoment and Structural Changes}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {767--781}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Salmona80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Schek80, author = {Hans{-}J{\"{o}}rg Schek}, editor = {Simon H. Lavington}, title = {On Index Intervals and Their Optimisation}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {493--498}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Schek80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Schmandt80, author = {Chris Schmandt}, editor = {Simon H. Lavington}, title = {Soft Typography}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1027--1031}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Schmandt80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Schweikhardt80, author = {Waltraud Schweikhardt}, editor = {Simon H. Lavington}, title = {A Computer Based Education System for the Blind}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {951--954}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Schweikhardt80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ShibayamaTHYK80, author = {Kiyoshi Shibayama and Shinji Tomita and Hiroshi Hagiwara and Katsuhiro Yamazaki and Toshiaki Kitamura}, editor = {Simon H. Lavington}, title = {Performance Evaluation and Improvement of a Dynamically Microprogrammable Computer with Low-Level Parallelism}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {181--186}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/ShibayamaTHYK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/SmythJ80, author = {W. F. Smyth and N. W. N. Jayasiri}, editor = {Simon H. Lavington}, title = {The Encouragement of Effective Computer Use in Developing Countries}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {885--890}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/SmythJ80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Solms80, author = {Sebastiaan H. von Solms}, editor = {Simon H. Lavington}, title = {Random Context Array Grammmars}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {59--64}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Solms80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Stanley80, author = {Philip M. Stanley}, editor = {Simon H. Lavington}, title = {A Design Approach to the Audit of Computer Information Systems}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {845--849}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Stanley80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Steinmuller80, author = {Wilhelm Steinm{\"{u}}ller}, editor = {Simon H. Lavington}, title = {Rationalisation and Modellification: Two Complementary Implications of Information Technologies}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {853--861}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Steinmuller80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Stevens80, author = {David F. Stevens}, editor = {Simon H. Lavington}, title = {Some Cautionary Aphorisms for User-Oriented Computer Management}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {791--796}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Stevens80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Szyperski80, author = {Norbert Szyperski}, editor = {Simon H. Lavington}, title = {Organizational Response to Changes in Information Technology}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {759--765}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Szyperski80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/TakizawaH80, author = {Makoto Takizawa and Eiji Hamanaka}, editor = {Simon H. Lavington}, title = {Query Translation in Distributed Database}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {451--456}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/TakizawaH80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/TanakaNM80, author = {Yuzuru Tanaka and Yukoo Nozaka and Akinari Masuyama}, editor = {Simon H. Lavington}, title = {Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {427--432}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/TanakaNM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Terajima80, author = {Makoto Terajima}, editor = {Simon H. Lavington}, title = {Recent Progress inMemory Devices and their Prospect}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {127--135}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Terajima80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Texier80, author = {Alain G. Texier}, editor = {Simon H. Lavington}, title = {New Telecommunication Services and Network Architecture: {A} Tentative Survey}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {537--541}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Texier80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ThomasM80, author = {D. R. Thomas and R. Brien Maguire}, editor = {Simon H. Lavington}, title = {Computers and Education: {A} Remote Learning Application}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {967--671}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Sat, 27 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip/ThomasM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Turkle80, author = {Sherry Turkle}, editor = {Simon H. Lavington}, title = {Personal Computaion and Personal Meanings}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {1049--1054}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Turkle80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Tyson80, author = {Alan R. Tyson}, editor = {Simon H. Lavington}, title = {South Australian Land Information System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {815--820}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Tyson80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Tyugu80, author = {Enn Tyugu}, editor = {Simon H. Lavington}, title = {Towards Practical Synthesis of Programs}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {207--219}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Tyugu80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/UemuraYKOS80, author = {Syunsuke Uemura and Toshitsugu Yuba and Akio Kokubu and Ryoichi Ooomote and Yasuo Sugawara}, editor = {Simon H. Lavington}, title = {The Design and Implementaion of a Magnetic-Bubble Database Machine}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {433--438}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/UemuraYKOS80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/VaqueroT80, author = {A. Vaquero and Jos{\'{e}} M. Troya}, editor = {Simon H. Lavington}, title = {Placement of Records on Linear Storage Devices}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {331--336}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/VaqueroT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Vrecion80, author = {Vladim{\'{\i}}r Vrecion}, editor = {Simon H. Lavington}, title = {Some Basic Applications of Computering in the Law-Making Process}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {891--895}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Vrecion80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/YoeliG80, author = {Michael Yoeli and Abraham Ginzburg}, editor = {Simon H. Lavington}, title = {Control Nets for Parallel Processing}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {71--76}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/YoeliG80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/YokoyamaF80, author = {Jun{-}ichiro Yokoyama and Akira Fukuda}, editor = {Simon H. Lavington}, title = {Prescription Order Service in Kanto Teishin Hospital Information System}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {809--813}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/YokoyamaF80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/ZhurinT80, author = {V. V. Zhurin and F. G. Tcheremissine}, editor = {Simon H. Lavington}, title = {Recent Advances in the Numerical Solution of the Boltzmann Equation}, booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, pages = {735--740}, publisher = {North-Holland/IFIP}, year = {1980}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/ZhurinT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifip/1980, editor = {Simon H. Lavington}, title = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October 14-17, 1980}, publisher = {North-Holland/IFIP}, year = {1980}, isbn = {0-444-86034-7}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip/1980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.