{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":36,"n_cols":5,"rows_kept":36,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910463225903321"]
[null,null,"Autore",null,"Halang Wolfgang A. <1951->"]
[null,null,"Titolo",null,"Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"Singapore ; ; River Edge, NJ, : World Scientific, c1992"]
[null,null,"ISBN",null,"1-283-97141-0"]
[{"$nulls":4},"981-281-246-6"]
[null,null,"Descrizione fisica",null,"1 online resource (379 p.)"]
[null,null,"Disciplina",null,"629.8/95"]
[null,null,"Soggetti",null,"Real-time data processing"]
[{"$nulls":4},"Process control - Automation"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 335-344) and index."]
[null,null,"Nota di contenuto",null,"Contents; Preface; List of Figures; List of Tables; Authors; Chapter 1 Real-Time  Computing  and  Industrial Process  Automation; 1.1 Introduction; 1.2 Industrial Control Systems; 1.3 Example: A Chemical Process; 1.4 Historical Perspective; Chapter 2  Conceptual  Foundations; 2.1 Real-Time System Characteristics; 2.2 Continuous and Discrete Time; 2.3 Engineering Approach to Hard Real-TimeSystem Design; Chapter 3  Digital  Control  of  Continuous Processes; 3.1 Introduction; 3.2 Linear System Theory; 3.3 Control System Analysis and Design; 3.4 Digitising Analogue Signals; 3.5 New Developments"]
[{"$nulls":4},"Chapter 4  Hardware  Architectures4.1 Classical Process Automation; 4.2 Centralised Direct Digital Control; 4.3 Redundant Configurations; 4.4 Multi-Level Control Systems; 4.5 Network..flased Distributed Systems; 5.3 Analogue Outputs; 5.4 Analogue Inputs; 5.5 Serial Interface; Chapter 6  Communication   Networks; 6.1 Network Architecture; 6.2 LAN Technology; 6.3 LAN Medium Access Control; 6.4 LAN Logical Link Control; 6.5 MAP /TOP Protocol; Chapter 7  Real-Time   Operating  Systems  Principles; 7.1 Operating System Requirements; 7.2 Synchronous and Asynchronous Task Execution"]
[{"$nulls":4},"7.3 Multi-Tasking7.4 Task Synchronisation and Communication; 7.5 Time and Event Handling; 7.6 Distributed Operating Systems; Chapter 8 Comparison  of  Some  Real-Time  Operating  Systems; 8.1 System iRMX88; 8.2 System iRMX; 8.3 System QNX; 8.4 System PORTOS; 8.5 "]
[{"$nulls":4},"Comparison of Real-Time Operating Systems; Chapter 9  High   Level  Real-Time Programming; 9.1 Real-Time Features in High Level Languages; 9.2 A Closer Look at Ada and PEARL; 9.3 Requirements for New High Level LanguageFeatures; 9.4 High-Integrity PEARL; 9.5 Advanced Features of High-Integrity PEARL"]
[{"$nulls":4},"Chapter 10  Schedulability   Analysis10.1 Schedulability Analyser; 10.2 Front-End of the Schedulability Analyser; 10.2.1 A Segment Tree Example; 10.2.2 Front-End Statistics; 10.3 Back-End of the Schedulability Analyser; 10.4 Program Transformation; 10.5 Empirical Evaluation; Chapter 11  System   and   Software  Life  Cycle; 11.1 System Development; 11.2 Software Life Cycle; 11.3 Software Development Economy; 11.4 Classical Software Development Methods; 11.5 Prototyping; 11.6 Object-Oriented Development; 11.7 Transformational Implementation; 11.8 Evaluation of the Development Paradigms"]
[{"$nulls":4},"Chapter 12 Software Quality Assurance12.1 Software Quality Assurance Planning; 12.2 Reviews and Audits; 12.3 Structured Walkthrough and Inspections; 12.4 Software Testing; Chapter 13 Computer  Aided Software  Engineering Tools; 13.1 Software Development Environments; 13.2 The EPOS System; 3.3 Example: A Chemical Process; Chapter 14 Formal   Specification  and Verification  Methods; 14.1 Introduction; 14.2 Sequential and Parallel Descri ption; 14.3 Petri Nets; 14.4 Properties of Petri Nets; 14.5 Temporal Logic; 14.6  Correctness  Verification  Using  Temporal  Logic"]
[{"$nulls":4},"Chapter 15 Programmable  Logic  Controllers"]
[null,null,null,"Sommario/riassunto","This book represents the first comprehensive text in English on real-time and embedded computing systems. It is addressed to engineering students of universities and polytechnics as well as to practitioners and provides the knowledge required for the implementation of industrial computerized process control and manufacturing automation systems. The book avoids mathematical treatment and supports the relevance of the concepts introduced by practical examples and case studies. Special emphasis is placed on a sound conceptual basis and on methodologies and tools for the development of high qualit"]
[null,"2.","Record Nr.",null,"UNISA996395486103316"]
[null,null,"Autore",null,"Dorrington Theophilus <d. 1715.>"]
[null,null,"Titolo",null,"A familiar guide to the right and profitable receiving of the Lord's Supper [[electronic resource] ] : wherein also the way and method of our salvation is briefly and plainly declar'd / / by Theophilus Dorrington"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by J.H. for Brab. Aylmer ..., 1695"]
[null,null,"Descrizione fisica",null,"[13], 191, [1] p"]
[null,null,"Soggetti",null,"Lord's Supper"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Advertisement: p. [8]-[11] and p. [1] at end."]
[{"$nulls":4},"Reproduction of original in Bodleian Library."]
[null,null,null,"Sommario/riassunto","eebo-0014"]