Information processing 80: proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland Publ. Co.
1980
|
| Schriftenreihe: | IFIP congress series
8 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 1070 S. Ill., graph. Darst. |
| ISBN: | 0444860347 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV007628732 | ||
| 003 | DE-604 | ||
| 005 | 20140409 | ||
| 007 | t | ||
| 008 | 930421s1980 ad|| |||| 10||| eng d | ||
| 020 | |a 0444860347 |9 0-444-86034-7 | ||
| 035 | |a (OCoLC)16611425 | ||
| 035 | |a (DE-599)BVBBV007628732 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-210 |a DE-188 |a DE-706 |a DE-384 |a DE-91 |a DE-91G |a DE-29T | ||
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 001.5 |2 19 | |
| 082 | 0 | |a 001.64 |2 19 | |
| 084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
| 084 | |a SS 1980 |0 (DE-625)143417: |2 rvk | ||
| 245 | 1 | 0 | |a Information processing 80 |b proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 |c [8th World Computer Congress]. Ed. by Simon Lavington |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland Publ. Co. |c 1980 | |
| 300 | |a XIII, 1070 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a IFIP congress series |v 8 | |
| 650 | 4 | |a Banques de données - Gestion - Congrès | |
| 650 | 7 | |a Ciencia Da Computacao Ou Informatica |2 larpcal | |
| 650 | 4 | |a Informatique - Congrès | |
| 650 | 4 | |a Ordinateurs - Architecture - Congrès | |
| 650 | 4 | |a Ordinateurs et civilisation - Congrès | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1980 |z Tokio |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Lavington, Simon H. |4 edt | |
| 711 | 2 | |a World Computer Congress |n 8 |d 1980 |c Tokio; Melbourne |j Sonstige |0 (DE-588)622699-1 |4 oth | |
| 830 | 0 | |a IFIP congress series |v 8 |w (DE-604)BV001901067 |9 8 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004993555&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004993555 | ||
Datensatz im Suchindex
| _version_ | 1804121949346988032 |
|---|---|
| adam_text | INFORMATION PROCESSING 80
Proceedings of IFlP Congress 80
Tokyo, Japan-October 6-9,1980
Melbourne, Australia -October 14-17,1980
Edited by
Simon LAVINGTON
Department of Computer Science
University of Manchester
U K
PROGRAM COMMITTEE
F H Sumner (Chairman), A P Ershov, W M Turski,
C J Pereira de Lucena, E Goto, D C Tsichritzis,
G N Lance, H E Andersin, C Berthet, M G Losano,
P Deussen, N Negroponte, S H Lavington
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
sMMZl
Inventar-Nr s
Sachgebiete:
Standorts
aö£b
SS
1980
NORTH-HOLLAND PUBLISHING COMPANY
AMSTERDAM • NEW YORK • OXFORD
CONTENTS
»
Program Committee Foreword v
Congress Chairmen’s Foreword vi
IFIP President’s Foreword vii
Congress 80 Organizing Committees viii
AREA 1 - THEORETICAL FOUNDATIONS OF INFORMATION PROCESSING
The Vienna Development Method (VDM) and its Use for the Specification of a Relational Data Base System 3
E J Neuhold and Th Olnhoff (Invited Paper)
Non Deterministic Programs: An Algebraic Overview 17
Maurice Nivat (Invited Paper)
Developments in the Theory of Regular Languages 29
Janusz A Brzozwski (Invited Paper)
Logics of Programs 41
Zohar Manna (Invited Paper)
On the Equivalence Problem for Two DPDA’s, One of which is Real-Time 53
Michio Oyamaguchi, Yasuyoshi Inagaki and Namio Honda
Random Context Array Grammars 59
S H Von Solms
Balancing Syntactic and Semantic Power in Compiler Specification 65
Kari-Jouko Räihä and Esko Ukkonen
Control Nets for Parallel Processing 71
M Yoeli and A Ginzburg
Tree Semantics: A Framework for Studying Program Structure and Program Logics 77
Patrice Enjalbert and Guy Cousineau
Proving Implementations Correct - Two Alternative Approaches 83
Hans-Dieter Ehrich and Udo Lipeck
Specifying the Underlying Control Structures of Programming Languages in their Denotational Semantics 89
Masaki Nakagawa
A Formal Model of a Generalized CSP-like Language 95
Preben Folkjaer and Dines Burner
Semantic Relations in Programming Languages 101
M Broy, H Partsch, P Pepper and M Wirsing
Program Behaviour Specification through Explicit Time Consideration 107
Tamäs Gergely and Laszlo Ury
AREA 2 - COMPUTER ARCHITECTURE AND HARDWARE
Survey of Main Trends in Computer Hardware Architecture 115
Alice Recoque (Invited Paper)
Recent Progress in Memory Devices and their Prospects 127
Makoto Terajima (Invited Paper)
Design Considerations for the VAX 137
W D Strecker (Invited Paper)
The Japanese Word Processor JW-10 139
Koji Kodama, Jiro Yoshii, Ken-ichi Mori and Tsutomu Kawada
Multi-Microprocessor System for Three-Dimensional Color Graphics 145
Masatoshi Kubo, Yasushi Taguchi, Kiyoshi Agusa and Yutaka Ohno
SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight Control 151
Jack Goldberg
Different Diagnostic Models for Multiprocessor Systems 157
A Kavianpour and A D Friedman
Models of Control at Register Transfer Level 163
S Leinwand and T Lamdan
MUNAP - A Two-Level Microprogrammed Multiprocessor Architecture for Nonnumeric Processing 169
Takanobu Baba, Ken Ishikawa, Kenzo Okuda and Hiroyuki Kobayashi
The Data Driven LAU Multiprocessor System: Results and Perspectives 175
D Comte, N Hifdi and J C Syre
Performance Evaluation and Improvement of a Dynamically Microprogrammable Computer with Low-Level Parallelism 181
Kiyoshi Shibayama, Shinji Tomita, Hiroshi Hagiwara, Katsuhiro Yamazaki and Toshiaki Kitamura
Information Retrieval Using the Content Addressable File Store 187
VAJ Mailer
A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory Access 193
Ashoke Deb
An Overview of CONLAN: A Formal Construction Method for Hardware Description Languages 199
Robert Piloty, Mario Barbacci, Dominique Borrione, Donald Dietmeyer, Frederick Hill and Patrick Skelly
AREA 3 - SOFTWARE
Towards Practical Synthesis of Programs 207
E H Tyugu (Invited Paper)
Measurement of Program Improvement Algorithms 221
John Cocke and Peter W Markstein (Invited Paper)
On Basic Parallel Language 229
Vadim E Kotov (Invited Paper)
Function Semantics for Sequential Programs 241
Harlan D Mills (Invited Paper)
Nondeterministic Dataflow Graphs 251
Arthur J Catto and John R Gurd
Parallel Sieve Methods for Generating Prime Numbers 257
Teruo Hikita and Satoru Kawai
An Interactive Supporting System for Functional Recursive Programming 263
Morio Nagata, Teruo Akiyama and Yasutaka Fujikake
A Good Program = A Structured Program + Optimization Commands 269
Takeshi Chusho
A Deterministic Model of Operating Systems 275
Paul Bourret and Patrice Cros
Impacts of Message Orientation 281
Alfons J Jammel, Helmut G Stiegler and Pavel A Vogel
Specification Writing as Construction of Hierarchically Structured Clusters of Operators 287
Kokichi Futatsugi and Koji Okada
A Basis for the Constructive Approach to Programming 293
Bertrand Meyer
The IOTA Programming System — A Support System for Hierarchical and Modular Programming 299
Reiji Nakajima, Taiichi Yuasa and Keiji Kojima
On the Design, Implementation and Use of the Systems Programming Language XCY 305
Xu Jiafu, Chong Cuihao, Yang Fuqing and N V Shulman
A Distributed Implementation Method for Parallel Programming 309
A J Martin
Distributed Processing as a Key to Reliable and Evolving Software for Real Time Applications 315
C Gaude, J Langet, S Palassin and C Kaiser
Developing Small-Scale Application Software Products: Some Experimental Results 321
Barry W Boehm
Program Development with or without Coding 327
J Foisseau, R Jacquart, M Lemaitre, M Lemoine, J C Vignat and G Zanon
Placement of Records on Linear Storage Devices 331
Antonio Vaquero and Jose M Troya
Paging and Small Segments: A Memory Management Model 337
J Leslie Keedy
An Overview of AFFIRM: A Specification and Verification System 343
S L Gerhart, D R Musser, D H Thompson, D A Baker, R L Bates, R W Erickson, R L London, D G Taylor and
D S Wile
Implementing a Very High Level Language on a Very Low Cost Computer 349
Henry Kanoui and Michel Van Caneghem
Adding Type Declarations to Interlisp 355
Ronald M Kaplan and B A Sheil
FORTRAN for the 1980’s 361
Walt Brainerd and Jeanne Adams
AREA 4 - DATA BASE AND INFORMATION SYSTEMS
I Relational Database Systems: Where We Stand Today 369
W Frank King, III (Invited Paper)
The Impact of Structured Data Throughout Computer-Based Information Systems 383
Charles W Bachman (Invited Paper)
Information Modeling in the Context of System Development 395
Janis A Bubenko Jr (Invited Paper)
An Overview of the Relational Data Theory 413
C Delobel (Invited Paper)
Pipeline Searching and Sorting Modules as Components of a Data Flow Database Computer 427
Yuzuru Tanaka, Yukoo Nozaka and Akinari Masuyama
The Design and Implementation of a Magnetic-Bubble Database Machine 433
Syunsuke Uemura, Toshitsugu Yuba, Akio Kokubu, Ryoichi Ooomote and Yasuo Sugawara
Magnetic Bubble Memory Structures for Efficient Sorting and Searching 439
K M Chung, F Luccio and C K Wong
H-Trees 445
Kurt Maly and Leonard Kampa
Query Translation in Distributed Databases 451
Makoto Takizawa and Eiji Hamanaka
Recovery in Distributed Databases Based on Non-Synchronized Local Checkpoints 457
P Dadam and G Schlageter
Integrating Dialog Management and Data Base Management 463
Eric D Carlson and Wolfgang Metz
x
The System for Business Automation (SBA): A Unified Application Development System 469
S Peter de Jong
An Overview of the POLYPHEME Distributed Database Management System 475
M Adiba, J M Andrade, F Fernandez and Nguyen Gia Toan
Transaction Management in the Distributed Database System VDN 481
Rudolf Munz
Performance of the System R Access Path Selection Mechanism 487
M M Astrahan, M Schkolnick and W Kim I
On Index Intervals and Their Optimisation 493
H -J Schek
Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language 499
S Ceri, G Pelagatti and G Bracchi
Data Administration: The Need for a New Function 505
R A Davenport
AREA 5 - COMPUTER NETWORKS AND COMMUNICATIONS
Interprocess Communication in Distributed Systems: One View 513
Eric Manning, N J Livesey and H Tokuda (Invited Paper)
New Text and Message Services 521
Peter T Kirstein (Invited Paper)
New Telecommunication Services and Network Architecture: A Tentative Survey 537
Alain G Texier (Invited Paper)
Aspects of Data Communication and Computer Networks 543
Hiroshi Inose (Invited Paper)
A General Overview of the Olivetti Network File System 551
Marco Bozzetti
Interfering Queueing Processes in Packet-Switched Broadcast Communication 557
L Kleinrock and Y Yemini
NTI: International Gateway to TRANSPAC 563
A D Le Rest, J Blevanus and M Ferragu
Identifying the Main Applications of Data Communications in Western Europe 569
Timothy Johnson
A Technique for Describing High-Level Data Link Control (HDLC) Procedures 575
Kazuyoshi Morino and Osamu Takahashi
Dynamic Characteristics of a Satellite Communication System Employing the Slotted ALOHA Scheme 581
Yoshikuni Onozato and Shoichi Noguchi
Optimum Design of Two-Computer Networks 587
James D Foley
Partitioning and Allocating Computational Objects in Distributed Computing Systems 593
Kurt Haessig and Christian J Jenny
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers 599
P Azema, B Berthomieu and P Decitre
Pseudo-Ternary Coding to Incorporate Parity Checking Without a Parity Bit 605
Hosakere N Mahabala and Mudambi R Muralidharan
AREA 6 - COMPUTING IN SCIENCE AND INDUSTRY
Unrestricted Algorithms for Elementary and Special Functions 613
Richard P Brent (Invited Paper)
The Personal Algebra Machine 621
Anthony C Hearn (Invited Paper)
Lines, Curves, and the Characterization of Shape 629
Herbert Freeman (Invited Paper)
Automatic Pattern Recognition - A Challenge to Computer Technology 641
Teuvo Kohonen (Invited Paper)
Integrated Optimization - Simulation Systems for Industry and Regional Planning 651
Yu Evtushenko and Yu Pavlovsky (Invited Paper)
Beyond CAD to Computer Aided Engineering 659
B R Borgerson and R H Johnson (Invited Paper)
The Method of Normal Solutions in Linear Programming 667
A I Acil’diev
Parallel Computations in Grid Methods for Solving Mathematical Physics Problems 671
Guri I Marchuk and Valeri P Il’in
CAD in Small and Medium Sized Industries 677
B David, Y Gardan and J Mermet
Prototyping Factory Management Systems 683
Asbj^rn Rolstadls and Peter Falster
A Handwriting Input System for Japanese 689
O Kato, T Fujita, M Niwa, T Morishita, N Fujii and J Tanahashi
Using Context in the Global Recognition of a Set of Objects: An Optimization Approach 695
M Berthod and O Faugeras
A Knowledge-Based Literature Guide System - A New Approach to Document Retrieval 699
Toyo-aki Nishida and Shuji Doshita
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD 705
Melunet Dincbas
XI
711
Survey of Recent Results on Composite Integration Methods for Ordinary Differential Equations, Eespecially Cyclic Methods
Peter Albrecht
Automatic Multirate Methods for Ordinary Differential Equations 717
C William Gear
A Preconditioned Conjugate Gradient Method for Finite Element Equations, which is Stable for Rounding Errors 723
O Axelsson and I Gustafsson
An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned Systems 729
Giuseppe Gambolati and Giampiero Volpi
Recent Advances in the Numerical Solution of the Boltzmann Equation 735
V V Zhurin and F G Tcheremissine
High-Order Near Best Uniform Approximations to the Solution of Heat Conduction Problems 741
J D Lawson and D A Swayne
Structural Knowledge for the Recognition of Syllables in Continuous Speech 747
Renato De Mori and Giovanna Giordano
Image Analysis of Experimental Data in Turbulence 753
Miguel A Hernan and Javier Jimenez
AREA 7 - BUSINESS AND GOVERNMENT APPLICATIONS
Organizational Response to Changes in Information Technology 759
Norbert Szyperski (Invited Paper)
Information Systems, Development and Structural Changes 767
Jean Salmona (Invited Paper)
Research and Practice in Office Automation 783
Howard Lee Morgan (Invited Paper)
Some Cautionary Aphorisms for User-Oriented Computer Management 791
David F Stevens
Computers in Economic Policy-Making: Challenging Advances in Computer Systems and Econometric Models 797
Daniel Gabay and Marc Guillaume
The Financial Information System in Hungary, Based on a Three Level Equipment Hierachy 803
Csaba Gergely, Läszlo Häklär and Helmuth Kraenzlein
Prescription Order Service in Kanto Teishin Hospital Information System 809
Jun-ichiro Yokoyama and Akira Fukuda
South Australian Land Information System 815
Alan R Tyson
Information and Organization Policies in Public Administration 821
Bas K Brussaard and Peter A Tas
MODULECO: Software for Macroeconomic Modelling 827
Pierre Nepomiastchy
Decision Support Systems for Economic Policy Analysis in a Market Oriented Environment 833
Oscar Barros and Alejandro Gomez
Trends in User-Orientated Software within the U K Central Electricity Generating Board 839
Roderick A Matthews
A Design Approach to the Audit of Computer Information Systems 845
Philip M Stanley
AREA 8 - SOCIAL AND ECONOMIC IMPLICATIONS
Rationalisation and Modellification: Two Complementary Implications of Information Technologies 853
Wilhelm Steinmüller (Invited Paper)
Computers - A Gift of Fire 863
Calvin C Gotlieb (Invited Paper)
The Development of the British, French and German Native Computer Industries, 1960-1978 873
Brian M Murphy
The Impact of Computerization on the Relationship Between Public Administration and the Citizen 879
Fran9oise Gallouedec Genuys
The Encouragement of Effective Computer Use in Developing Countries 885
W F Smyth and NWN Jayasiri
Some Basic Applications of Computing in the Law-Making Process 891
Vladimir Vrecion
A Computer Training Scheme for the Disabled 897
Sheila M Blackmore
Computer Technology and Medical Costs 903
Bruce I Blum and Richard J Johns
Information Systems Constraints - A Strategic Review 907
T J Lincoln
Automation, Organizational Choices and Social Effects: The Case of the Cement Industry 913
Yves Cohen-Hadria
Computers and Employment: The U S Experience 919
Bruce Gilchrist
AREA 9 - INFORMATION PROCESSING AND EDUCATION
Computer Science Education: An Emerging Consensus on Basic Concepts 927
J Nievergelt (Invited Paper)
Educating the Programmer: Notation, Proofs and the Development of Programs 935
David Gries (Invited Paper)
xii
A Multisensory Electronic System for Developing Handwriting Skills with Blind Trainees 945
Iain D G Macleod, J J Jackson and John B Eulenberg
A Computer Based Education System for the Blind 951
Waltraud Schweikhardt
A General Structure for Building Personalized Information: An Alternative Approach to Computer Aided Education 955
Jean-Claude Pages, Dominique Gremillet and Andreas Horst
The Impact of Computers on Arabic Writing, Character Processing and Teaching 961
Ghassan A Kubba *
Computers and Education: A Remote Learning Application 967
D R Thomas and R B Maguire
The Concept of an Integrated System for Information Access and Telecommunication (ISIT) and its Impact on Education in
the 80s 973
Klaus Haefner
Teaching Systems Analysis and Planning in Informatics: A Practical Course 979
Manfred R Klopprogge and Peter C Lockemann
A Computer-Aided Advising System for FORTRAN Program Debugging: ADVISOR 985
Yukuo Isomoto, Keiichi Yamagata and Tadashi Ishiketa
AREA 10 - COMPUTERS IN EVERYDAY LIFE
Redefining Childhood: The Computer Presence as an Experiment in Developmental Psychology 993
Seymour Papert (Invited Paper)
The Limits of Togetherness 999
Gordon Pask (Invited Paper)
Replacing the Printed Word: A Complete Literary System 1013
Theodor H Nelson (Invited Paper)
User Interface Design in the Smalltalk Personal Computing System 1025
Alan Kay (Invited Paper)
Soft Typography 1027
Christopher Schmandt
Feasibility Experiments on Versatile Pattern Information Processing Systems 1033
Osamu Ishii
A Spatial Graphical Man-Machine Interface 1039
Christopher F Herot
Teleconference in Virtual Space 1045
Gregory M Hunter
Personal Computation and Personal Meanings 1049
Sherry Turkle
Using a Home Microcomputer to Teach a Dyslexic Child to Read 1055
John Pollard and Glen Campbell
Panel Sessions 1061
Reviewers 1062
The International Federation for Information Processing 1065
Author Index 1069
|
| any_adam_object | 1 |
| author2 | Lavington, Simon H. |
| author2_role | edt |
| author2_variant | s h l sh shl |
| author_facet | Lavington, Simon H. |
| building | Verbundindex |
| bvnumber | BV007628732 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 |
| callnumber-search | QA76 |
| callnumber-sort | QA 276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 900 SS 1980 |
| ctrlnum | (OCoLC)16611425 (DE-599)BVBBV007628732 |
| dewey-full | 001.5 001.64 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.5 001.64 |
| dewey-search | 001.5 001.64 |
| dewey-sort | 11.5 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Sprachwissenschaft Informatik Literaturwissenschaft |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02110nam a2200493 cb4500</leader><controlfield tag="001">BV007628732</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140409 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1980 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444860347</subfield><subfield code="9">0-444-86034-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)16611425</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007628732</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.5</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1980</subfield><subfield code="0">(DE-625)143417:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information processing 80</subfield><subfield code="b">proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980</subfield><subfield code="c">[8th World Computer Congress]. Ed. by Simon Lavington</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland Publ. Co.</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 1070 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">IFIP congress series</subfield><subfield code="v">8</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Banques de données - Gestion - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ciencia Da Computacao Ou Informatica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs - Architecture - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs et civilisation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1980</subfield><subfield code="z">Tokio</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lavington, Simon H.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Computer Congress</subfield><subfield code="n">8</subfield><subfield code="d">1980</subfield><subfield code="c">Tokio; Melbourne</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)622699-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IFIP congress series</subfield><subfield code="v">8</subfield><subfield code="w">(DE-604)BV001901067</subfield><subfield code="9">8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004993555&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004993555</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1980 Tokio gnd-content |
| genre_facet | Konferenzschrift 1980 Tokio |
| id | DE-604.BV007628732 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:06:06Z |
| institution | BVB |
| institution_GND | (DE-588)622699-1 |
| isbn | 0444860347 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004993555 |
| oclc_num | 16611425 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-210 DE-188 DE-706 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T |
| owner_facet | DE-355 DE-BY-UBR DE-210 DE-188 DE-706 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T |
| physical | XIII, 1070 S. Ill., graph. Darst. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | North-Holland Publ. Co. |
| record_format | marc |
| series | IFIP congress series |
| series2 | IFIP congress series |
| spelling | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 [8th World Computer Congress]. Ed. by Simon Lavington Amsterdam [u.a.] North-Holland Publ. Co. 1980 XIII, 1070 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier IFIP congress series 8 Banques de données - Gestion - Congrès Ciencia Da Computacao Ou Informatica larpcal Informatique - Congrès Ordinateurs - Architecture - Congrès Ordinateurs et civilisation - Congrès Datenverarbeitung Electronic data processing Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1980 Tokio gnd-content Datenverarbeitung (DE-588)4011152-0 s DE-604 Lavington, Simon H. edt World Computer Congress 8 1980 Tokio; Melbourne Sonstige (DE-588)622699-1 oth IFIP congress series 8 (DE-604)BV001901067 8 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004993555&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 IFIP congress series Banques de données - Gestion - Congrès Ciencia Da Computacao Ou Informatica larpcal Informatique - Congrès Ordinateurs - Architecture - Congrès Ordinateurs et civilisation - Congrès Datenverarbeitung Electronic data processing Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)1071861417 |
| title | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 |
| title_auth | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 |
| title_exact_search | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 |
| title_full | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 [8th World Computer Congress]. Ed. by Simon Lavington |
| title_fullStr | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 [8th World Computer Congress]. Ed. by Simon Lavington |
| title_full_unstemmed | Information processing 80 proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 [8th World Computer Congress]. Ed. by Simon Lavington |
| title_short | Information processing 80 |
| title_sort | information processing 80 proceedings of ifip congress 80 tokyo japan october 6 9 1980 melbourne australia october 14 17 1980 |
| title_sub | proceedings of IFIP congress 80, Tokyo, Japan - October 6 - 9, 1980 ; Melbourne, Australia - October 14 - 17, 1980 |
| topic | Banques de données - Gestion - Congrès Ciencia Da Computacao Ou Informatica larpcal Informatique - Congrès Ordinateurs - Architecture - Congrès Ordinateurs et civilisation - Congrès Datenverarbeitung Electronic data processing Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Banques de données - Gestion - Congrès Ciencia Da Computacao Ou Informatica Informatique - Congrès Ordinateurs - Architecture - Congrès Ordinateurs et civilisation - Congrès Datenverarbeitung Electronic data processing Konferenzschrift 1980 Tokio |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004993555&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001901067 |
| work_keys_str_mv | AT lavingtonsimonh informationprocessing80proceedingsofifipcongress80tokyojapanoctober691980melbourneaustraliaoctober14171980 AT worldcomputercongresstokiomelbourne informationprocessing80proceedingsofifipcongress80tokyojapanoctober691980melbourneaustraliaoctober14171980 |