UKSC 84 (eBook)

Proceedings of the 1984 UKSC Conference on Computer Simulation

D.J. Murray-Smith (Herausgeber)

eBook Download: PDF

2014 | 1. Auflage
562 Seiten
Elsevier Science (Verlag)
978-1-4831-4457-3 (ISBN)

Infos

UKSC 84 contains the proceedings of the 1984 United Kingdom Simulation Council Conference on Computer Simulation held at the University of Bath, England. The papers describe computer simulation techniques and their applications and cover topics ranging from simulation methodology and software to the various applications of computer simulation in areas such as policy decision-making and planning, biology and medicine, and education. This book is comprised of 52 chapters divided into nine sections and begins by describing an advanced continuous-system simulation language called ESL (ESA Simulation Language), an initiative of the European Space Agency. The papers that follow explore other simulation software, such as MANIP, SYSMOD, COSMOS, Ada, SDL (Simulation Development Language), and SPIRO (Suite of Programs for the Investigation of Recondite Objects). The discussion then turns to a methodology based on artificial intelligence for the design and development of large-scale computer simulations; a formalism for specifying continuous or fixed time-step simulation models that is a straightforward extension of the block-oriented languages, with emphasis on superblocks and tesselations; and simulation of manufacturing and control systems. This book concludes with a chapter that describes a highly efficient compactor for a radar digital database. This monograph will be of interest to students and professionals working in the field of computer simulation.

Inhalt

Front Cover 1
UKSC 84 4
Copyright Page 5
Table of Contents 6
Foreword 12
Conference Programme Committee 14
Part A: Simulation Techniques 16
Section 1: Simulation Methodology and Software 16
CHAPTER 1. ESL - ADVANCED SIMULATION LANGUAGE IMPLEMENTATION 16
ABSTRACT 16
INTRODUCTION 17
BACKGROUND 17
SPECIFICATION OF ESL 17
IMPLEMENTATION 20
ADVANCED DISCONTINUITY FEATURES 21
USING ESL 23
ACKNOWLEDGEMENTS 24
REFERENCES 24
CHAPTER 2. ADVANCES WITH THE ADVANCED CONTINUOUS SIMULATION LANGUAGE 26
WHY THE USE OF SIMULATION LANGUAGES IS INCREASING 27
IMPROVEMENTS IN ACSL 30
TYPICAL APPLICATIONS 31
FUTURE DEVELOPMENTS 33
Acknowledgements 33
References 33
CHAPTER 3. THE "MANIP" MODELLING AND SIMULATION SYSTEM 35
ABSTRACT 35
1. INTRODUCTION: THE MANIP PHILOSOPHY 36
2. ACTIVE MODELLING 37
3. MODEL DESCRIPTION LANGUAGE 38
4. MODEL EDITING 40
5. GRAPHICS MODELLING 41
6. EXPERIMENTATION 42
7. RESULTS ANALYSIS AND DOCUMENTATION 43
8. SUMMARY 44
ACKNOWLEDGEMENTS 44
CHAPTER 4. SYSMOD - RUN TIME OPERATIONS 45
ABSTRACT 45
1 INTRODUCTION 46
2 THE MEMORY ALLOCATOR 46
3 THE RUN-TIME SYSTEM - PRIMARY DATA STRUCTURES 47
4 SYSMOD DESCRIBING SEGMENT FORTRAN EQUIVALENTS 50
5 MAJOR SYSMOD PRIMITIVES - FORTRAN EQUIVALENTS 51
6 RUN-TIME CONTROL OPERATIONS 55
7 CONCLUSIONS 56
ACKNOWLEDGEMENTS 58
REFERENCES 58
CHAPTER 5. BUILDING DISCRETE MODELS WITH COSMOS 62
ABSTRACT 62
1. INTRODUCTION 63
2. PROCESS WORLD VIEW 64
3. OVERVIEW OF COSMOS LANGUAGE ELEMENTS 65
4. EXPERIMENT DESCRIPTION 67
5. MONITORS 68
6. EXAMPLE 68
7. CONCLUSION 70
REFERENCES 70
CHAPTER 6. A METHODOLOGY FOR CONSTRUCTING RULE-BASED, DATA-DRIVEN DISCRETE EVENT SIMULATIONS 72
ABSTRACT 72
INTRODUCTION 73
EVENT SCHEDULING VERSUS TIME STEPPING 73
SDL - ACTION SEQUENCES 75
SDL - ACTION CONDITIONS AND DATA STRUCTURE 76
EXAMPLE 77
SDL - IMPLEMENTATION 79
SDL - PERFORMANCE 81
ACKNOWLEDGEMENT 81
REFERENCES 81
CHAPTER 7. DISCRETE E7EST SIMULATION WITH ADA 83
ABSTRACT 83
WHY SIMULATE IN ADA? 84
THE ADA SIMULATION LIBRARY (ASL) 84
ASL IMPLEMENTATION - PROBLEMS AND SOLUTIONS 86
A SIMPLE MODEL 87
CONCLUSIONS 89
APPENDIX - THE CAFETERIA PROGRAM 89
REFERENCES 93
CHAPTER 8. THE USER INTERFACE IN SPIRO 94
EXAMPLE 1 95
EXAMPLE 2 97
EXAMPLE 3 99
REFERENCES 100
CHAPTER 9. ARTIFICIAL INTELLIGENCE APPROACHES TO SIMULATION 102
ABSTRACT 102
1. INTRODUCTION 103
2. APPLYING "EXPERT SYSTEMS" TECHNIQUES TO SIMULATION 103
3. THE ROSS LANGUAGE 104
4. SWIRL AND TWIRL 106
5. COMPUTING ENVIRONMENT 106
6. SUMMARY 107
REFERENCES 107
CHAPTER 10. ANDES - AN ENVIRONMENT FOR ANIMATED DISCRETE EVENT SIMULATION 108
ABSTRACT 108
1. INTRODUCTION 108
2. BACKGROUND 109
3. SIMULATION VIEWS 110
4. VIEWS, WINDOW, DISPLAYS 111
5. IMPLEMENTATION 112
6. SUMMARY AND FUTURE RESEARCH 112
CONCLUSIONS 113
ACKNOWLEDGEMENTS 114
REFERENCES 114
CHAPTER 11. SUPERBLOCKS AND TESSELATIONS IN CONTINUOUS AND DISCRETE TIMESTEP SIMULATION MODELS 117
ABSTRACT 117
INTRODUCTION 118
GENSYS, A PREPROCESSOR WHICH GENERATES A BLOCK ORIENTED DESCRIPTION 118
UNIVERSES OF INTERACTING MODELS 120
EXAMPLES 120
REFERENCE 121
CHAPTER 12. AN EFFICIENT EXPLICIT INTEGRATION ALGORITHM FOR THE SOLUTION OF SYSTEMS OF STIFF ORDINARY DIFFERENTIAL EQUATIONS WITH EFFECTIVE TREATMENT OF DISCONTINUITIES 124
ABSTRACT 124
INTRODUCTION 125
THE NEW ALGORITHM 127
Acknowledgment 131
References 132
CHAPTER 13. AN APPROXIMATE METHOD FOR DETERMINATION OF HIGH LEVEL LANGUAGE STATEMENT EXECUTION TIMES WITHOUT RECOURSE TO ASSEMBLER OR MACHINE CODE 133
ABSTRACT 133
1. INTRODUCTION 134
2. TIMING CONSIDERATIONS 135
3. EXPERIMENTAL PROCEDURE 137
4. RESULTS 138
5. CONCLUSIONS 145
6. REFERENCES 146
CHAPTER 14. DESCTOP: NEW SOFTWARE FOR INTERACTIVE SIMULATION AND REAL-TIME OPERATIONS 147
Section 2: Computer Systems for Simulation 148
CHAPTER 15. THE DELFT PARALLEL PROCESSOR IN A SIMULATION ENVIRONMENT 148
ABSTRACT 148
I ARCHITECTURE AND PROGRAMMING OF THE DELFT PARALLEL PROCESSOR 149
II THE DPP AS AN INTERACTIVE SIMULATION TOOL 151
Ill SIMULATION OF CONTINUOUS SYSTEMS 152
IV SIMULATION OF COUPLED EXCITABLE UNITS 156
V EXPERIMENTATION ON A SET OF DIFFERENT MODELS 160
VI SIMULATION OF DISCRETE EVENT SYSTEMS 162
CHAPTER 16. PARALLEL PRIMITIVES ON THE DELFT PARALLEL PROCESSOR 166
ABSTRACT 166
INTRODUCTION 166
STRUCTURE OF THE SIMULATION PACKAGE 168
THE PRIMITIVES USED 169
ACKNOWLEDGEMENT 172
DISCUSSION 172
REFERENCES 173
CHAPTER 17. A MULTIPROCESSDR TECHNIQUE APPLIED TO THE DIGITAL SIMULATION OF ELECTROMAGNETIC ENVIRONMENTS 174
ABSTRACT 174
SUMMARY 175
INTRODUCTION 175
THE DIGITAL PROCESSOR 176
SIMULATION MODELS 178
SOFTUARE STRUCTURE 180
SIMULATOR OPERATION 180
SOFTUARE DEVELOPMENT 181
CONCLUSION 181
ACKNOWLEDGEMENT 182
CHAPTER 18. A MULTI-PROCESSOR VERSION OF THE DIGITAL DIFFERENTIAL ANALYSER 187
ABSTRACT 187
INTRODUCTION 188
THE DIGITAL DIFFERENTIAL ANALYSER (DDA) 188
PROGRAMMING THE DDA 189
MULTI-PROCESSOR SYSTEMS [2] 189
PROGRAM STRUCTURE 189
EXAMPLES 190
CONCLUSIONS 191
REFERENCES 191
CHAPTER 19. THE SYSTEM 10 PLUS ADVANCING SCIENTIFIC COMPUTATION
B. Simulation Applications 197
Section 1: Simulation for Policy Decisions and Planning 197
CHAPTER 20. ENVIRONMENTAL MANAGEMENT, MODELS AND POLICIES 197
ABSTRACT 197
INTRODUCTION 198
A CONCEPTUAL MODEL OF THE COMMONS 198
ENVIRONMENTAL MANAGEMENT POLICIES AND THE COMMONS 199
CONCLUSIONS: THE COMMONS AND WORLD CONSERVATION STRATEGY 201
REFERENCES 203
CHAPTER 21. THE DEVELOPMENT AND EVALUATION OF SYSTEM SIMULATION MODELS FOR PATIENT ADMISSION POLICIES 206
Introduction 207
Problem Definition 207
Design of Experimentation 207
Experimentation 209
References 210
Section 2: Applications of Simulation Biology and Medicine 213
CHAPTER 22. INFORMATIONBASE SUPPORT IN SIMULATION OF BIOLOGICAL SYSTEMS 213
ABSTRACT 213
1. MODELLING AND SIMULATION OF BIOLOGICAL SYSTEMS 214
2. NEEDS IN SIMULATION OF BIOLOGICAL SYSTEMS 214
3. USING INFORMATIONBASE SYSTEMS IN MODELLING AND SIMULATION 216
4. ON THE WAY TO A FIRST PROTOTYPE SIMULATION INFORMATIONBASE AT THE UNIVERSITY OF GHENT 219
5. FUTURE DEVELOPMENTS 231
REFERENCES 232
CHAPTER 23. THE PRESENT STATUS OF SIMULATING THREE-DIMENSIONAL TUMOR GROWTH AND TREATMENT 234
ABSTRACT 234
ASSUMPTIONS 235
CYTOKINETIC MODELS OF CELLS 235
RULES OF CELL-CELL INTERACTIONS 235
PROGRAMMING DESIGN 237
ILLUSTRATIVE EXAMPLES 237
FINAL REMARKS 239
REFERENCES 239
CHAPTER 24. THE SIMULATION OF PARKINSONS DISEASE BY A NONLINEAR CONTROL SYSTEM 243
ABSTRACT 243
INTRODUCTION 244
THE NONLINEAR CONTROL SYSTEM 245
THE RELAXED WRIST 245
THE TENSE WRIST 248
ANALOGUE MODEL RESULTS 251
ACKNOWLEDGEMENTS 253
REFERENCES 253
CHAPTER 25. TREATMENT OPTIMIZATION BY MEANS OF SIMULATION IN THE CASE OF PARKINSON'S DISEASE 254
Section 3: Control Systems Simulation 256
CHAPTER 26. CAD OF MAGNETIC SUSPENSION CONTROL SYSTEM FOR PASSENGER CARRYING VEHICLES 
256 
ABSTRACT 256
1. INTRODUCTION 257
2. VEHICLE DYNAMICS: SIMPLIFIED EQUATIONS 257
3. CONTROL OF A MAGNETICALLY SUSPENDED VEHICLE 258
4. DESIGN CRITERIA 259
5. VEHICLE DYNAMICS: GENERALIZED EQUATIONS 260
6. MULTIVARIABLE CONTROLLER DESIGN 263
7. CONCLUSIONS 267
8. REFERENCES 267
9. VEHICLE DATA 268
CHAPTER 27. THE DYNAMIC SIMULATION OF AIRCRAFT USING ACTIVELY CONTROLLED MODELS IN WIND TUNNEL 273
ABSTRACT 273
INTRODUCTION 274
WHY NOT COMPUTER SIMULATION? 275
DESIGN PHILOSOPHY 276
EQUIPMENT DESCRIPTION 277
DYNAMIC SCALING 279
STABILITY CHARACTERISTICS 281
SYSTEM PERFORMANCE 283
CONCLUSIONS 284
REFERENCES 285
SYMBOLS 285
CHAPTER 28. SIMULATION STUDY OF AN ANALYTICALLY-REDUNDANT FLIGHT CONTROL SYSTEM 290
ABSTRACT 290
1. INTRODUCTION 291
2. FAILURE OCCURRENCES IN CLOSED-LOOP AFCS 291
3. STATE ESTIMATION 293
4. STATE PREDICTION 294
5. RSAFCS DESCRIPTION 296
6. FAILURE DETECTION SCHEME 296
7. SIMULATION RESULTS 297
8. CONCLUSIONS 298
REFERENCES 298
CHAPTER 29. SIMULATION OF THE TELEPHONE WIRE INSULATION PROCESS IN CABLE MANUFACTURING USING I.S.I.S 304
1.0 INTRODUCTION 305
2.0 THE INSULATION PROCESS 305
3.0 PROCESS VARIABLES AND CONTROL PARAMETERS 306
4.0 THE SIMULATION 308
5.0 CONCLUSION 312
6.0 REFERENCES 312
Section 4: Manufacturing Systems Simulation 317
CHAPTER 30. EVALUATION OF MATERIAL REQUIREMENTS PLANNING STRATEGIES BY COMPUTER SIMULATION 317
ABSTRACT 317
INTRODUCTION 318
COMPUTER SIMULATION MODEL 318
CASE STUDY - EVALUATION OF ALTERNATIVE JOB RELEASE RULES 320
DISCUSSION OF THE RESULTS 322
CONCLUSION 323
REFERENCES 324
CHAPTER 31. THE DEVELOPMENT OF AN INTERACTIVE SIMULATION MODEL FOR MANAGEMENT DECISION MAKING 328
ABSTRACT 328
1. INTRODUCTION 329
2. THE PRODUCTION SYSTEM TO BE MODELLED 329
3. DATA-BASES AND SIMULATION 330
4. SIMULATION USING, AN INTEGRATED PRODUCTION DATABASE 332
5. DATA COMPOSITION FOR JOB-SHOP SIMULATOR 334
6. DATA-BASE FACILITY DEVELOPED 336
7. APPLICATION OF INTERFACING SYSTEM TO A REAL LIFE PROBLEM 337
8. CONCLUSION 339
REFERENCES 340
CHAPTER 32. VALIDATION AND VERIFICATION OF JOB SHOP SIMULATION MODELS 341
ABSTRACT 341
1. INTRODUCTION 342
2. REVIEW OF VALIDATION AND VERIFICATION THEORIES AND PROCEDURES 342
3. VERIFICATION AND VALIDATION OF A JOB SHOP SIMULATION MODEL 345
4. CONCLUSIONS 347
REFERENCES 348
CHAPTER 33. C.O.R.E. METHODOLOGY AND ITS APPLICATION TO THE SIMULATION OF AN AUTOMATED MANUFACTURING FACILITY 351
ABSTRACT 351
1. INTRODUCTION 352
2. CORE METHODOLOGY 352
3. SIMULATION OF THE TREATMENT CELL 355
4. CONCLUDING REMARKS 356
5. ACKNOWLEDGEMENTS 356
6. REFERENCES 357
Section 5: Simulation of Engineering Systems and Industrial Processes 361
CHAPTER 34. AN APPROACH TO INDUSTRIAL PROCESS MODELLING, AND APPLICATION TO A SPIRAL SEPARATOR FOR MINERALS 361
ABSTRACT 361
1. INTRODUCTION 362
2. MODELLING STRATEGY 363
3. GENERAL MODEL STRUCTURE 365
4. SCOPE OF THE METHOD 367
5. APPLICATION OF THE MODEL 369
6. FLOWSHEET SIMULATION 370
7. CONCLUSIONS 371
ACKNOWLEDGEMENT 371
REFERENCES 371
APPENDIX : THE SPIRAL CONCENTRATOR MODEL FUNCTION 371
CHAPTER 35. IDENTIFICATION OF BOILERS IN POWER STATIONS 373
ABSTRACT 373
INTRODUCTION 374
DATA ACQUISITION SYSTEM 374
IDENTIFICATION SCHEMES 375
NON-LINEAR MODEL OF REHEAT BOILER-TURBINE SYSTEM 376
TESTS ON BOILERS IN POWER STATIONS 376
CONCLUSIONS 378
ACKNOWLEDGEMENTS 379
REFERENCES 379
APPENDIX 1 380
CHAPTER 36. VALIDATION OF IDENTIFIED TURBOGENERATOR MODELS 384
ABSTRACT 384
INTRODUCTION 385
DATA ACQUISITION 385
DATA CHECKING 386
MODELLING 386
MODEL VERIFICATION 387
RANGE OF MODEL VALIDITY 389
CONCLUSIONS 389
ACKNOWLEDGEMENTS 390
REFERENCES 390
CHAPTER 37. HYBRID COMPUTER SIMULATION AND VALIDATION OF A CLOSED CYCLE DIESEL ENGINE 395
ABSTRACT 395
INTRODUCTION 396
THE PHYSICAL SYSTEM 396
OBJECTIVES OF ... SIMUIATION EXERCISE 397
PRELIMINARY SIMUIATION MODEL 398
COMPUTER IMPLEMENTATION 400
LINEARISED DYNAMIC ANALYSIS 401
MODEL INVESTIGATIONS 401
MODEL VALIDATION 404
CONTINUING RESEARCH EFFORT 408
ACKNOWLEDGEMENTS 408
REFERENCES 408
Section 6: Simulation of distributed parameter systems 409
CHAPTER 38. SOME ASPECTS OF THE DIGITAL SIMULATION OF DISTRIBUTED-PARAMETER SYSTEMS 409
ABSTRACT 409
INTRODUCTION 410
GRAPHICS OUTPUT FROM A DISTRIBUTED-PARAMETER SIMULATION 410
CONTROL OF SPATIAL GRAPHICS OUTPUT BY EVENT PROCESSING 413
IMPROVEMENT IN SPATIAL GRAPHICS OUTPUT 414
NUMERICAL INTEGRATION PROBLEMS FOR THE MODEL 415
CONCLUSIONS 415
REFERENCES 417
CHAPTER 39. TH. USE OF A TWO-DIMENSIONAL FINITE ELEMENT SIMULATION FOR THE INTERPRETATION OF THE ELECTRICAL RESISTIVITY METHOD IN NON-DESTRUCTIVE TESTING OF REINFORCED CONCRETE PILES 418
ABSTRACT 418
1. INTRCDUCTICN 419
2. RESISTIVITY TESTING 419
3. THE FINITE ELEMENT METHOD 421
4. CASE STUDIES 422
5. CONCLUSIONS 431
ACKNOWLEDGEMENTS 434
REFERENCES 434
Section 7: Simulation in Education 435
CHAPTER 40. THE ROLE OF SIMULATION IN EDUCATION 435
ABSTRACT 435
INTRODUCTION 436
BRIEF REVIEW OF THE PAST GOOD AND BAD EXPERIENCE
RECENT PAST AND PRESENT DEVELOPMENTS 438
STAGES IN SIMULATION STUDIES AND FUTURE DEVELOPMENTS 440
CONCLUSION 446
REFERENCES 447
CHAPTER 41. QUEUING THEORY AND COMPUTER SIMULATION FOR ENGINEERING UNDERGRADUATE COURSES 449
ABSTRACT 449
1. INTRODUCTION 450
2. T.. PROBLEM 450
3. THE LEARNING PACKAGE 452
4. THE COMPUTER PACKAGE 454
5. CONCLUSIONS 456
6. REFERENCES 456
CHAPTER 42. DOES SIMULATION REQUIRE MATHEMATICS? 457
ABSTRACT 457
INTRODUCTION 458
A SIMPLE NONLINEAR SYSTEM 458
THE VIBRATION OF A CRANE STRUCTURE 460
MATHEMATICS FOR SIMULATION USERS 462
CHAPTER 43. USE OF A HYDRO-ELECTRIC GENERATOR SYSTEM SIMULATION IN THE TEACHING OF CONTROL ENGINEERING 466
REFERENCES 463
ABSTRACT 466
INTRODUCTION 467
THE HYDRO-TURBINE SYSTEM 467
SIMULATION 469
DISCUSSION 470
ACKNOWLEDGEMENTS 471
REFERENCES 471
Section 8: Simulation of electronic and computer systems 473
CHAPTER 44. FIR FILTER SOFTWARE AND HARDWARE SIMULATION 473
ABSTRACT 473
1. INTRODUCTION 474
2. FIR FILTER SIMULATOR 475
3. HARDWARE SIMULATOR 479
4. HARDWARE TESTING 480
5. FILTER DESIGN 481
6. CONCLUSIONS 481
Acknowledgements 481
CHAPTER 45. A MONTE-CARLO SIMULATION OF THE SCATTERING OF ULTRASOUND BY ZOO-PLANKTON 482
ABSTRACT 482
INTRODUCTION 483
THEORETICAL BACKGROUND 485
THE SIMULATOR 487
References 491
CHAPTER 46. PERFORMANCE STUDIES OF COMPUTER NETWORKS 492
ABSTRACT 492
1. Introduction 493
2. The Software Structure 493
3· The user Interface 498
References 502
CHAPTER 47. ON THE ANALYSIS OF QUEUEING NETWORK MODELS: MAXIMUM ENTROPY AND SIMULATION 503
ABSTRACT 503
1. INTRODUCTION 504
2. MAXIMUM ENTROPY AND GENERAL NETWORKS 504
3. THE SIMULATION OF GENERAL NETWORKS 507
4. APPLICATIONS 508
5. CONCLUSIONS 510
REFERENCES 511
Section 9: Real-Time Applications 512
CHAPTER 48. AN INTERACTIVE MODELLING PROGRAM FOR REAL-TIME APPLICATIONS 512
ABSTRACT 512
INTRODUCTION 513
GENERAL DESCRIPTION OF THE INTERACTIVE MODELLING PROGRAM 513
IMP PROGRAM FACILITIES 515
RUNNING A MODEL 517
REAL-TIME OPERATION 518
CONCLUSION 519
CHAPTER 49. THE SOFTWARE DESIGN FOR A REAL-TIME AIR-TO-GROUND FLIGHT SIMULATOR 520
ABSTRACT 520
INTRODUCTION 521
APTSIM FEATURES 521
APPLICATION PROGRAMS 524
THE SIMULATOR HARDWARE 526
CONCLUDING REMARKS 527
REFERENCES 528
CHAPTER 50. REAL TIME SIMULATION DYNAMICS - ASIX DEGREES OF FREEDOM MODEL FOR MARINE APPLICATIONS 532
Abstract 532
1. INTRODUCTION 533
2. VEHICLE DYNAMICS 533
3. THE 6F MODEL 534
4. SCENARIO STRUCTURE AND DYNAMICS 535
5. NON-RIGID BODY DYNAMICS - THE FUTURE 535
6. CONCLUSION 536
7. REFERENCES 536
APPENDIX 537
CHAPTER 51. A VERSATILE AND AUTONOMOUS RADAR TARGET SIMULATOR 539
ABSTRACT 539
INTRODUCTION 541
CONCLUSION 545
ACKNOWLEDGEMENT 546
CHAPTER 52. DESIGN OF HIGH EFFICIENCY COMPACTOR FOR RADAR DIGITAL DATABASE 551
ABSTRACT 551
I. INTRODUCTION 552
II. BACKGROUND 552
III. COMPACTOR DESIGN 553
IV. TERRAIN COMPACTION 554
V. FEATURE COMPACTION 556
VI. HARDWARE CONSIDERATIONS 556
VII. CONCLUSION 557
REFERENCES 557
AUTHOR INDEX 562

Produkt-Details

• Erscheint lt. Verlag: 20.5.2014
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Datenbanken
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• ISBN-10: 1-4831-4457-7 / 1483144577
• ISBN-13: 978-1-4831-4457-3 / 9781483144573