Information processing 83: proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1983
|
| Schriftenreihe: | IFIP congress series
9 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 976 S. Ill., graph. Darst. |
| ISBN: | 0444867295 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006506436 | ||
| 003 | DE-604 | ||
| 005 | 20140409 | ||
| 007 | t| | ||
| 008 | 930210s1983 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0444867295 |9 0-444-86729-5 | ||
| 035 | |a (OCoLC)632954729 | ||
| 035 | |a (DE-599)BVBBV006506436 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-210 |a DE-11 |a DE-188 |a DE-706 |a DE-384 |a DE-91 |a DE-91G | ||
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 245 | 1 | 0 | |a Information processing 83 |b proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 |c ed. by R. E. A. Mason |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1983 | |
| 300 | |a XVI, 976 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 9 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1983 |z Paris |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mason, Richard E. |4 edt | |
| 711 | 2 | |a World Computer Congress |n 9 |d 1983 |c Paris |j Sonstige |0 (DE-588)5002331-7 |4 oth | |
| 830 | 0 | |a IFIP congress series |v 9 |w (DE-604)BV001901067 |9 9 | |
| 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=004139319&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004139319 | |
Datensatz im Suchindex
| _version_ | 1820868403180601344 |
|---|---|
| adam_text |
INFORMATION PROCESSING 83
Proceedings of the IFIP 9th World Computer Congress
Paris, France,
September 19-23,1983
Edited by
REA MASON
Institute of Computer Science
University of Guelph
Guelph, Ontario, Canada
PROGRAM COMMITTEE
D C Tsichritzis(Chairman)
F H Sumner (Past Chairman, Vice-Chairman), REA Mason (Editor),
J Arsac (Organizing Committee Liaison), H Schorr, D Bjorner, V E Kotov, W M Newman,
J W Schmidt, G Capriz, N Naffah, R Mori,C J van Rijsbergen,T Ohlin
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
vj:
Sachgebiete:
Standort*
1983
NORTH-HOLLAND
AMSTERDAM • NEW YORK • OXFORD
VI
CONTENTS
IFIP President’s Introduction v
Editor’s Foreword xiii
Program Committee Chairman’s Foreword xiv
Organizing Committee Chairman’s Foreword xv
Congress 83 Organizing Committee xvi
ON THE DESIGN OF ADA 1
Jean D Ichbiah (Invited Paper)
FORMAL AND INFORMAL MODELS OF OFFICE ACTIVITY 11
Clarence A Ellis (Invited Paper)
MODELS OF COMMUNICATION ARCHITECTURES
Computer Network Software Design Based on Abstract Objects 23
A I Ilushin, A N Myamlin and V S Shtarkman
The ISO Reference Model and Other Protocol Architectures 29
D Cohen and J Postel
VLSI
A Systematic Method for the Synthesis of Control Parts Defined by GRAFCET 35
V Olive and D Rouquier
NET THEORY OF SYSTEMS AND PROCESSES
An Enumerative Approach for Analyzing Time Petri Nets 41
B Berthomieu and M Menasche
Specification and Validation of Protocols by Temporal Logic and Nets 47
M Diaz and G Guidacci Da Silveira
APPLICATIONS -1
Automatic Vectorization of Printed Maps and Drawings 53
J Jimenez and J L Navalon
Algorithms for Some String Matching Problems Arising in Molecular Genetics 59
H Peltola, H Söderlund, J Tarhio and E Ukkonen
TRENDS IN OFFICE WORKSTATION DESIGN
The 925 Family of Office Workstations 65
R D Selinger, A M Patlach and E D Carlson
Multimedia Machine 71
M Maekawa, K Sakamura, C Ishikawa and T Shimizu
COMPUTING IN HIGH ENERGY PHYSICS: FACING A NEW GENERATION OF EXPERIMENTS 79
Paolo Zanella (Invited Paper)
IMAGE MANIPULATION IN THE OFFICE
A System for Managing Image Data 89
P Economopoulos and F H Lochovsky
A New Interactive Geographical Information System Based on Effective Image-Type Map Representation 95
M Sakauchi and Y Ohsawa
Contents
vii
PROGRAMMING METHODOLOGY
A Linker Allowing Hierarchie Composition of Programs 101
L E Thorelli
Application of Modern Programming Language Concept to Text Processing with a Large Character Set 107
M Shimasaki, Y Kunieda and T Tsuda
PSYCHOLOGY FOR MAN COMPUTER COOPERATION IN KNOWLEDGE PROCESSING 113
Andre Bisseret (Invited Paper)
APPLICATIONS - H
An Expert System for Computer Aided Mechanical Design 0 121
A Aquesbi, J C Bocquet, J M Fouet, S Tichkiewitch, M Reynier and P Trau
A Conceptual Framework for Security Systems: The Action-Entity Model 127
U Bussolati, M Fugini and G Martella
LOGIC PROGRAMMING 133
Robert Kowalski (Invited Paper)
DATABASE SYSTEM DESIGN FOR HIGH PERFORMANCE 147
Rudolf Bayer (Invited Paper)
THE POWER OF COMPUTATIONAL AUTOMATA
Methods and Languages to Prove the Power of Probabilistic Machines 157
R Freivalds
Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine 163
J Wiedermann
MICROPROCESSOR APPLICATIONS
Automated Label Inspection Apparatus 169
T Yamamura
A Portable Data Logger for Severe Environments 173
L Vatjus-Anttila, M Karppinen and S Saukkonen
ELEMENTS OF DISTRIBUTED SYSTEMS
Remote Files for Lilith Computers 177
J Hoppe
Bridges for Interconnection of Ring Networks — A Simulation Study 181
W Bux, B Meister and J W Wong
COMPUTER SCIENCE EDUCATION
Computer Science and Computer Science Education 187
A T Berztiss and N E Gibbs
Software Engineering - An Educational Challenge 193
I Sommerville
FIRST STEPS TOWARDS INFERENTIAL PROGRAMMING 199
W L Scherlis and D S Scott (Invited Paper)
FUTURE MICROPROCESSOR TRENDS 213
T Matsumura (Invited Paper)
PROGRAM ENVIRONMENTS
Software Specifications, Data Bases and Knowledge Bases 219
S W Smoliar
CEYX, A Multiformalism Programming Environment 223
J -M Hullot
QUERY EVALUATION
How to Improve Performance of Relational DBMS 229
R Demolombe
The Cost of Relational Algebraic Operations on Skewed Data: Estimates and Experiments 235
A Y Montgomery, DJ D’Souza and S B Lee
UNIVERSAL RELATION INTERFACES FOR DATABASE SYSTEMS 243
J D Ullman (Invited Paper)
“FORMULATING HUMAN PURPOSES” - META-ENGINEERING COMPUTERS FOR PEOPLE 253
Daniel C Dennett (Invited Paper)
viii
Contents
FUNCTIONAL PROGRAMMING
Applicative Real Time Programming 259
M Broy
Functional Programming with Streams 265
T Ida and J Tanaka
VLSI AND THE FOUNDATIONS OF COMPUTATION 271
Carver Mead (Invited Paper)
COMPUTER ART
Computer Art with Rodin 275
H Huitric and M Nahas
ON PROTOCOL ENGINEERING 283
H Zimmermann (Invited Paper)
LOGIC PROGRAMMING -1
On the Compilation of a Domain-Based Prolog * 293
J F Nilsson
A Formal Model for Or-Parallel Execution of Logic Programs 299
A Ciepielewski and S Haridi
PROGRAM TRANSFORMATIONS AND OPTIMIZATION
Correctness Preserving Transformations for Distributed Programs 307
S Mahadevan and R K Shyamasundar
Basis for Program Optimization 315
V N Kasyanov
SPECIFICATION AND DESIGN OF (PARALLEL) PROGRAMS 321
C B Jones (Invited Paper)
PROGRAM SYNTHESIS AND VERIFICATION
Some Rules of Inductive Inference and Their Use for Program Synthesis 333
J M Barzdin
The Bottom Up Analysis of While Statements: Strongest Invariant Functions 339
A Mili
NAIVE DENOTATIONAL SEMANTICS 345
A Blikle and A Tarlecki (Invited Paper)
DATABASE MACHINES
Desirable Functionalities of Database Architectures 357
E A Ozkarahan
Design of a Multiprocessor Relational Database System 363
G Gardarin, P Bernadat, N Temmerman, P Valduriez and Y Viemont
ARCHITECTURAL CONCEPTS FOR HIGH-PERFORMANCE, GENERAL-PURPOSE COMPUTERS _ 369
Gene M Amdahl (Invited Paper)
EXPECTATIONS OF STANDARDIZATION 375
Jean-Daniel Nicoud (Invited Paper)
MULTIPROCESSING
Saturation in a Multiprocessor 383
P M^ller-Nielsen and J Staunstrup
Practical Vectorization Techniques for the “FACOM VP” 389
S Kamiya, F Isobe, H Takashima and M Takiuchi
STUDIES OF COMMUNICATIONS PROTOCOLS
A Tool for Communication Protocols Validation 395
G Mitaut and D Duclos
A Flexible Architecture'for Protocol Studies in a Multi-Network Environment 401
R Cole and P Lloyd
Contents
ix
ABSTRACTION, COMPLEXITY
Relationship Between Abstract and Concrete Implementations of Algebraic Specifications 407
M Oyamaguchi
The Complexity of GO 413
J M Robson
LOGICS AND PROGRAMMING
Programming with Mathematical Thinking 419
S Takasu and T Nakahara
Toward a Unified Logic Basis for Programming Languages 425
C Tang
EASE OF USE: A SYSTEM DESIGN CHALLENGE 431
Lewis M Branscomb and John C Thomas (Invited Paper)
COMPUTING IN THE DEVELOPING COUNTRIES OF ASIA 439
Gopal K Gupta (Invited Paper)
SEMANTICS OF PARALLEL PROGRAMS
Regular Tree Expressions and Behaviors of Functional Nets 447
T Ito
Synchronous and Asynchronous Experiments on Processes 453
M Henne ssy
COMPILER DEVELOPMENT -1
A Constructive Approach to Static Verification of Program Properties 457
R Barbuti and A Martelli
Logical Attribute Grammars 463
P Deransart
COMPUTERS IN DEVELOPING AND DEVELOPED COUNTRIES - A CONTRAST
Microcomputers as Educational Tools in Developing Countries 471
R M Aiken and A Oualid
Pricing Computer Services 477
R R Moeller
DISTRIBUTED PROGRAMS
Co-operative Recovery from Faults in Distributed Programs 481
M Joseph and A Moitra
Decentralised Control Flow Programming 487
I G Lima, D Mundy and P Treleaven
APPLICATIONS OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO OFFICE AUTOMATION SYSTEMS 493
Kohei Amo and Kenichi Mori (Invited Paper)
CAD TECHNIQUES
ROSALIE: A CAD Object-Oriented and Rule-Based System 501
L Cholvy and J Foisseau
A CAD System for Process Control Based Upon a Standard 507
B Carridre, C Cazalot, J M Dumas, P M Grojean, P Leroy and F Prunet
TYPES, ABSTRACTION AND PARAMETRIC POLYMORPHISM 513
John C Reynolds (Invited Paper)
LOCAL NETWORKING OF PERSONAL COMPUTERS 525
Robert M Metcalfe (Invited Paper)
PHYSICAL DATABASE ORGANIZATION
Consecutive Retrieval with Redundancy Organization of Clustered Files 533
TKW Tsou, L V Saxton, V V Raghavan and J S Deogun
The BD-Tree — a New n-Dimensional Data Structure with Highly Efficient Dynamic Characteristics 539
Y Ohsawa and M Sakauchi
X
Contents
DATAFLOW MACHINES
Preliminary Evaluation of a Prototype Dataflow Computer 545
J Gurd and I Watson
The MIT Data Flow Engineering Model 553 i
J B Dennis, W Y -P Lim and W B Ackerman
OFFICE WORK SUPPORT
Semantic Support for Work in Organizations 561
G Barber, P De Jong and C Hewitt
MIDOC: A Microcomputer System for the Management of Structured Documents 567
I Kowarski and C Michaux
MICROPROCESSORS IN SYSTEMS DESIGN
Efficient Implementation of Logic Control Algorithms on Microprocessors 573
V Dvorak and I Rukovansky
Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation 579
L Neel, M Bailly and D Tondeur
NINETEEN EIGHTY FOUR?
Mass-Informatics and Their Implication for Everyday Life 583
N Belkin, R -D Hennings, T Seeger, G Windel and G Wersig
THE ARCHITECTURES IN THE FIFTH GENERATION COMPUTERS 589
Tohru Moto-oka and Kazuhiro Fuchi (Invited Paper)
DATA BASE APPLICATIONS
The D*2 Approach to Decision Support 603
C B Stabell and A M Fuglseth
Analysis and Translation of Entity-Relationship Database Schemas 609
MSD Wilkie and A O Mendelzon
PROGRAMMING ENVIRONMENTS
Outline of a Tool for Document Manipulation 615
V Donzeau-Gouge, G Kahn, B Lang, B Mel amp;se and E Morcos
A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure Editor 621
T Chusho, T Watanabe and T Hayashi
PROLOG IN PRACTICE 627
Bälint Dömölki and Peter Szeredi (Invited Paper)
IMPLEMENTATION AND ENGINEERING OF A PRODUCTION-ORIENTED DBMS 637
Peter Schnell (Invited Paper)
VIEWING COMPUTING SYSTEMS WITHIN A SOCIAL CONTEXT 647
Starr Roxanne Hiltz (Invited Paper)
WHAT GOOD IS TEMPORAL LOGIC? 657
Leslie Lamport (Invited Paper)
MAN-MACHINE SPEECH COMMUNICATIONS
Speech Processing on a Personal Computer to Help Deaf Children 669
H Crepy, B Denoix, F Destombes, G Rouquie and J -P Tubach
A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to-Speech
Synthesis 673
J Mariani, B Prouts, J L Gauvain and J J Gangolf
FACSIMILE PROCESSING AND COMMUNICATIONS
Character Segmentation for Mixed-Mode Communication 681
N Okamoto, O Nakamura and T Minami
Facsimile Computer Communication by Center-End Facsimile Communication Network 687
T Wakahara, M Hiroyama and H Ogawa
COMPUTER ARCHITECTURE -1
Three Level Hierarchies Storage System for FACOM M-380/382 693
A Hattori, M Koshino and S Kamimoto
Comparative Analysis of Computer Architectures 699
J C Huck and M J Flynn
Contents
xi
DATABASE MODELS
A Grammatical Approach to Data Bases 705
A L Furtado, PAS Veloso and M A Casanova
An Outline of BDGEN: A Deductive DBMS 711
J -M Nicolas and K Yazdanian
RENCONTRES: GETTING TOGETHER WITH COMPUTERS
Working at Home or Living in the Office 719
M Turoff and S R Hiltz
Information Technology and New Forms of Participation in the Narrative 727
M Nisenholtz and E M Morphos
NEW ISSUES OF COMPUTER PRIVACY IN THE EIGHTIES 733
Alan F Westin (Invited Paper)
ON REAUTIME DISTRIBUTED COMPUTING 741
Gerard Le Lann (Invited Paper)
INFORMATION RETRIEVAL
An Automatic Environment for Boolean Information Retrieval 755
G Salton, E A Fox and H Wu
A Predicate Oriented Locking Approach for Integrated Information Systems 763
P Dadam, P Pistor and H -J Schek
THE v -CONVERSION AND AN ANALYTIC SEMANTICS 769
Shigeru Igarashi (Invited Paper)
COMPUTERS AND NATIONAL DEVELOPMENT
Microprocessors as Agents of De-Industrialisation 775
F E Lamond
The Challenge of Change: Information Technology and The Community — An Australian Innovative Project 781
J H Hammond
MODELS FOR SYSTEMS AND ORGANIZATIONS
MOBILE: An Office Automation Methodology 787
M Marcus, E Moulhade, J J Roubidre, P Dumas and G du Roure
A Reference Model for Command and Response Languages 793
D Beech
RECOVERY ALGORITHMS FOR DATABASE SYSTEMS 799
Philip A Bernstein, Nathan Goodman and Vassos Hadzilacos (InvitedPaper)
SPECIFICATION LANGUAGES
An Introduction to the Larch Shared Language 809
J V Guttag and J J Homing
Refinements of Generic Specifications with Algebraic Tools 815
D Bert
COMPUTER ARCHITECTURE - H
A MIMD Supercomputer System for Large Scale Numerical Applications 821
M Adelantado, D Comte, P Siron and J C Syre
Architectural and Functional Features of Matrix Model (MAMO) 827
G Krause
APPLICATIONS - H
System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries
A Case Study 833
N C Gupta
An Assessment of the State of the Art of Computer Based Learning Systems Design 839
M Szabo and D H Bent
COMPARISON OF CONCURRENCY CONTROL METHODS USING ANALYTIC MODELS 847
K C Sevcik (Invited Paper)
ALGEBRA OF ALGORITHMS, DATA STRUCTURES AND PARALLEL COMPUTATION 859
A Letichevsky (Invited Paper)
Contents
xii
SOME LINEAR-TIME ALGORITHMS FOR SYSTOLIC ARRAYS 865
Richard P Brent, H T Kung and Franklin T Luk (Invited Paper)
EDUCATING THE INFORMATION GENERATION 877
Norman Longworth (Invited Paper) 4
PROGRESS IN COMPUTER NETWORKS 883
Edward H Sussenguth (Invited Paper)
IMPACT OF COMPUTERS ON THE YOUNG AND THE NAIVE
The Potential and Feasibility of Computer-Guided Educational Diagnosis 891
M J Colbourn and J McLeod
LPA Programming, a New Tool for Education 897
G A Langlet
ADVANCES IN THE EXPLOITATION OF SPARSITY 901
J K Reid (Invited Paper)
LOGIC PROGRAMMING - n
A Rehabilitation of Robinson’s Unification Algorithm 909
J Corbin and M Bidoit
Types and Specifications 915
B Nordstrom and K Petersson
DEVELOPMENT OF A TRACKING AND DATA ACQUISITION SYSTEM FOR SPACECRAFT 921
Kenji Funakawa, Kazuhiko Yoneyama and Hideshi Kozawa (Invited Paper)
COMPILER DEVELOPMENT - H
Generation of Program-Preparation Systems for Formatted Programming Languages 931
G Rose and T Roper
A Portable Algol 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler
Technique 937
H -J Jäkel, H Loeper, H Pietsch and G Stiller
MAN-MACHINE METHODS FOR SOLVING LARGE-SCALE ECONOMIC PLANNING PROBLEMS 943
V L Makarov (Invited Paper)
Late Submission:
UNDERSTANDING ALGOL: THE VIEW OF A RECENT CONVERT TO DENOTATIONAL SEMANTICS 951
Albert R Meyer (Invited Paper)
Panel Sessions 963
Referees 965
Country Abbreviations 969
The International Federations for Information Processing 970 |
| any_adam_object | 1 |
| author2 | Mason, Richard E. |
| author2_role | edt |
| author2_variant | r e m re rem |
| author_facet | Mason, Richard E. |
| building | Verbundindex |
| bvnumber | BV006506436 |
| classification_rvk | ST 273 |
| ctrlnum | (OCoLC)632954729 (DE-599)BVBBV006506436 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV006506436</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140409</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1983 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444867295</subfield><subfield code="9">0-444-86729-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632954729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006506436</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-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-11</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></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information processing 83</subfield><subfield code="b">proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983</subfield><subfield code="c">ed. by R. E. A. Mason</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 976 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">9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">1983</subfield><subfield code="z">Paris</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">Mason, Richard E.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Computer Congress</subfield><subfield code="n">9</subfield><subfield code="d">1983</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5002331-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IFIP congress series</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV001901067</subfield><subfield code="9">9</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=004139319&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004139319</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1983 Paris gnd-content |
| genre_facet | Konferenzschrift 1983 Paris |
| id | DE-604.BV006506436 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:23:49Z |
| institution | BVB |
| institution_GND | (DE-588)5002331-7 |
| isbn | 0444867295 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004139319 |
| oclc_num | 632954729 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-210 DE-11 DE-188 DE-706 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-20 DE-210 DE-11 DE-188 DE-706 DE-384 DE-91 DE-BY-TUM DE-91G DE-BY-TUM |
| physical | XVI, 976 S. Ill., graph. Darst. |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | North-Holland |
| record_format | marc |
| series | IFIP congress series |
| series2 | IFIP congress series |
| spelling | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 ed. by R. E. A. Mason Amsterdam [u.a.] North-Holland 1983 XVI, 976 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier IFIP congress series 9 Literaturangaben Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1983 Paris gnd-content Datenverarbeitung (DE-588)4011152-0 s DE-604 Mason, Richard E. edt World Computer Congress 9 1983 Paris Sonstige (DE-588)5002331-7 oth IFIP congress series 9 (DE-604)BV001901067 9 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004139319&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 IFIP congress series Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)1071861417 |
| title | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 |
| title_auth | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 |
| title_exact_search | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 |
| title_full | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 ed. by R. E. A. Mason |
| title_fullStr | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 ed. by R. E. A. Mason |
| title_full_unstemmed | Information processing 83 proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 ed. by R. E. A. Mason |
| title_short | Information processing 83 |
| title_sort | information processing 83 proceedings of the ifip 9th world computer congress paris france september 19 23 1983 |
| title_sub | proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19 - 23, 1983 |
| topic | Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Datenverarbeitung Konferenzschrift 1983 Paris |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004139319&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001901067 |
| work_keys_str_mv | AT masonricharde informationprocessing83proceedingsoftheifip9thworldcomputercongressparisfranceseptember19231983 AT worldcomputercongressparis informationprocessing83proceedingsoftheifip9thworldcomputercongressparisfranceseptember19231983 |